Reasoning with Inconsistent Ontologies

Zhisheng Huang
Frank van Harmelen
Annette ten Teije

In this paper we present a framework of reasoning with inconsistent ontologies, in which pre-defined selection functions are used to deal with concept relevance. We examine how the notion of "concept relevance" can be used for reasoning with inconsistent ontologies. We have implemented a prototype called PION (Processing Inconsistent ONtologies), which is based on a syntactic relevance-based selection function. In this paper, we also report the experiments with PION.

(PDF paper, 131KB)

@InProceedings{IJCAI05,
  author =    "Zhisheng Huang and Frank van Harmelen and Annette ten Teije",
  title =     "Reasoning with Inconsistent Ontologies",
  booktitle = "Proceedings of the Nineteenth International Joint Conference on
               Artificial Intelligence ({IJCAI}'05)",
  year =      "2005",
  pages =     "454-459",
  address =   "Edinburgh, Scotland",
  month =     "August",
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IJCAI05.pdf"
}
<- Back to list of papers