Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/iswc2009/paper/research/251> ?p ?o. }
Showing items 1 to 11 of
11
with 100 items per page.
- 251 creator guilin-qi.
- 251 creator jianfeng-du.
- 251 creator qiu-ji.
- 251 type InProceedings.
- 251 label "Goal-Directed Module Extraction for Explaining OWL DL Entailments".
- 251 sameAs 251.
- 251 abstract "Module extraction methods have proved to be effective in improving the performance of some ontology reasoning tasks, including finding justifications to explain why an entailment holds in an OWL DL ontology. However, the existing module extraction methods that compute a syntactic locality-based module for the sub-concept in a subsumption entailment, though ensuring the resulting module to preserve all justifications of the entailment, may be insufficient in improving the performance of finding all justifications. This is because a syntactic locality-based module is independent of the super-concept in a subsumption entailment and always contains all concept/role assertions. In order to extract smaller modules to further optimize finding all justifications in an OWL DL ontology, we propose a goal-directed method for extracting a module that preserves all justifications of a given entailment. Experimental results on large ontologies show that a module extracted by our method is smaller than the corresponding syntactic locality-based module, making the subsequent computation of all justifications more scalable and more efficient.".
- 251 hasAuthorList authorList.
- 251 hasTopic Semantic_Web.
- 251 isPartOf proceedings.
- 251 title "Goal-Directed Module Extraction for Explaining OWL DL Entailments".