Minimum Expression Axiom Set (MEXS) Extracting and Storing for Ontology Debugging

Presented at: 6th International and 2nd Asian Semantic Web Conference (ISWC2007+ASWC2007)

by Je-Min Kim, Young-Tack Park

Webpage: http://iswc2007.semanticweb.org/papers/Paper402-type20070730.pdf

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.

Minimum Expression Axiom Set (MEXS) Extracting and Storing for Ontology Debugging was presented at this event.


Resource URI on the dog food server: http://data.semanticweb.org/conference/iswc-aswc/2007/tracks/posters-demos/papers/402
Same as: http://revyu.com/things/iswc-aswc-2007-posters-demos-paper-402-minimum-expression


Explore this resource elsewhere: