Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/iswc2010/paper/288> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items per page.
- 288 creator birte-glimm.
- 288 creator boris-motik.
- 288 creator giorgos-stoilos.
- 288 creator ian-horrocks.
- 288 type InProceedings.
- 288 label "Optimising Ontology Classification".
- 288 sameAs 288.
- 288 abstract "Ontology classification - the computation of subsumption hierarchies for classes and properties is one of the most important tasks for OWL reasoners. Based on the algorithm by Shearer and Horrocks [9], we present a new classification procedure that addresses several open issues of the original algorithm, and that uses several novel optimisations in order to achieve superior performance. We also consider the classification of (object and data) properties. We show that algorithms commonly used to implement that task are incomplete even for relatively weak ontology languages. Furthermore, we show how to reduce the property classification problem into a standard (class) classification problem, which allows reasoners to classify properties using our optimised procedure. We have implemented our algorithms in the OWL HermiT reasoner, and we present the results of a performance evaluation.".
- 288 hasAuthorList authorList.
- 288 isPartOf proceedings.
- 288 keyword "semantic web".
- 288 title "Optimising Ontology Classification".