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
10.1017/CBO9780511711787
Franz Baader
Philipp Hanschke
1991
A schema for integrating concrete domains into concept languages
Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI'91)
452–457
Franz Baader
Ian Horrocks
Ulrike Sattler
2005
Description Logics as Ontology Languages for the Semantic Web
Mechanizing Mathematical Reasoning
228–248
10.1007/978-3-540-32254-2_14
http://www.informatik.uni-trier.de/~ley/db/conf/birthday/siekmann2005.html#BaaderHS05
Franz Baader
Ulrike Sattler
1999
Expressive Number Restrictions in Description Logics
Journal of Logic and Computation
9
3
319–350
10.1093/logcom/9.3.319
http://lat.inf.tu-dresden.de/research/papers/1999/BaaderSattler-JLC-99.ps.gz
Franz Baader
Ulrike Sattler
2001
An Overview of Tableau Algorithms for Description Logics
Studia Logica
69
1
5–40
10.1023/A:1013882326814
http://lat.inf.tu-dresden.de/research/papers/2001/BaaderSattler-StudiaLogica.ps.gz
Daniela Berardi
Diego Calvanese
Guiseppe De Giacomo
2001
Reasoning on UML Class Diagrams using Description Logic Based Systems
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
L. Bellatrache
G. Kassel
P. Thiran
Proc. 3es Journées francophones sur les ontologies
139–147
Mohamed Chaabani
Mohamed Mezghiche
Martin Strecker
2010
Vérification d'une méthode de preuve pour la logique de description ALC
Proc. 10ème Journées Approches Formelles dans l'Assistance au Développement de Logiciels
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
Franz Baader
Maurizio Lenzerini
Werner Nutt
Peter F. Patel-Schneider
International Workshop on Description Logics '94
Document
D-94-10
DFKI
Bonn, Germany
80–84
Volker Haarslev
Ralf Möller
2001
RACER System Description
IJCAR '01: Proc. First International Joint Conference on Automated Reasoning
Springer-Verlag
701–706
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.
20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007
Lecture Notes in Computer Science
4732
135–150
10.1007/978-3-540-74591-4_11
http://www.cs.us.es/~mjoseh/pub/2007-TPHOLs.pdf
Ian Horrocks
Ulrike Sattler
2007
A Tableau Decision Procedure for SHOIQ
J. of Automated Reasoning
39
3
249–276
10.1007/s10817-007-9079-9
download/2007/HoSa07a.pdf
Marko Luther
Thorsten Liebig
Sebastian Böhm
Olaf Noppens
2009
Who the Heck is the Father of Bob?
6th Annual European Semantic Web Conference (ESWC2009)
66–80
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
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
1–58
10.1006/inco.1997.2625
Tom Ridge
James Margetson
2005
A mechanically verified, sound and complete theorem prover for FOL
Joe Hurd
Tom Melham
18th International Conference on Theorem Proving in Higher Order Logics: TPHOLs 2005
Lecture Notes in Computer Science
3603
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
Tobias Nipkow
Christian Urban
22nd Intl. Conf. Theorem Proving in Higher-Order Logics (TPHOLs 2009)
Lecture Notes in Computer Science
5674
Springer
Munich, Germany
10.1007/978-3-642-03359-9_29
http://www.loria.fr/~merz/papers/tphols2009.html
Manfred Schmidt-Schaubß
Gert Smolka
1991
Attributive concept descriptions with complements
Artif. Intell.
48
1
1–26
10.1016/0004-3702(91)90078-X
Dmitry Tsarkov
Ian Horrocks
2006
FaCT++ Description Logic Reasoner: System Description
Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006)
Lecture Notes in Artificial Intelligence
4130
Springer
292–297
10.1007/11814771_26
Paulien de Wind
2001
Modal Logic
Vrije Universiteit Amsterdam