References

  1. 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.
  2. 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.
  3. Franz Baader, Ian Horrocks & Ulrike Sattler (2005): Description Logics as Ontology Languages for the Semantic Web. In: Mechanizing Mathematical Reasoning, pp. 228–248, doi:10.1007/978-3-540-32254-2_14. Available at http://www.informatik.uni-trier.de/~ley/db/conf/birthday/siekmann2005.html#BaaderHS05.
  4. Franz Baader & Ulrike Sattler (1999): Expressive Number Restrictions in Description Logics. Journal of Logic and Computation 9(3), pp. 319–350, doi:10.1093/logcom/9.3.319. Available at http://lat.inf.tu-dresden.de/research/papers/1999/BaaderSattler-JLC-99.ps.gz.
  5. Franz Baader & Ulrike Sattler (2001): An Overview of Tableau Algorithms for Description Logics. Studia Logica 69(1), pp. 5–40, doi:10.1023/A:1013882326814. Available at http://lat.inf.tu-dresden.de/research/papers/2001/BaaderSattler-StudiaLogica.ps.gz.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. Ian Horrocks & Ulrike Sattler (2007): A Tableau Decision Procedure for SHOIQ. J. of Automated Reasoning 39(3), pp. 249–276, doi:10.1007/s10817-007-9079-9. Available at download/2007/HoSa07a.pdf.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. Paulien de Wind (2001): Modal Logic. Vrije Universiteit Amsterdam.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org