"[9FBB207E1F7B]" . . "Springer-Verlag" . "RIV/68407700:21230/09:00156824" . "ontologies"@en . . "21230" . "Incremental Approach to Error Explanations in Ontologies"@en . "Z(MSM6840770038)" . "318999" . . "RIV/68407700:21230/09:00156824!RIV10-MSM-21230___" . "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." . "339"^^ . . "Incremental Approach to Error Explanations in Ontologies" . . "978-3-642-02183-1" . . . . "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."@en . . . "15"^^ . "2"^^ . . "Studies in Computational Intelligence \u010D. sv." . . "2"^^ . "Incremental Approach to Error Explanations in Ontologies" . "Kouba, Zden\u011Bk" . . . "K\u0159emen, Petr" . "Networked Knowledge - Networked Media" . "Incremental Approach to Error Explanations in Ontologies"@en . "Heidelberg" .