{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T06:38:57Z","timestamp":1742971137406,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":101,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642397837"},{"type":"electronic","value":"9783642397844"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39784-4_3","type":"book-chapter","created":{"date-parts":[[2013,7,22]],"date-time":"2013-07-22T00:59:26Z","timestamp":1374454766000},"page":"150-161","source":"Crossref","is-referenced-by-count":6,"title":["Introductions to Description Logics \u2013 A Guided Tour"],"prefix":"10.1007","author":[{"given":"Anni-Yasmin","family":"Turhan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Baader, F.: Description logic terminology. In: [5], pp. 485\u2013495. Cambridge University Press (2003)"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-03754-2_1","volume-title":"Reasoning Web. Semantic Technologies for Information Systems","author":"F. Baader","year":"2009","unstructured":"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.\u00a05689, pp. 1\u201339. Springer, Heidelberg (2009)"},{"key":"3_CR3","volume-title":"Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005)","author":"F. Baader","year":"2005","unstructured":"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)"},{"key":"3_CR4","unstructured":"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)"},{"key":"3_CR5","unstructured":"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)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-39813-4_1","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"F. Baader","year":"2003","unstructured":"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.\u00a02850, pp. 1\u201332. Springer, Heidelberg (2003), Slides of the talk are available from http:\/\/lat.inf.tu-dresden.de\/~baader\/Talks\/LPAR03.pdf"},{"issue":"4","key":"3_CR7","first-page":"57","volume":"16","author":"F. Baader","year":"2002","unstructured":"Baader, F., Horrocks, I., Sattler, U.: Description logics for the semantic web. KI\u00a016(4), 57\u201359 (2002)","journal-title":"KI"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Baader, F., Horrocks, I., Sattler, U.: Description logics. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies. International Handbooks on Information Systems, pp. 3\u201328. Springer (2004), http:\/\/www.cs.ox.ac.uk\/people\/ian.horrocks\/Publications\/download\/2004\/BaHS04a.pdf","DOI":"10.1007\/978-3-540-24750-0_1"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Baader, F., Lutz, C.: Description logic. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) The Handbook of Modal Logic, pp. 757\u2013820. Elsevier (2006)","DOI":"10.1016\/S1570-2464(07)80016-4"},{"key":"3_CR10","unstructured":"Baader, F., Nutt, W.: Basic description logics. In: [5], ch.\u00a02, pp. 43\u201396. Cambridge University Press (2003)"},{"key":"3_CR11","unstructured":"Baader, F., Pe\u00f1aloza, 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)"},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1013882326814","volume":"69","author":"F. Baader","year":"2001","unstructured":"Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica\u00a069, 5\u201340 (2001)","journal-title":"Studia Logica"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Baader, F., Sertkaya, B., Turhan, A.-Y.: Computing the least common subsumer w.r.t. a background terminology. Journal of Applied Logics (2007)","DOI":"10.1016\/j.jal.2006.03.002"},{"key":"3_CR14","unstructured":"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)"},{"key":"3_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/3-540-45422-5_28","volume-title":"KI 2001: Advances in Artificial Intelligence","author":"S. Bechhofer","year":"2001","unstructured":"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.\u00a02174, pp. 396\u2013408. Springer, Heidelberg (2001), OilEd download page http:\/\/oiled.man.ac.uk"},{"key":"3_CR16","unstructured":"Bechhofer, S., M\u00f6ller, R., Crowther, P.: The DIG Description Logic Interface. In: Proc. of the 2003 Description Logic Workshop (DL 2003), Rome, Italy (2003)"},{"key":"3_CR17","unstructured":"Borgida, A., Lenzerini, M., Rosati, R.: Description logics for databases. In: [5], pp. 462\u2013484. Cambridge University Press (2003)"},{"key":"3_CR18","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1613\/jair.56","volume":"1","author":"A. Borgida","year":"1994","unstructured":"Borgida, A., Patel-Schneider, P.F.: A semantics and complete algorithm for subsumption in the CLASSIC description logic. Journal of Artificial Intelligence Research\u00a01, 277\u2013308 (1994)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"3_CR19","unstructured":"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)"},{"key":"3_CR20","volume-title":"Readings in Knowledge Representation","author":"R.J. Brachman","year":"1985","unstructured":"Brachman, R.J., Levesque, H.J.: Readings in Knowledge Representation. Morgan Kaufmann, Los Altos (1985)"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"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\u2013456. Morgan Kaufmann (1991)","DOI":"10.1016\/B978-1-4832-0771-1.50022-9"},{"key":"3_CR22","unstructured":"Brachman, R.J., Nardi, D.: An introduction to description logics. In: [5], ch.\u00a01, pp. 1\u201340. Cambridge University Press (2003)"},{"key":"3_CR23","unstructured":"Brandt, S.: Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and\u2014what else? In: de Mant\u00e1ras, R.L., Saitta, L. (eds.) Proc. of the 16th European Conf. on Artificial Intelligence (ECAI 2004), pp. 298\u2013302. IOS Press (2004)"},{"key":"3_CR24","volume-title":"Proc. of the 8th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2002)","author":"S. Brandt","year":"2002","unstructured":"Brandt, S., K\u00fcsters, 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)"},{"key":"3_CR25","unstructured":"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"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-642-03754-2_7","volume-title":"Reasoning Web. Semantic Technologies for Information Systems","author":"D. Calvanese","year":"2009","unstructured":"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.\u00a05689, pp. 255\u2013356. 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"},{"key":"3_CR27","unstructured":"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\u2013607. AAAI Press\/The MIT Press (2005)"},{"key":"3_CR28","unstructured":"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\u2013270 (2006)"},{"issue":"3","key":"3_CR29","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D. Calvanese","year":"2007","unstructured":"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\u00a039(3), 385\u2013429 (2007)","journal-title":"Journal of Automated Reasoning"},{"key":"3_CR30","unstructured":"Calvanese, D., De Giacomo, G., Rodriguez-Muro, M.: Integrating data into ontologies. Part of the ISWC 2008 tutorial \u2019Reasoning for Ontology Engineering and Usage\u2019 (2008), http:\/\/www.inf.unibz.it\/~calvanese\/teaching\/2008-10-ISWC-tutorial-tones\/TonesTutorial08-4.pdf"},{"key":"3_CR31","unstructured":"Calvanese, D., Giacomo, G.D.: Expressive description logics. In: [5], ch.\u00a05, pp. 178\u2013218. Cambridge University Press (2003)"},{"key":"3_CR32","unstructured":"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\/"},{"key":"3_CR33","unstructured":"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"},{"key":"3_CR34","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1038\/75556","volume":"25","author":"T.G.O. Consortium","year":"2000","unstructured":"Consortium, T.G.O.: Gene Ontology: Tool for the unification of biology. Nature Genetics\u00a025, 25\u201329 (2000)","journal-title":"Nature Genetics"},{"key":"3_CR35","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1613\/jair.2375","volume":"31","author":"B. Cuenca Grau","year":"2008","unstructured":"Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Modular reuse of ontologies: Theory and practice. Journal of Artificial Intelligence Research\u00a031, 273\u2013318 (2008)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"3_CR36","unstructured":"Donini, F.M.: Complexity of reasoning. In: [5], ch.\u00a03, pp. 96\u2013136. Cambridge University Press (2003)"},{"key":"3_CR37","unstructured":"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\u2013745. AAAI (July 2009)"},{"key":"3_CR38","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/978-3-642-02261-6_3"},{"key":"3_CR39","doi-asserted-by":"crossref","unstructured":"Fitting, M.: Basic modal logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a01, pp. 365\u2013448. Oxford Science Publications (1993)","DOI":"10.1093\/oso\/9780198537458.003.0006"},{"key":"3_CR40","unstructured":"Franconi, E.: Description logics \u2013 tutorial course information (2002), http:\/\/www.inf.unibz.it\/~franconi\/dl\/course"},{"key":"3_CR41","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/S1071-5819(02)00127-1","volume":"58","author":"J. Gennari","year":"2003","unstructured":"Gennari, J., Musen, M., Fergerson, R., Grosso, W., Crub\u00e9zy, M., Eriksson, H., Noy, N., Tu, S.: The evolution of prot\u00e9g\u00e9-2000: An environment for knowledge-based system development. International Journal of Human-Computer Studies\u00a058, 89\u2013123 (2003)","journal-title":"International Journal of Human-Computer Studies"},{"key":"3_CR42","unstructured":"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\u2013197. AAAI Press (2006)"},{"key":"3_CR43","unstructured":"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\u2013404 (2007)"},{"key":"3_CR44","unstructured":"Hitzler, P., Kr\u00f6tzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S.: OWL\u00a02 Web Ontology Language: Primer (October 27, 2009), http:\/\/www.w3.org\/TR\/owl2-primer\/"},{"key":"3_CR45","unstructured":"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"},{"key":"3_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-540-88564-1_21","volume-title":"The Semantic Web - ISWC 2008","author":"M. Horridge","year":"2008","unstructured":"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.\u00a05318, pp. 323\u2013338. Springer, Heidelberg (2008)"},{"key":"3_CR47","unstructured":"Horridge, M., Sattler, U.: Understanding and repairing inferences (includes modularisation). Part of the ISWC 2008 tutorial \u2019Reasoning for Ontology Engineering and Usage\u2019 (2008), http:\/\/www.inf.unibz.it\/~calvanese\/teaching\/2008-10-ISWC-tutorial-tones\/TonesTutorial08-3.pdf"},{"key":"3_CR48","unstructured":"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\u2013647 (1998)"},{"key":"3_CR49","unstructured":"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"},{"key":"3_CR50","unstructured":"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"},{"key":"3_CR51","doi-asserted-by":"crossref","unstructured":"Horrocks, I.: Tool support for ontology engineering. In: Fensel, D. (ed.) Foundations for the Web of Information and Services, pp. 103\u2013112. Springer (2011)","DOI":"10.1007\/978-3-642-19797-0_6"},{"key":"3_CR52","unstructured":"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\u201367. AAAI Press (2006)"},{"key":"3_CR53","doi-asserted-by":"crossref","unstructured":"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.\u00a09, pp. 365\u2013398. Springer (2011), http:\/\/www.cs.ox.ac.uk\/people\/ian.horrocks\/Publications\/download\/2010\/HoPa10a.pdf","DOI":"10.1007\/978-3-540-92913-0_9"},{"key":"3_CR54","doi-asserted-by":"crossref","unstructured":"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.\u00a014, 2nd edn., Cambridge University Press (2007), http:\/\/www.cs.ox.ac.uk\/people\/ian.horrocks\/Publications\/download\/2003\/HPMW07.pdf","DOI":"10.1017\/CBO9780511711787.016"},{"key":"3_CR55","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Sattler, U.: Optimised reasoning for $\\mathcal{SHIQ}$ . In: Proc. of the 15th European Conference on Artificial Intelligence (2002)","DOI":"10.25368\/2022.118"},{"key":"3_CR56","unstructured":"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)"},{"issue":"3","key":"3_CR57","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s10817-007-9079-9","volume":"39","author":"I. Horrocks","year":"2007","unstructured":"Horrocks, I., Sattler, U.: A tableau decision procedure for $\\mathcal{SHOIQ}$ . J. of Automated Reasoning\u00a039(3), 249\u2013276 (2007)","journal-title":"J. of Automated Reasoning"},{"key":"3_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-540-76298-0_20","volume-title":"The Semantic Web","author":"A. Kalyanpur","year":"2007","unstructured":"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.\u00a04825, pp. 267\u2013280. Springer, Heidelberg (2007)"},{"issue":"2","key":"3_CR59","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/j.websem.2005.10.001","volume":"4","author":"A. Kalyanpur","year":"2006","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Cuenca Grau, B., Hendler, J.: Swoop: A web ontology editing browser. J. Web Sem.\u00a04(2), 144\u2013153 (2006)","journal-title":"J. Web Sem."},{"key":"3_CR60","unstructured":"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"},{"key":"3_CR61","unstructured":"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.\u00a0188, CEUR-WS.org. (2005)"},{"key":"3_CR62","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1613\/jair.3552","volume":"44","author":"B. Konev","year":"2012","unstructured":"Konev, B., Ludwig, M., Walther, D., Wolter, F.: The logical difference for the lightweight description logic $\\mathcal{EL}$ . J. Artif. Intell. Res. (JAIR)\u00a044, 633\u2013708 (2012)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"3_CR63","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-642-33158-9_4","volume-title":"Reasoning Web. Semantic Technologies for Advanced Query Answering","author":"M. Kr\u00f6tzsch","year":"2012","unstructured":"Kr\u00f6tzsch, M.: OWL 2 Profiles: An introduction to lightweight ontology languages. In: Eiter, T., Krennwallner, T. (eds.) Reasoning Web 2012. LNCS, vol.\u00a07487, pp. 112\u2013183. Springer, Heidelberg (2012), Course slides available from http:\/\/korrekt.org\/talks\/2012\/OWL_2_Profiles_Reasoning-Web-2012.pdf"},{"key":"3_CR64","unstructured":"Kr\u00f6tzsch, M., Siman\u010d\u00edk, F., Horrocks, I.: A description logic primer. CoRR, abs\/1201.4089 (2012), http:\/\/arxiv.org\/abs\/1201.4089"},{"key":"3_CR65","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-540-30475-3_18","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"T. Liebig","year":"2004","unstructured":"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.\u00a03298, pp. 244\u2013258. Springer, Heidelberg (2004), OntoTrack download page http:\/\/www.informatik.uni-ulm.de\/ki\/ontotrack\/"},{"key":"3_CR66","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-71070-7_16","volume-title":"Automated Reasoning","author":"C. Lutz","year":"2008","unstructured":"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.\u00a05195, pp. 179\u2013193. Springer, Heidelberg (2008)"},{"key":"3_CR67","unstructured":"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"},{"key":"3_CR68","unstructured":"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"},{"key":"3_CR69","unstructured":"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)"},{"key":"3_CR70","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-02261-6_4","volume-title":"Logic, Language, Information and Computation","author":"C. Lutz","year":"2009","unstructured":"Lutz, C., Wolter, F.: Mathematical logic for life science ontologies. In: Ono, H., Kanazawa, M., de Queiroz, R. (eds.) WoLLIC 2009. LNCS, vol.\u00a05514, pp. 37\u201347. Springer, Heidelberg (2009)"},{"issue":"2","key":"3_CR71","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.jsc.2008.10.007","volume":"45","author":"C. Lutz","year":"2010","unstructured":"Lutz, C., Wolter, F.: Deciding inseparability and conservative extensions in the description logic $\\mathcal{EL}$ . Journal of Symbolic Computation\u00a045(2), 194\u2013228 (2010)","journal-title":"Journal of Symbolic Computation"},{"key":"3_CR72","unstructured":"Minsky, M.: A framework for representing knowledge. Technical report, MIT-AI Laboratory, Cambridge, MA, USA (1974)"},{"key":"3_CR73","unstructured":"M\u00f6ller, R.: Introduction to standard reasoning. Part of the ISWC 2008 tutorial \u2019Reasoning for Ontology Engineering and Usage\u2019 (2008), http:\/\/www.inf.unibz.it\/~calvanese\/teaching\/2008-10-ISWC-tutorial-tones\/TonesTutorial08-1.pdf"},{"key":"3_CR74","unstructured":"M\u00f6ller, R., Haarslev, V.: Description logic systems. In: [5], pp. 282\u2013305. Cambridge University Press (2003)"},{"key":"3_CR75","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/11916277_16","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"B. Motik","year":"2006","unstructured":"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.\u00a04246, pp. 227\u2013241. Springer, Heidelberg (2006), KAON2 download page http:\/\/kaon2.semanticweb.org\/"},{"issue":"3","key":"3_CR76","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1016\/0004-3702(88)90066-5","volume":"34","author":"B. Nebel","year":"1988","unstructured":"Nebel, B.: Computational complexity of terminological reasoning in BACK. Artificial Intelligence Journal\u00a034(3), 371\u2013383 (1988)","journal-title":"Artificial Intelligence Journal"},{"key":"3_CR77","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0004-3702(90)90087-G","volume":"43","author":"B. Nebel","year":"1990","unstructured":"Nebel, B.: Terminological reasoning is inherently intractable. Artificial Intelligence Journal\u00a043, 235\u2013249 (1990)","journal-title":"Artificial Intelligence Journal"},{"key":"3_CR78","first-page":"260","volume-title":"Proc. of the 3rd Int. Sym. on Methodologies for Intelligent Systems (ISMIS 1988)","author":"B. Nebel","year":"1988","unstructured":"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\u2013269. North-Holland Publ. Co., Amsterdam (1988)"},{"issue":"1","key":"3_CR79","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s10817-008-9102-9","volume":"41","author":"M. Ortiz","year":"2008","unstructured":"Ortiz, M., Calvanese, D., Eiter, T.: Data complexity of query answering in expressive description logics via tableaux. Journal of Automated Reasoning\u00a041(1), 61\u201398 (2008)","journal-title":"Journal of Automated Reasoning"},{"key":"3_CR80","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-33158-9_1","volume-title":"Reasoning Web. Semantic Technologies for Advanced Query Answering","author":"M. Ortiz","year":"2012","unstructured":"Ortiz, M., \u0160imkus, M.: Reasoning and query answering in description logics. In: Eiter, T., Krennwallner, T. (eds.) Reasoning Web 2012. LNCS, vol.\u00a07487, pp. 1\u201353. Springer, Heidelberg (2012), Course slides available from http:\/\/www.kr.tuwien.ac.at\/events\/rw2012\/teaching-material\/RW12-Tutorial-Ortiz-Simkus-1p.pdf"},{"key":"3_CR81","doi-asserted-by":"crossref","unstructured":"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\u2013640 (May 2005)","DOI":"10.1145\/1060745.1060837"},{"key":"3_CR82","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1002\/bs.3830120511","volume":"12","author":"M.R. Quillian","year":"1967","unstructured":"Quillian, M.R.: Word concepts: A theory and simulation of some basic capabilities. Behavioral Science\u00a012, 410\u2013430 (1967), Republished in [20]","journal-title":"Behavioral Science"},{"key":"3_CR83","unstructured":"Rector, A.: Medical informatics. In: [5], pp. 406\u2013426. Cambridge University Press (2003)"},{"key":"3_CR84","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/11837787_9","volume-title":"Reasoning Web","author":"A.L. Rector","year":"2006","unstructured":"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.\u00a04126, pp. 197\u2013231. Springer, Heidelberg (2006)"},{"key":"3_CR85","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1016\/j.jbi.2003.11.007","volume":"36","author":"C. Rosse","year":"2003","unstructured":"Rosse, C., Mejino, J.L.V.: A reference ontology for biomedical informatics: the foundational model of anatomy. Journal of Biomedical Informatics\u00a036, 478\u2013500 (2003)","journal-title":"Journal of Biomedical Informatics"},{"key":"3_CR86","unstructured":"Sattler, U., Calvanese, D., Molitor, R.: Relationships with other formalisms. In: [5], ch.\u00a04, pp. 137\u2013177. Cambridge University Press (2003)"},{"key":"3_CR87","unstructured":"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)"},{"key":"3_CR88","first-page":"355","volume-title":"Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI 2003)","author":"S. Schlobach","year":"2003","unstructured":"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\u2013362. Morgan Kaufmann, Los Altos (2003)"},{"key":"3_CR89","unstructured":"Schmidt-Schau\u00df, M., Smolka, G.: Attributive concept descriptions with unions and complements. Technical Report SR-88-21, Deutsches Forschungszentrum f\u00fcr K\u00fcnstliche Intelligenz (DFKI), Kaiserslautern, Germany (1988)"},{"key":"3_CR90","unstructured":"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"},{"key":"3_CR91","unstructured":"Schneider, T., Walther, D.: Modularity in ontologies. Course held at ESSLLI 2011 (August 2011), http:\/\/www.informatik.uni-bremen.de\/~ts\/teaching\/2011_modularity"},{"issue":"1","key":"3_CR92","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.jbi.2006.02.013","volume":"40","author":"N. Sioutos","year":"2007","unstructured":"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\u00a040(1), 30\u201343 (2007)","journal-title":"J. of Biomedical Informatics"},{"volume-title":"Principles of Semantic Networks","year":"1991","key":"3_CR93","unstructured":"Sowa, J.F. (ed.): Principles of Semantic Networks. Morgan Kaufmann, Los Altos (1991)"},{"key":"3_CR94","unstructured":"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)"},{"key":"3_CR95","unstructured":"Turhan, A.-Y.: Bottom-up contruction of ontologies. Part of the ISWC 2008 tutorial \u2019Reasoning for Ontology Engineering and Usage\u2019 (2008), http:\/\/www.inf.unibz.it\/~calvanese\/teaching\/2008-10-ISWC-tutorial-tones\/TonesTutorial08-2.pdf"},{"key":"3_CR96","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-15543-7_1","volume-title":"Reasoning Web. Semantic Technologies for Software Engineering","author":"A.-Y. Turhan","year":"2010","unstructured":"Turhan, A.-Y.: Reasoning and explanation in $\\mathcal{EL}$ and in expressive description logics. In: A\u00dfmann, U., Bartho, A., Wende, C. (eds.) Reasoning Web. LNCS, vol.\u00a06325, pp. 1\u201327. Springer, Heidelberg (2010)"},{"key":"3_CR97","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1145\/1988688.1988696"},{"key":"3_CR98","unstructured":"Turhan, A.-Y., Bechhofer, S., Kaplunova, A., Liebig, T., Luther, M., M\u00f6ller, R., Noppens, O., Patel-Schneider, P., Suntisrivaraporn, B., Weith\u00f6ner, T.: DIG 2.0 \u2013 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)"},{"key":"3_CR99","unstructured":"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\/"},{"key":"3_CR100","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"786","DOI":"10.1007\/11574620_56","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"K. Wolstencroft","year":"2005","unstructured":"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.\u00a03729, pp. 786\u2013800. Springer, Heidelberg (2005)"},{"key":"3_CR101","unstructured":"Zarrie\u00df, 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)"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web. Semantic Technologies for Intelligent Data Access"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39784-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,15]],"date-time":"2024-05-15T04:20:35Z","timestamp":1715746835000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39784-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642397837","9783642397844"],"references-count":101,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39784-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}