CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL + Has identifier
| DBLP:conf/owled/KonevLWW08 |
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 +
redirect page CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL +
Categories Proceeding Paper +
|