ISWC 2006 5th International Semantic Web Conference
Home General Information Program Call For Submissions Workshop/Tutorials Registration
The Summary Abox: Cutting Ontologies Down to Size
Aaron Kershenbaum IBM Watson Research
Li Ma IBM China Research
Edith Schonberg IBM Watson Research
Kavitha Srinivas IBM Watson Research
Achille Fokoue IBM Watson Research

Reasoning on OWL ontologies is known to be intractable in the worst-case, which is a serious problem because in practice, most OWL ontologies have large Aboxes, i.e., numerous assertions about individuals and their relations. We propose a technique that uses a summary of the ontology (summary Abox ) to reduce reasoning to a small subset of the original Abox, and prove that our techniques are sound and complete.We demonstrate the scalability of this technique for consistency detection in 4 ontologies, the largest of which has 6.5 million role assertions.


5th International Semantic Web Conference, Athens, GA, USA, November 5-9, 2006, LNCS 4273




Gold Sponsors

Silver Sponsors

Doctoral Consortium Sponsors

View All Sponsors


Footer Website Contact University of Georgia Franklin College of Arts and Sciences Computer Science Department