Publications

Alessandro Artale and David Toman. Decidable Reasoning over Timestamped Conceptual Models.. In Franz Baader and Carsten Lutz and Boris Motik, editor(s), Description Logics, (353) CEUR-WS.org,2008. [BibSonomy: dblp] URL

Meghyn Bienvenu. Prime Implicate Normal Form for ALC Concepts.. In Franz Baader and Carsten Lutz and Boris Motik, editor(s), Description Logics, (353) CEUR-WS.org,2008. [BibSonomy: dblp] URL

Hongkai Liu and Carsten Lutz and Maja Milicic. The Projection Problem for EL Actions.. In Franz Baader and Carsten Lutz and Boris Motik, editor(s), Description Logics, (353) CEUR-WS.org,2008. [BibSonomy: dblp] URL

Michael Mendler and Stephan Scheele. Towards Constructive DL for Abstraction and Refinement.. In Franz Baader and Carsten Lutz and Boris Motik, editor(s), Description Logics, (353) CEUR-WS.org,2008. [BibSonomy: dblp] URL

Saïd Radhouani and Gilles Falquet. Description Logics-Based Modelling for Precise Information Retrieval.. In Franz Baader and Carsten Lutz and Boris Motik, editor(s), Description Logics, (353) CEUR-WS.org,2008. [BibSonomy: dblp] URL

Jiewen Wu and Volker Haarslev. Planning of Axiom Absorption.. In Franz Baader and Carsten Lutz and Boris Motik, editor(s), Description Logics, (353) CEUR-WS.org,2008. [BibSonomy: dblp] URL

The Description Logic Handbook. In F. Baader and D. Calvanese and D. McGuinness and D. Nardi and P. Patel-Schneider, editor(s), Cambridge,2003. [BibSonomy: imported]

Franz Baader. The Description Logic Handbook : Theory, Implementation and Applications. Cambridge University Press,2003. [BibSonomy: info.refs.books mrefs research.cs.semantics research.kr.ontologies science.math.logic] URL

F. Baader and D. McGuinness and D. Nardi and P.F. Patel-Schneider. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press,2003. [BibSonomy: description logics]

KI 2001: Advances in Artificial Intelligence : Joint German/Austrian Conference on AI Vienna, Austria, September 19--21, 2001, Proceedings. In Franz Baader and Gerhard Brewka and Thomas Eiter, editor(s), Lecture Notes in Computer Science, (2174) Springer,Berlin, Heidelberg,2001. [BibSonomy: ai book conference springer v0805] URL