Explanations of modeling errors in ontologies are of crucial importance both when creating and maintaining the ontology. This work presents two novel incremental methods for error explanations in semantic web ontologies and shows their advantages w.r.t. the state of the art black-box techniques. Both promising techniques together with our implementation of a tableau reasoner for an important OWL-DL subset SHIN are used in our semantic annotation tool prototype to explain modeling errors. © 2009 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Křemen, P., & Kouba, Z. (2009). Incremental approach to error explanations in ontologies. Studies in Computational Intelligence, 221, 171–185. https://doi.org/10.1007/978-3-642-02184-8_12
Mendeley helps you to discover research relevant for your work.