机译:Interactive ontology revision
Institute AIFB, Karlsruhe Institute of Technology, Building 11.40, Englerstr. 11, Karlsruhe D-76131, Germany;
Him University, Institute of Artificial Intelligence, Building 027, Room 448, ]ames-Franck-Ring, Ulm D-89081, Germany;
ontologies; knowledge representation; automated reasoning; quality assurance; OWL;