Deciding inseparability and conservative extensions in the description logic EL
J. Symb. Comput., pp. 194-228, 2010.
subsumption queryspecial casedescription logicconservative extensionsecond-order logicMore(12+)
We study the problem of deciding whether two ontologies are inseparable w.r.t. a signature @S, i.e., whether they have the same consequences in the signature @S. A special case is to decide whether the extension of an ontology is conservative. By varying the language in which ontologies are formulated and the query language that is used t...More
Full Text (Upload PDF)
PPT (Upload PPT)