Designing scripts to guide users in modifying knowledge-based systems
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
User-Driven Ontology Evolution Management
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Knowledge maintenance: the state of the art
The Knowledge Engineering Review
WWW '05 Proceedings of the 14th international conference on World Wide Web
Non-standard reasoning services for the debugging of description logic terminologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Ontology change detection using a version log
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Debugging OWL-DL ontologies: a heuristic approach
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Event-based modeling of evolution for semantic-driven systems
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Consistent evolution of OWL ontologies
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Understanding ontology evolution: A change detection approach
Web Semantics: Science, Services and Agents on the World Wide Web
An initial investigation on evaluating semantic web instance data
Proceedings of the 17th international conference on World Wide Web
Ontology change: Classification and survey
The Knowledge Engineering Review
A Survey of Revision Approaches in Description Logics
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
A fine-grained approach to resolving unsatisfiable ontologies
Journal on data semantics X
Inconsistent ontology revision based on ontology constructs
Expert Systems with Applications: An International Journal
ORE - a tool for repairing and enriching knowledge bases
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part II
Adding integrity constraints to the semantic web for instance data evaluation
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part II
Adapting domain ontology for personalized knowledge search and recommendation
Information and Management
Modeling ontology evolution with SetPi
Information Sciences: an International Journal
| Hi-index | 0.00 |
Changing a consistent ontology may turn the ontology into an inconsistent state. It is the task of an approach supporting ontology evolution to ensure an ontology evolves from one consistent state into another consistent state. In this paper, we focus on checking consistency of OWL DL ontologies. While existing reasoners allow detecting inconsistencies, determining why the ontology is inconsistent and offering solutions for these inconsistencies is far from trivial. We therefore propose an algorithm to select the axioms from an ontology causing the inconsistency, as well as a set of rules that ontology engineers can use to resolve the detected inconsistency.