Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/iswc2006/paper-8> ?p ?o. }
Showing items 1 to 6 of
6
with 100 items per page.
- paper-8 type InProceedings.
- paper-8 label "The Summary Abox: Cutting Ontologies Down to Size".
- paper-8 sameAs paper-8.
- paper-8 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.".
- paper-8 hasAuthorList authorList.
- paper-8 title "The Summary Abox: Cutting Ontologies Down to Size".