Query Answering over DL ABoxes: How to Pick the Relevant Symbols.
Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter · 2009
One of the main applications of description logics (DLs) is ontology-based data access: a conceptual model of a domain is formalized using a DL TBox, and this formalization is exploited to obtain complete answers when querying data stored in an ABox. The current availability of professional and comprehensive ontologies