CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL

Has publishing details pp. online, 2008

Has title CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL

Has where published OWL: Experiences and Directions (OWLED)

Has year 2008

Has author Boris Konev +, Carsten Lutz +, Dirk Walther +, Frank Wolter +

Has identifier CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL +

Has topic OWL +, Modular Ontology +, Conservative Extension +, Ontology Modularization +

Categories Proceeding Paper +