Deciding inseparability and conservative extensions in the description logic EL

    J. Symb. Comput., pp. 194-228, 2010.

    Cited by: 120|Bibtex|Views12|Links
    EI
    Keywords:
    subsumption queryspecial casedescription logicconservative extensionsecond-order logicMore(12+)

    Abstract:

    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

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments