| Publication | Date of Publication | Type |
|---|
Hybrid logics and ontology languages
Electronic Notes in Theoretical Computer Science | 2013-12-20 | Paper |
Automated Deduction – CADE-19
Lecture Notes in Computer Science | 2010-04-20 | Paper |
The complexity of finite model reasoning in description logics.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Description logics for ontologies
Lecture Notes in Computer Science | 2010-03-31 | Paper |
BDD-based decision procedures for the modal logic K ★
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Representing ontologies using description logics, description graphs, and rules
Artificial Intelligence | 2009-09-14 | Paper |
Extracting Modules from Ontologies: A Logic-Based Approach
Lecture Notes in Computer Science | 2009-06-09 | Paper |
Reasoning in Description Logics: Basics, Extensions, and Relatives
Reasoning Web | 2009-02-17 | Paper |
A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Deciding expressive description logics in the framework of resolution
Information and Computation | 2008-05-19 | Paper |
How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-15 | Paper |
Reasoning in description logics by a reduction to disjunctive datalog
Journal of Automated Reasoning | 2007-12-03 | Paper |
A tableau decision procedure for \(\mathcal{SHOIQ}\)
Journal of Automated Reasoning | 2007-12-03 | Paper |
Decidability of SHIQ with complex role inclusion axioms
Artificial Intelligence | 2006-02-07 | Paper |
Mechanizing Mathematical Reasoning
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning
Lecture Notes in Computer Science | 2005-11-10 | Paper |
The complexity of finite model reasoning in description logics
Information and Computation | 2005-08-05 | Paper |
scientific article; zbMATH DE number 2090317 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 2090285 (Why is no real title available?)
| 2004-08-12 | Paper |
Description logics with aggregates and concrete domains.
Information Systems | 2004-03-18 | Paper |
scientific article; zbMATH DE number 1989660 (Why is no real title available?)
| 2003-10-09 | Paper |
scientific article; zbMATH DE number 1876860 (Why is no real title available?)
| 2003-06-02 | Paper |
scientific article; zbMATH DE number 1841824 (Why is no real title available?)
| 2002-12-04 | Paper |
scientific article; zbMATH DE number 1696774 (Why is no real title available?)
| 2002-07-22 | Paper |
scientific article; zbMATH DE number 1765663 (Why is no real title available?)
| 2002-07-10 | Paper |
An overview of tableau algorithms for description logics
Studia Logica | 2002-02-14 | Paper |
Practical reasoning for very expressive description logics
Logic Journal of the IGPL | 2001-08-28 | Paper |
scientific article; zbMATH DE number 1614719 (Why is no real title available?)
| 2001-07-05 | Paper |
scientific article; zbMATH DE number 1612535 (Why is no real title available?)
| 2001-07-01 | Paper |
scientific article; zbMATH DE number 1405450 (Why is no real title available?)
| 2000-10-26 | Paper |
A description logic with transitive and inverse roles and role hierarchies
Journal Of Logic And Computation | 1999-09-07 | Paper |
Expressive number restrictions in description logics
Journal Of Logic And Computation | 1999-09-07 | Paper |
Constructible differentially finite algebraic series in several variables
Theoretical Computer Science | 1997-02-28 | Paper |
