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. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Fokoue, A., Kershenbaum, A., Ma, L., Schonberg, E., & Srinivas, K. (2006). The summary Abox: Cutting ontologies down to size. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4273 LNCS, pp. 343–356). Springer Verlag. https://doi.org/10.1007/11926078_25
Mendeley helps you to discover research relevant for your work.