Description logic TBoxes: model-theoretic characterizations and rewritability

    international joint conference on artificial intelligence, Volume abs/1104.2844, 2011, Pages 983-988.

    Cited by: 62|Bibtex|Views17|Links
    EI
    Keywords:
    following novel familydecision problemdescription logic tboxesdisjoint uniondirect productMore(7+)

    Abstract:

    We characterize the expressive power of description logic (DL) TBoxes, both for expressive DLs such as ALC and ALCQIO and lightweight DLs such as DL-Lite and EL. Our characterizations are relative to first-order logic, based on a wide range of semantic notions such as bisimulation, equisimulation, disjoint union, and direct product. We ex...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments