Introductions to Description Logics – A Guided Tour

1. Baader, F.: Description logic terminology. In: [5], pp. 485–495. Cambridge University Press (2003)

   Google Scholar 

2. Baader, F.: Description logics. In: Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M.-C., Schmidt, R.A. (eds.) Reasoning Web. LNCS, vol. 5689, pp. 1–39. Springer, Heidelberg (2009)

   Chapter  Google Scholar 

3. Baader, F., Brandt, S., Lutz, C.: Pushing the \(\mathcal{EL}\) envelope. In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005). Morgan-Kaufmann Publishers, Edinburgh (2005)

   Google Scholar 

4. Baader, F., Brandt, S., Lutz, C.: Pushing the \(\mathcal{EL}\) envelope further. In: Clark, K., Patel-Schneider, P.F. (eds.) Proc. of the OWLED Workshop (2008)

   Google Scholar 

5. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)

   Google Scholar 

6. Baader, F., Hladik, J., Lutz, C., Wolter, F.: From tableaux to automata for description logics. In: Vardi, M.Y., Voronkov, A. (eds.) LPAR 2003. LNCS, vol. 2850, pp. 1–32. Springer, Heidelberg (2003), Slides of the talk are available from http://lat.inf.tu-dresden.de/~baader/Talks/LPAR03.pdf

   Chapter  Google Scholar 

7. Baader, F., Horrocks, I., Sattler, U.: Description logics for the semantic web. KI 16(4), 57–59 (2002)

   MATH  Google Scholar 

8. Baader, F., Horrocks, I., Sattler, U.: Description logics. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies. International Handbooks on Information Systems, pp. 3–28. Springer (2004), http://www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/2004/BaHS04a.pdf

9. Baader, F., Lutz, C.: Description logic. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) The Handbook of Modal Logic, pp. 757–820. Elsevier (2006)

   Google Scholar 

10. Baader, F., Nutt, W.: Basic description logics. In: [5], ch. 2, pp. 43–96. Cambridge University Press (2003)

    Google Scholar 

11. Baader, F., Peñaloza, R., Suntisrivaraporn, B.: Pinpointing in the description logic \(\mathcal{EL}\). In: Calvanese, D., Franconi, E., Haarslev, V., Lembo, D., Motik, B., Tessaris, S., Turhan, A.-Y. (eds.) Proc. of the 2007 Description Logic Workshop (DL 2007), CEUR-WS (2007)

    Google Scholar 

12. Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica 69, 5–40 (2001)

    Article  MathSciNet  MATH  Google Scholar 

13. Baader, F., Sertkaya, B., Turhan, A.-Y.: Computing the least common subsumer w.r.t. a background terminology. Journal of Applied Logics (2007)

    Google Scholar 

14. Baader, F., Suntisrivaraporn, B.: Debugging SNOMED CT using axiom pinpointing in the description logic \(\mathcal{EL}^+\). In: Proceedings of the International Conference on Representing and Sharing Knowledge Using SNOMED (KR-MED 2008), Phoenix, Arizona (2008)

    Google Scholar 

15. Bechhofer, S., Horrocks, I., Goble, C.A., Stevens, R.: OilEd: a Reason-able Ontology Editor for the Semantic Web. In: Baader, F., Brewka, G., Eiter, T. (eds.) KI 2001. LNCS (LNAI), vol. 2174, pp. 396–408. Springer, Heidelberg (2001), OilEd download page http://oiled.man.ac.uk

    Chapter  Google Scholar 

16. Bechhofer, S., Möller, R., Crowther, P.: The DIG Description Logic Interface. In: Proc. of the 2003 Description Logic Workshop (DL 2003), Rome, Italy (2003)

    Google Scholar 

17. Borgida, A., Lenzerini, M., Rosati, R.: Description logics for databases. In: [5], pp. 462–484. Cambridge University Press (2003)

    Google Scholar 

18. Borgida, A., Patel-Schneider, P.F.: A semantics and complete algorithm for subsumption in the CLASSIC description logic. Journal of Artificial Intelligence Research 1, 277–308 (1994)

    MATH  Google Scholar 

19. Brachman, R.J., Borgida, A., McGuinness, D.L., Alperin Resnick, L.: The CLASSIC knowledge representation system, or, KL-ONE: the next generation. Preprints of the Workshop on Formal Aspects of Semantic Networks, Two Harbors, Cal. (1989)

    Google Scholar 

20. Brachman, R.J., Levesque, H.J.: Readings in Knowledge Representation. Morgan Kaufmann, Los Altos (1985)

    MATH  Google Scholar 

21. Brachman, R.J., McGuinness, D.L., Patel-Schneider, P.F., Resnick, L.A., Borgida, A.: Living with classic: When and how to use a kl-one-like language. In: Principles of Semantic Networks, pp. 401–456. Morgan Kaufmann (1991)

    Google Scholar 

22. Brachman, R.J., Nardi, D.: An introduction to description logics. In: [5], ch. 1, pp. 1–40. Cambridge University Press (2003)

    Google Scholar 

23. Brandt, S.: Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and—what else? In: de Mantáras, R.L., Saitta, L. (eds.) Proc. of the 16th European Conf. on Artificial Intelligence (ECAI 2004), pp. 298–302. IOS Press (2004)

    Google Scholar 

24. Brandt, S., Küsters, R., Turhan, A.-Y.: Approximation and difference in description logics. In: Fensel, D., McGuinness, D., Williams, M.-A. (eds.) Proc. of the 8th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2002). Morgan Kaufmann Publishers, San Francisco (2002)

    Google Scholar 

25. Calvanese, D., De Giacomo, G.: Description logics for conceptual data modeling in uml. Course held at ESSLLI 2003 (2003), http://www.inf.unibz.it/~calvanese/teaching/2003-08-ESSLLI-UML

26. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rodriguez-Muro, M., Rosati, R.: Ontologies and databases: The DL-lite approach. In: Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M.-C., Schmidt, R.A. (eds.) Reasoning Web. LNCS, vol. 5689, pp. 255–356. Springer, Heidelberg (2009), Course slides available from http://www.inf.unibz.it/~calvanese/teaching/2009-09-ReasoningWeb-school-ontologies-dbs/ReasoningWeb-2009-ontologies-dbs.pdf

    Chapter  Google Scholar 

27. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: Tractable description logics for ontologies. In: Veloso, M.M., Kambhampati, S. (eds.) Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI 2005), pp. 602–607. AAAI Press/The MIT Press (2005)

    Google Scholar 

28. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006), pp. 260–270 (2006)

    Google Scholar 

29. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. Journal of Automated Reasoning 39(3), 385–429 (2007)

    Article  MathSciNet  MATH  Google Scholar 

30. Calvanese, D., De Giacomo, G., Rodriguez-Muro, M.: Integrating data into ontologies. Part of the ISWC 2008 tutorial ’Reasoning for Ontology Engineering and Usage’ (2008), http://www.inf.unibz.it/~calvanese/teaching/2008-10-ISWC-tutorial-tones/TonesTutorial08-4.pdf

31. Calvanese, D., Giacomo, G.D.: Expressive description logics. In: [5], ch. 5, pp. 178–218. Cambridge University Press (2003)

    Google Scholar 

32. Calvanese, D., Zakharyaschev, M.: Answering queries in description logics: Theory and applications to data management. Course held at ESSLLI 2010 (2010), http://www.inf.unibz.it/~calvanese/teaching/2010-08-ESSLLI-DL-QA/

33. Connolly, D., van Harmelen, F., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: DAML+OIL reference description. W3C Note (March 2001), http://www.w3.org/TR/daml+oil-reference

34. Consortium, T.G.O.: Gene Ontology: Tool for the unification of biology. Nature Genetics 25, 25–29 (2000)

    Article  Google Scholar 

35. Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Modular reuse of ontologies: Theory and practice. Journal of Artificial Intelligence Research 31, 273–318 (2008)

    MathSciNet  MATH  Google Scholar 

36. Donini, F.M.: Complexity of reasoning. In: [5], ch. 3, pp. 96–136. Cambridge University Press (2003)

    Google Scholar 

37. Donini, F.M., Colucci, S., Di Noia, T., Di Sciascio, E.: A tableaux-based method for computing least common subsumers for expressive description logics. In: Proc. of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 739–745. AAAI (July 2009)

    Google Scholar 

38. Eiter, T., Lutz, C., Ortiz, M., Simkus, M.: Query answering in description logics with transitive roles. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009). AAAI Press (2009)

    Google Scholar 

39. Fitting, M.: Basic modal logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 1, pp. 365–448. Oxford Science Publications (1993)

    Google Scholar 

40. Franconi, E.: Description logics – tutorial course information (2002), http://www.inf.unibz.it/~franconi/dl/course

41. Gennari, J., Musen, M., Fergerson, R., Grosso, W., Crubézy, M., Eriksson, H., Noy, N., Tu, S.: The evolution of protégé-2000: An environment for knowledge-based system development. International Journal of Human-Computer Studies 58, 89–123 (2003)

    Article  Google Scholar 

42. Ghilardi, S., Lutz, C., Wolter, F.: Did I damage my ontology? a case for conservative extensions in description logics. In: Doherty, P., Mylopoulos, J., Welty, C. (eds.) Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006), pp. 187–197. AAAI Press (2006)

    Google Scholar 

43. Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic \({\mathcal{SHIQ}}\). In: Veloso, M.M. (ed.) Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007), Hyderabad, India, pp. 399–404 (2007)

    Google Scholar 

44. Hitzler, P., Krötzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S.: OWL 2 Web Ontology Language: Primer (October 27, 2009), http://www.w3.org/TR/owl2-primer/

45. Horrcks, I., Sattler, U.: Logical foundations for the semantic web. Slides of the ESSLI 2003 tutorial (2003), http://www.cs.man.ac.uk/~horrocks/ESSLLI2003

46. Horridge, M., Parsia, B., Sattler, U.: Laconic and precise justifications in OWL. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 323–338. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

47. Horridge, M., Sattler, U.: Understanding and repairing inferences (includes modularisation). Part of the ISWC 2008 tutorial ’Reasoning for Ontology Engineering and Usage’ (2008), http://www.inf.unibz.it/~calvanese/teaching/2008-10-ISWC-tutorial-tones/TonesTutorial08-3.pdf

48. Horrocks, I.: Using an expressive description logic: FaCT or fiction? In: Cohn, A., Schubert, L., Shapiro, S. (eds.) Proc. of the 6th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 1998), pp. 636–647 (1998)

    Google Scholar 

49. Horrocks, I.: Ontology engineering: Tools and methodologies. Slides from the tutorial at the Norwegian Semantic Days (April 2007), http://www.cs.ox.ac.uk/people/ian.horrocks/Seminars/download/SemanticDays07-tutorial.ppt

50. Horrocks, I.: Description logic: a formal foundation for languages and tools. Slides from the tutorial at the Semantic Technology Conference (SemTech) (2010), http://www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/2010/HoPa10a.pdf

51. Horrocks, I.: Tool support for ontology engineering. In: Fensel, D. (ed.) Foundations for the Web of Information and Services, pp. 103–112. Springer (2011)

    Google Scholar 

52. Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \(\mathcal{SROIQ}\). In: Doherty, P., Mylopoulos, J., Welty, C. (eds.) Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006), pp. 57–67. AAAI Press (2006)

    Google Scholar 

53. Horrocks, I., Patel-Schneider, P.F.: KR and reasoning on the semantic web: OWL. In: Domingue, J., Fensel, D., Hendler, J.A. (eds.) Handbook of Semantic Web Technologies, ch. 9, pp. 365–398. Springer (2011), http://www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/2010/HoPa10a.pdf

54. Horrocks, I., Patel-Schneider, P.F., McGuinness, D.L., Welty, C.A.: OWL: a Description Logic Based Ontology Language for the Semantic Web. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook: Theory, Implementation, and Applications, ch. 14, 2nd edn., Cambridge University Press (2007), http://www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/2003/HPMW07.pdf

55. Horrocks, I., Sattler, U.: Optimised reasoning for \(\mathcal{SHIQ}\). In: Proc. of the 15th European Conference on Artificial Intelligence (2002)

    Google Scholar 

56. Horrocks, I., Sattler, U.: A tableaux decision procedure for \(\cal{SHOIQ}\). In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005). Morgan Kaufmann (January 2005)

    Google Scholar 

57. Horrocks, I., Sattler, U.: A tableau decision procedure for \(\mathcal{SHOIQ}\). J. of Automated Reasoning 39(3), 249–276 (2007)

    Article  MathSciNet  MATH  Google Scholar 

58. Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all justifications of OWL DL entailments. In: Aberer, K., et al. (eds.) ISWC/ASWC 2007. LNCS, vol. 4825, pp. 267–280. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

59. Kalyanpur, A., Parsia, B., Sirin, E., Cuenca Grau, B., Hendler, J.: Swoop: A web ontology editing browser. J. Web Sem. 4(2), 144–153 (2006)

    Article  Google Scholar 

60. Keet, M.: Introduction to ontology engineering, with emphasis on semantic web technologies. Meraka Institute, South Africa. Course in the Masters Ontology Winter School 2010 (2010), http://www.meteck.org/teaching/SA/MOWS10OntoEngCouse.html

61. Knublauch, H., Horridge, M., Musen, M.A., Rector, A.L., Stevens, R., Drummond, N., Lord, P.W., Noy, N.F., Seidenberg, J., Wang, H.: The protege owl experience. In: Grau, B.C., Horrocks, I., Parsia, B., Patel-Schneider, P.F. (eds.) Proceedings of the OWLED Workshop. CEUR Workshop Proceedings, vol. 188, CEUR-WS.org. (2005)

    Google Scholar 

62. Konev, B., Ludwig, M., Walther, D., Wolter, F.: The logical difference for the lightweight description logic \(\mathcal{EL}\). J. Artif. Intell. Res. (JAIR) 44, 633–708 (2012)

    MATH  Google Scholar 

63. Krötzsch, M.: OWL 2 Profiles: An introduction to lightweight ontology languages. In: Eiter, T., Krennwallner, T. (eds.) Reasoning Web 2012. LNCS, vol. 7487, pp. 112–183. Springer, Heidelberg (2012), Course slides available from http://korrekt.org/talks/2012/OWL_2_Profiles_Reasoning-Web-2012.pdf

    Chapter  Google Scholar 

64. Krötzsch, M., Simančík, F., Horrocks, I.: A description logic primer. CoRR, abs/1201.4089 (2012), http://arxiv.org/abs/1201.4089

65. Liebig, T., Noppens, O.: OntoTrack: Combining browsing and editing with reasoning and explaining for OWL lite ontologies. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 244–258. Springer, Heidelberg (2004), OntoTrack download page http://www.informatik.uni-ulm.de/ki/ontotrack/

    Chapter  Google Scholar 

66. Lutz, C.: The complexity of conjunctive query answering in expressive description logics. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 179–193. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

67. Lutz, C., Sattler, U.: Description logics (2005), Slides are available from http://www.computational-logic.org/content/events/iccl-ss-2005/lectures/lutz/index.php?id=24

68. Lutz, C., Sattler, U., Wolter, F.: Modularity in logical theories and ontologies. Slides of the ESSLI 2008 tutorial (2008), http://cgi.csc.liv.ac.uk/~frank/publ/esslli08.html

69. Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007). AAAI Press (2007)

    Google Scholar 

70. Lutz, C., Wolter, F.: Mathematical logic for life science ontologies. In: Ono, H., Kanazawa, M., de Queiroz, R. (eds.) WoLLIC 2009. LNCS, vol. 5514, pp. 37–47. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

71. Lutz, C., Wolter, F.: Deciding inseparability and conservative extensions in the description logic \(\mathcal{EL}\). Journal of Symbolic Computation 45(2), 194–228 (2010)

    Article  MathSciNet  MATH  Google Scholar 

72. Minsky, M.: A framework for representing knowledge. Technical report, MIT-AI Laboratory, Cambridge, MA, USA (1974)

    Google Scholar 

73. Möller, R.: Introduction to standard reasoning. Part of the ISWC 2008 tutorial ’Reasoning for Ontology Engineering and Usage’ (2008), http://www.inf.unibz.it/~calvanese/teaching/2008-10-ISWC-tutorial-tones/TonesTutorial08-1.pdf

74. Möller, R., Haarslev, V.: Description logic systems. In: [5], pp. 282–305. Cambridge University Press (2003)

    Google Scholar 

75. Motik, B., Sattler, U.: A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. In: Hermann, M., Voronkov, A. (eds.) LPAR 2006. LNCS (LNAI), vol. 4246, pp. 227–241. Springer, Heidelberg (2006), KAON2 download page http://kaon2.semanticweb.org/

    Chapter  Google Scholar 

76. Nebel, B.: Computational complexity of terminological reasoning in BACK. Artificial Intelligence Journal 34(3), 371–383 (1988)

    Article  MathSciNet  MATH  Google Scholar 

77. Nebel, B.: Terminological reasoning is inherently intractable. Artificial Intelligence Journal 43, 235–249 (1990)

    Article  MathSciNet  MATH  Google Scholar 

78. Nebel, B., von Luck, K.: Hybrid reasoning in BACK. In: Proc. of the 3rd Int. Sym. on Methodologies for Intelligent Systems (ISMIS 1988), pp. 260–269. North-Holland Publ. Co., Amsterdam (1988)

    Google Scholar 

79. Ortiz, M., Calvanese, D., Eiter, T.: Data complexity of query answering in expressive description logics via tableaux. Journal of Automated Reasoning 41(1), 61–98 (2008)

    Article  MathSciNet  MATH  Google Scholar 

80. Ortiz, M., Šimkus, M.: Reasoning and query answering in description logics. In: Eiter, T., Krennwallner, T. (eds.) Reasoning Web 2012. LNCS, vol. 7487, pp. 1–53. Springer, Heidelberg (2012), Course slides available from http://www.kr.tuwien.ac.at/events/rw2012/teaching-material/RW12-Tutorial-Ortiz-Simkus-1p.pdf

    Chapter  Google Scholar 

81. Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL Ontologies. In: Ellis, A., Hagino, T. (eds.) Proc. of the 14th Int. World Wide Web Conference (WWW 2005), Chiba, Japan, pp. 633–640 (May 2005)

    Google Scholar 

82. Quillian, M.R.: Word concepts: A theory and simulation of some basic capabilities. Behavioral Science 12, 410–430 (1967), Republished in [20]

    Article  Google Scholar 

83. Rector, A.: Medical informatics. In: [5], pp. 406–426. Cambridge University Press (2003)

    Google Scholar 

84. Rector, A.L., Rogers, J.: Ontological and practical issues in using a description logic to represent medical concept systems: Experience from GALEN. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web 2006. LNCS, vol. 4126, pp. 197–231. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

85. Rosse, C., Mejino, J.L.V.: A reference ontology for biomedical informatics: the foundational model of anatomy. Journal of Biomedical Informatics 36, 478–500 (2003)

    Article  Google Scholar 

86. Sattler, U., Calvanese, D., Molitor, R.: Relationships with other formalisms. In: [5], ch. 4, pp. 137–177. Cambridge University Press (2003)

    Google Scholar 

87. Schild, K.: A correspondence theory for terminological logics: preliminary report. In: Mylopoulos, J., Reiter, R. (eds.) Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI 1991), Sydney, Australia (1991)

    Google Scholar 

88. Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Gottlob, G., Walsh, T. (eds.) Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI 2003), Acapulco, Mexico, pp. 355–362. Morgan Kaufmann, Los Altos (2003)

    Google Scholar 

89. Schmidt-Schauß, M., Smolka, G.: Attributive concept descriptions with unions and complements. Technical Report SR-88-21, Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI), Kaiserslautern, Germany (1988)

    Google Scholar 

90. Schneider, T., Sattler, U.: Description logics: an introductory course on a nice family of logics. Course held at ESSLLI 2012 (August 2012), http://www.informatik.uni-bremen.de/~ts/teaching/2012_dl

91. Schneider, T., Walther, D.: Modularity in ontologies. Course held at ESSLLI 2011 (August 2011), http://www.informatik.uni-bremen.de/~ts/teaching/2011_modularity

92. Sioutos, N., de Coronado, S., Haber, M.W., Hartel, F.W., Shaiu, W.-L., Wright, L.W.: NCI thesaurus: A semantic model integrating cancer-related clinical and molecular information. J. of Biomedical Informatics 40(1), 30–43 (2007)

    Article  Google Scholar 

93. Sowa, J.F. (ed.): Principles of Semantic Networks. Morgan Kaufmann, Los Altos (1991)

    MATH  Google Scholar 

94. Spackman, K.: Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with SNOMED-RT. Journal of the American Medical Informatics Assoc. (2000) (Fall Symposium Special Issue)

    Google Scholar 

95. Turhan, A.-Y.: Bottom-up contruction of ontologies. Part of the ISWC 2008 tutorial ’Reasoning for Ontology Engineering and Usage’ (2008), http://www.inf.unibz.it/~calvanese/teaching/2008-10-ISWC-tutorial-tones/TonesTutorial08-2.pdf

96. Turhan, A.-Y.: Reasoning and explanation in \(\mathcal{EL}\) and in expressive description logics. In: Aßmann, U., Bartho, A., Wende, C. (eds.) Reasoning Web. LNCS, vol. 6325, pp. 1–27. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

97. Turhan, A.-Y.: Description logic reasoning for semantic web ontologies. In: Akerkar, R. (ed.) Proc. of the International Conference on Web Intelligence, Mining and Semantics, WIMS 2011, p. 6. ACM (2011)

    Google Scholar 

98. Turhan, A.-Y., Bechhofer, S., Kaplunova, A., Liebig, T., Luther, M., Möller, R., Noppens, O., Patel-Schneider, P., Suntisrivaraporn, B., Weithöner, T.: DIG 2.0 – Towards a flexible interface for description logic reasoners. In: Cuenca Grau, B., Hitzler, P., Shankey, C., Wallace, E. (eds.) Proceedings of the Second International Workshop OWL: Experiences and Directions (November 2006)

    Google Scholar 

99. W3C OWL Working Group. OWL 2 web ontology language document overview. W3C Recommendation (October 27, 2009), http://www.w3.org/TR/2009/REC-owl2-overview-20091027/

100. Wolstencroft, K., Brass, A., Horrocks, I., Lord, P., Sattler, U., Turi, D., Stevens, R.: A little semantic web goes a long way in biology. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 786–800. Springer, Heidelberg (2005)

     Chapter  Google Scholar 

101. Zarrieß, B., Turhan, A.-Y.: Most specific generalizations w.r.t. general \(\mathcal{EL}\)-TBoxes. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013). AAAI Press, Beijing (to appear, 2013)

     Google Scholar 

Download references