Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi & Peter F. Patel-Schneider (2007):
The Description Logic Handbook: Theory, Implementation, and Applications.
Cambridge University Press,
doi:10.1017/CBO9780511711787.
Franz Baader & Philipp Hanschke (1991):
A schema for integrating concrete domains into concept languages.
In: Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI'91),
pp. 452–457.
Daniela Berardi, Diego Calvanese & Guiseppe De Giacomo (2001):
Reasoning on UML Class Diagrams using Description Logic Based Systems.
In: Proc of the KI 2001 Workshop on Applications of Description Logics, CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-44.
Mohamed Chaabani, Mohamed Mezghiche & Martin Strecker (2009):
Formalisation de la logique de description ALC dans l'assistant de preuve Coq.
In: L. Bellatrache, G. Kassel & P. Thiran: Proc. 3es Journées francophones sur les ontologies,
pp. 139–147.
Mohamed Chaabani, Mohamed Mezghiche & Martin Strecker (2010):
Vérification d'une méthode de preuve pour la logique de description ALC.
In: Proc. 10ème Journées Approches Formelles dans l'Assistance au Développement de Logiciels,
pp. 149–163.
Detlef Fehrer, Ullrich Hustadt, Manfred Jaeger, Andreas Nonnengart, Hans Jürgen Ohlbach, Renate A. Schmidt, Christoph Weidenbach & Emil Weydert (1994):
Description Logics for Natural Language Processing.
In: Franz Baader, Maurizio Lenzerini, Werner Nutt & Peter F. Patel-Schneider: International Workshop on Description Logics '94,
Document D-94-10.
DFKI,
Bonn, Germany,
pp. 80–84.
Volker Haarslev & Ralf Möller (2001):
RACER System Description.
In: IJCAR '01: Proc. First International Joint Conference on Automated Reasoning.
Springer-Verlag,
pp. 701–706,
doi:10.1007/3-540-45744-5_59.
María-José Hidalgo, José-Antonio Alonso, Joaquín Borrego-Díaz, Francisco-Jesus Martin-Mateos & José-Luis Ruiz-Reina (2007):
A formally verified prover for the ALC description logic..
In: 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007,
Lecture Notes in Computer Science 4732,
pp. 135–150,
doi:10.1007/978-3-540-74591-4_11.
Available at http://www.cs.us.es/~mjoseh/pub/2007-TPHOLs.pdf.
Marko Luther, Thorsten Liebig, Sebastian Böhm & Olaf Noppens (2009):
Who the Heck is the Father of Bob?.
In: 6th Annual European Semantic Web Conference (ESWC2009),
pp. 66–80.
Available at http://data.semanticweb.org/conference/eswc/2009/paper/222.
Tobias Nipkow, Lawrence Paulson & Markus Wenzel (2002):
Isabelle/HOL. A Proof Assistant for Higher-Order Logic.
Lecture Notes in Computer Science 2283.
Springer,
doi:10.1007/3-540-45949-9.
Werner Nutt, Francesco M. Donini, Maurizio Lenzerini & Daniele Nardi (1997):
The complexity of concept languages.
Inf. Comput. 134(1),
pp. 1–58,
doi:10.1006/inco.1997.2625.
Tom Ridge & James Margetson (2005):
A mechanically verified, sound and complete theorem prover for FOL.
In: Joe Hurd & Tom Melham: 18th International Conference on Theorem Proving in Higher Order Logics: TPHOLs 2005,
Lecture Notes in Computer Science 3603,
doi:10.1007/11541868_19.
Alexander Schimpf, Stephan Merz & Jan-Georg Smaus (2009):
Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL.
In: Tobias Nipkow & Christian Urban: 22nd Intl. Conf. Theorem Proving in Higher-Order Logics (TPHOLs 2009),
Lecture Notes in Computer Science 5674.
Springer,
Munich, Germany,
doi:10.1007/978-3-642-03359-9_29.
Available at http://www.loria.fr/~merz/papers/tphols2009.html.
Manfred Schmidt-Schaubß & Gert Smolka (1991):
Attributive concept descriptions with complements.
Artif. Intell. 48(1),
pp. 1–26,
doi:10.1016/0004-3702(91)90078-X.
Dmitry Tsarkov & Ian Horrocks (2006):
FaCT++ Description Logic Reasoner: System Description.
In: Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006),
Lecture Notes in Artificial Intelligence 4130.
Springer,
pp. 292–297,
doi:10.1007/11814771_26.
Paulien de Wind (2001):
Modal Logic.
Vrije Universiteit Amsterdam.