7 papers · 1 filter
The Inverse Method Implements the Automata Approach for Modal Satisfiability
Franz Baader, Stephan Tobies
Tableaux-based decision procedures for satisfiability of modal and description logics behave quite well in practice, but it is sometimes hard to obtain exact worst-case complexity…
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.…
Reasoning with Individuals for the Description Logic SHIQ
Ian Horrock, Ulrike Sattler, Stephan Tobies
While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. In this pap…
Practical Reasoning for Expressive Description Logics
Ian Horrocks, Ulrike Sattler, Stephan Tobies
Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive r…
Practical Reasoning for Very Expressive Description Logics
Ian Horrocks, Ulrike Sattler, Stephan Tobies
Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive r…
Reasoning with Axioms: Theory and Pratice
Ian Horrocks, Stephan Tobies
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to an…