Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/iswc2007+aswc2007/tracks/posters-demos/papers/402> ?p ?o. }
Showing items 1 to 9 of
9
with 100 items per page.
- 402 creator je-min-kim.
- 402 creator young-tack-park.
- 402 type InProceedings.
- 402 label "Minimum Expression Axiom Set (MEXS) Extracting and Storing for Ontology Debugging".
- 402 sameAs 402.
- 402 abstract "In order to derive hidden information of OWL ontology, a number of OWL reasoners have been introduced. In this paper, we propose MEXS (Minimum Expression Axiom Set) extracting and storing for debugging unsatisfiable concepts in ontology. A MEXS is a set of axioms to occur unsatisfiable concepts. In order to extract MEXS, we need to find axiom to cause inconsistency in ontology. Therefore we propose an improved method.".
- 402 hasAuthorList authorList.
- 402 isPartOf proceedings.
- 402 title "Minimum Expression Axiom Set (MEXS) Extracting and Storing for Ontology Debugging".