Description logic TBoxes: model-theoretic characterizations and rewritability
international joint conference on artificial intelligence, Volume abs/1104.2844, 2011, Pages 983-988.
following novel familydecision problemdescription logic tboxesdisjoint uniondirect productMore(7+)
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
PPT (Upload PPT)