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

From Tetherless World Wiki

Jump to: navigation, search
Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter - CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL. In OWL: Experiences and Directions (OWLED) pp. online, 2008.(Pdf) [Topic: OWL, Modular Ontology, Conservative Extension, Ontology Modularization] (Bibtex)
Author : Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
Title : CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL
In : OWL: Experiences and Directions (OWLED) -
Address :
Date : 2008


Comments Add New Comment (refresh after adding)
Facts about CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWLRDF feed
Has author Boris Konev  +, Carsten Lutz  +, Dirk Walther  +, and Frank Wolter  +
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 topic OWL  +, Modular Ontology  +, Conservative Extension  +, and Ontology Modularization  +
Has where published OWL: Experiences and Directions (OWLED)  +
Has year 2008  +
Retrieved from "http://tw.rpi.edu/wiki/CEX_and_MEX:_Logical_Diff_and_Logic-based_Module_Extraction_in_a_Fragment_of_OWL"
Personal tools