Baader, Franz, Dresden University of Technology, Germany
-
Twelfth International Conference on the Principles of Knowledge Representation and Reasoning - Description Logics and Ontologies
Query and Predicate Emptiness in Description Logics
Abstract PDF