 |
    |
The Summary Abox: Cutting Ontologies Down to Size
Achille Fokoue1, Aaron Kershenbaum1, Li Ma2, Edith Schonberg1, and Kavitha Srinivas1
1IBM Watson Research Center,P.O.Box 704, Yorktown Heights, NY 10598, USA
achille@us.ibm.com
aaronk@us.ibm.com
ediths@us.ibm.com
ksrinivs@us.ibm.com
2IBM China Research Lab, Beijing 100094, China
malli@cn.ibm.com
Abstract. 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.
LNCS 4273, p. 343 ff.
lncs@springer.com
© Springer-Verlag Berlin Heidelberg 2006