Conflict Resolution in Partially Ordered OWL DL Ontologies

Q. Ji, Z. Gao, Z. Huang

Research output: Contribution to JournalArticleAcademicpeer-review


Inconsistency handling in OWL DL ontologies is an important problem because an ontology can easily be inconsistent when it is generated or modified. Current approaches to dealing with inconsistent ontologies often assume that there exists a total order over axioms and use such an order to select axioms to remove. However, in some cases, such as ontology merging, a total order may not be available and we only have a partial order over axioms. In this paper, we consider a general notion of logical inconsistency and define the notion of conflict of an inconsistent ontology. We then propose a general approach to resolving inconsistency of a partially ordered ontology. We instantiate this approach by proposing two algorithms to calculate prioritized hitting sets for a set of conflicts. We implement the algorithms and provide evaluation results on the efficiency and effectiveness by considering both artificial and real-life data sets.
Original languageEnglish
Pages (from-to)471-476
JournalFrontiers in Artificial Intelligence and Applications
Publication statusPublished - 2014
EventECAI -
Duration: 1 Jan 20141 Jan 2014

Bibliographical note

Proceedings title: Proceedings of 21st European Conference on Artificial Intelligence (ECAI2014)
Publisher: IOS Press


Dive into the research topics of 'Conflict Resolution in Partially Ordered OWL DL Ontologies'. Together they form a unique fingerprint.

Cite this