Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/iswc2013/proceedings-1/paper-26> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- paper-26 type InProceedings.
- paper-26 label "Simplifying Description Logic Ontologies".
- paper-26 sameAs paper-26.
- paper-26 abstract "We discuss the problem of minimizing TBoxes expressed in the light-weight description logic E L, which forms a basis of some large ontologies like SNOMED, Gene Ontology, NCI and Galen. We show that the minimization of TBoxes is intractable (NP-complete). While this looks like a bad news result, we also provide a heuristic technique for minimizing TBoxes. We prove the correctness of the heuristics and show that it provides optimal results for a class of ontologies, which we define through an acyclicity constraint over a reference relation between equivalence classes of concepts. To establish the feasibility of our approach, we have implemented the algorithm and evaluated its effectiveness on a small suite of benchmarks.".
- paper-26 hasAuthorList authorList.
- paper-26 isPartOf proceedings-1.
- paper-26 title "Simplifying Description Logic Ontologies".