Complexity Results and Practical Algorithms for Logics in Knowledge Representation

Stephan Tobies

Description Logics (DLs) are used in knowledge-based systems to represent and reason about terminological knowledge of the application domain in a semantically well-defined manner.…