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

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex}

@inproceedings{DBLP:conf/owled/KonevLWW08, author = {Boris Konev and Carsten Lutz and Dirk Walther and Frank Wolter}, title = {CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL}, booktitle = {OWL: Experiences and Directions (OWLED)}, pages = {online} year = {2008} pdf = {http://www.webont.org/owled/2008dc/papers/owled2008dc_paper_12.pdf} topic = {OWL, Modular Ontology, Conservative Extension, Ontology Modularization} }

\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/CEX_and_MEX:_Logical_Diff_and_Logic-based_Module_Extraction_in_a_Fragment_of_OWL"
Personal tools