Franz Baader

An Introduction to Description Logic

Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be descri...

The Description Logic Handbook

Theory, Implementation, and Applications

The Description Logic Handbook covers all aspects of the research in the field of knowledge representation. Written by some of the most prominent rese...

Logic for Programming, Artificial Intelligence, and Reasoning

11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

This book constitutes the refereed proceedings of the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, ...

Integrating Description Logics and Action Formalisms for Reasoning about Web Services

...

Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs

...

Computing Compliant Anonymisations of Quantified ABoxes W.r.t. EL Policies

(Extended Version)

...

Concept Logics

...

Privacy-Preserving Ontology Publishing

The Case of Quantified ABoxes W.r.t. a Static Cycle-Restricted EL TBox : (Extended Version)

...

Automated Deduction - CADE-19

19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003. The 29 rev...

Restricted Unification in the DL FL0

(Extended Version)

...