{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,5]],"date-time":"2025-03-05T02:40:01Z","timestamp":1741142401587,"version":"3.38.0"},"reference-count":67,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2011,4,14]],"date-time":"2011-04-14T00:00:00Z","timestamp":1302739200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Informatik Spektrum"],"published-print":{"date-parts":[[2011,10]]},"DOI":"10.1007\/s00287-011-0534-y","type":"journal-article","created":{"date-parts":[[2011,4,13]],"date-time":"2011-04-13T09:09:38Z","timestamp":1302685778000},"page":"434-442","source":"Crossref","is-referenced-by-count":7,"title":["What\u2019s new in Description Logics"],"prefix":"10.1007","volume":"34","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,4,14]]},"reference":[{"key":"534_CR1","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul S, Hull R, Vianu V (1995) Foundations of Databases. Addison Wesley, Reading, MA"},{"key":"534_CR2","unstructured":"Baader F (1990) Terminological cycles in KL-ONE-based knowledge representation languages. In: Proc of the 8th Nat Conf on Artificial Intelligence (AAAI\u201990), 29 July\u20133 August 1990, Boston, MA, USA, pp 621\u2013626"},{"key":"534_CR3","first-page":"364","volume-title":"Proc of the 19th Int Joint Conf on Artificial Intelligence (IJCAI 2005), 30 July\u20135 August 2005, Edinburgh, UK","author":"F Baader","year":"2005","unstructured":"Baader F, Brandt S, Lutz C (2005) Pushing the EL envelope. In: Kaelbling LP, Saffiotti A (eds) Proc of the 19th Int Joint Conf on Artificial Intelligence (IJCAI 2005), 30 July\u20135 August 2005, Edinburgh, UK. Morgan Kaufmann, Los Altos, pp 364\u2013369"},{"key":"534_CR4","unstructured":"Baader F, Brandt S, Lutz C (2008) Pushing the EL envelope further. In: Clark K, Patel-Schneider PF (eds) Proc of the Fifth International Workshop on OWL: Experiences and Directions (OWLED\u201908), 26\u201327 October 2008, Karlsruhe, Germany"},{"key":"534_CR5","unstructured":"Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider PF (eds) (2003) The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press"},{"key":"534_CR6","first-page":"109","volume":"4","author":"F Baader","year":"1994","unstructured":"Baader F, Franconi E, Hollunder B, Nebel B, Profitlich H-J (1994) An empirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on. Appl Artif Intel. Special Issue on Knowledge Base Management 4:109\u2013132","journal-title":"Appl Artif Intel. Special Issue on Knowledge Base Management"},{"key":"534_CR7","doi-asserted-by":"crossref","unstructured":"Baader F, K\u00fcsters R (1998) Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions. In: Proc of the 22nd German Annual Conf on Artificial Intelligence (KI\u201998), vol 1504, Lecture Notes in Computer Science. Springer, pp 129\u2013140","DOI":"10.1007\/BFb0095434"},{"key":"534_CR8","unstructured":"Baader F, K\u00fcsters R (2000) Matching in description logics with existential restrictions. In: Proc of the 7th Int Conf on Principles of Knowledge Representation and Reasoning (KR 2000), 12\u201315 April 2000, Breckenridge, CO, USA, pp 261\u2013272"},{"key":"534_CR9","doi-asserted-by":"crossref","unstructured":"Baader F, K\u00fcsters R (2006) Nonstandard inferences in description logics: the story so far. In: Gabbay DM, Goncharov SS, Zakharyaschev M (eds) Mathematical Problems from Applied Logic I, vol 4, International Mathematical Series. Springer, pp 1\u201375","DOI":"10.1007\/0-387-31072-X_1"},{"issue":"3","key":"534_CR10","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1093\/logcom\/9.3.411","volume":"9","author":"F Baader","year":"1999","unstructured":"Baader F, K\u00fcsters R, Borgida A, McGuinness DL (1999) Matching in description logics. J Logic Comput 9(3):411\u2013447","journal-title":"J Logic Comput"},{"key":"534_CR11","unstructured":"Baader F, K\u00fcsters R, Molitor R (1999) Computing least common subsumers in description logics with existential restrictions. In: Proc of the 16th Int Joint Conf on Artificial Intelligence (IJCAI\u201999), 31 July\u20136 August 1999, Stockholm, Sweden, pp 96\u2013101"},{"key":"534_CR12","unstructured":"Baader F, Lutz C, Suntisrivaraporn B (2005) Is tractable reasoning in extensions of the description logic EL useful in practice? In: Proc of the 2005 International Workshop on Methods for Modalities (M4M-05), 1\u20132 December 2005, Berlin, Germany"},{"key":"534_CR13","doi-asserted-by":"crossref","unstructured":"Baader F, Morawska B (2009) Unification in the description logic EL. In: Treinen R (ed) Proc of the 20th Int Conf on Rewriting Techniques and Applications (RTA 2009), vol 5595, Lecture Notes in Computer Science. Springer, pp 350\u2013364","DOI":"10.1007\/978-3-642-02348-4_25"},{"issue":"3","key":"534_CR14","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1006\/jsco.2000.0426","volume":"31","author":"F Baader","year":"2001","unstructured":"Baader F, Narendran P (2001) Unification of concepts terms in description logics. J Symb Comput 31(3):277\u2013305","journal-title":"J Symb Comput"},{"key":"534_CR15","doi-asserted-by":"crossref","unstructured":"Baader F, Pe\u00f1aloza R (2007) Axiom pinpointing in general tableaux. In: Proc of the Int Conf on Analytic Tableaux and Related Methods (TABLEAUX 2007), vol 4548, Lecture Notes in Artificial Intelligence. Springer, pp 11\u201327","DOI":"10.1007\/978-3-540-73099-6_4"},{"key":"534_CR16","doi-asserted-by":"crossref","unstructured":"Baader F, Pe\u00f1aloza R (2008) Automata-based axiom pinpointing. In: Armando A, Baumgartner P, Dowek G (eds) Proc of the Int Joint Conf on Automated Reasoning (IJCAR 2008), vol 5195 Lecture Notes in Artificial Intelligence. Springer, pp 226\u2013241","DOI":"10.1007\/978-3-540-71070-7_19"},{"issue":"1","key":"534_CR17","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/exn058","volume":"20","author":"F Baader","year":"2010","unstructured":"Baader F, Pe\u00f1aloza R (2010) Axiom Pinpointing in General Tableaux. J Logic Comput 20(1):5\u201334","journal-title":"J Logic Comput"},{"key":"534_CR18","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1013882326814","volume":"69","author":"F Baader","year":"2001","unstructured":"Baader F, Sattler U (2001) An overview of tableau algorithms for description logics. Studia Logica 69:5\u201340","journal-title":"Studia Logica"},{"issue":"3","key":"534_CR19","doi-asserted-by":"crossref","first-page":"392","DOI":"10.1016\/j.jal.2006.03.002","volume":"5","author":"F Baader","year":"2007","unstructured":"Baader F, Sertkaya B, Turhan A-Y (2007) Computing the least common subsumer w.r.t a background terminology. J Appl Logic 5(3):392\u2013420","journal-title":"J Appl Logic"},{"key":"534_CR20","unstructured":"Baader F, Suntisrivaraporn B (2008) Debugging SNOMED CT using axiom pinpointing in the description logic EL+. In: Proc of the International Conference on Representing and Sharing Knowledge Using SNOMED (KR-MED\u201908), 31 May\u20132 June 2008, Phoenix, Arizona"},{"key":"534_CR21","doi-asserted-by":"crossref","unstructured":"Baader F, Tobies S (2001) The inverse method implements the automata approach for modal satisfiability. In: Proc of the Int Joint Conf on Automated Reasoning (IJCAR 2001), vol 2083, Lecture Notes in Artificial Intelligence. Springer, pp 92\u2013106","DOI":"10.1007\/3-540-45744-5_8"},{"issue":"2","key":"534_CR22","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","volume":"9","author":"RJ Brachman","year":"1985","unstructured":"Brachman RJ, Schmolze JG (1985) An overview of the KL-ONE knowledge representation system. Cognitive Sci 9(2):171\u2013216","journal-title":"Cognitive Sci"},{"key":"534_CR23","unstructured":"Brandt S (2004) Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and \u2013 what else? In: L\u00f3pez de M\u00e1ntaras R, Saitta L (eds) Proc of the 16th Eur Conf on Artificial Intelligence (ECAI 2004), 22\u201327 August 2004, Valencia, Spain, pp 298\u2013302"},{"key":"534_CR24","unstructured":"Calvanese D, De Giacomo G, Lembo D, Lenzerini M, Rosati R (2005) DL-Lite: Tractable description logics for ontologies. In: Veloso MM, Kambhampati S (eds) Proc of the 20th Nat Conf on Artificial Intelligence (AAAI 2005), 25\u201329 July 2004, San Jose, CA, USA. AAAI Press\/The MIT Press, pp 602\u2013607"},{"key":"534_CR25","unstructured":"Calvanese D, de Giacomo G, Lembo D, Lenzerini M, Rosati R (2006) Data complexity of query answering in description logics. In: Doherty P, Mylopoulos J, Welty CA (eds) Proc of the 10th Int Conf on Principles of Knowledge Representation and Reasoning (KR 2006), 2\u20135 June 2006, Lake District, UK. AAAI Press\/The MIT Press, pp 260\u2013270"},{"issue":"3","key":"534_CR26","doi-asserted-by":"crossref","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 (2007) Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J Autom Reason 39(3):385\u2013429","journal-title":"J Autom Reason"},{"key":"534_CR27","unstructured":"Calvanese D, De Giacomo G, Lenzerini M (2002) 2ATAs make DLs easy. In: Proc of the 2002 Description Logic Workshop (DL 2002). CEUR Electronic Workshop Proceedings. http:\/\/ceur-ws.org\/Vol-53\/, last access 5.4.2011, pp 107\u2013118"},{"key":"534_CR28","doi-asserted-by":"crossref","unstructured":"Donini FM, Colucci S, Di Noia T, Di Sciascio E (2009) A tableaux-based method for computing least common subsumers for expressive description logics. In: Boutilier C (ed) Proc of the 21st Int Joint Conf on Artificial Intelligence (IJCAI 2009), 11\u201317 July 2009, Pasadena, CA, USA, pp 739\u2013745","DOI":"10.3233\/978-1-58603-891-5-739"},{"issue":"2","key":"534_CR29","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1305\/ndjfl\/1093894722","volume":"13","author":"M Fitting","year":"1972","unstructured":"Fitting M (1972) Tableau methods of proof for modal logics. Notre Dame J Formal Logic 13(2):237\u2013247","journal-title":"Notre Dame J Formal Logic"},{"key":"534_CR30","doi-asserted-by":"crossref","unstructured":"Glimm B, Horrocks I, Lutz C, Sattler U (2007) Conjunctive query answering for the description logic SHIQ. In: Veloso MM (ed) Proc of the 20th Int Joint Conf on Artificial Intelligence (IJCAI 2007), 6\u201312 January 2007, Hyderabad, India, pp 399\u2013404","DOI":"10.1613\/jair.2372"},{"key":"534_CR31","doi-asserted-by":"crossref","unstructured":"Haarslev V, M\u00f6ller R (2001) RACER system description. In: Proc of the Int Joint Conf on Automated Reasoning (IJCAR 2001), vol 2083, Lecture Notes in Artificial Intelligence. Springer, pp 701\u2013706","DOI":"10.1007\/3-540-45744-5_59"},{"issue":"2","key":"534_CR32","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/s10817-008-9104-7","volume":"41","author":"V Haarslev","year":"2008","unstructured":"Haarslev V, M\u00f6ller R (2008) On the scalability of description logic instance retrieval. J Autom Reason 41(2):99\u2013142","journal-title":"J Autom Reason"},{"key":"534_CR33","doi-asserted-by":"crossref","unstructured":"Hayes PJ (1979) The logic of frames. In: Metzing D (ed) Frame Conceptions and Text Understanding. Walter de Gruyter, pp 46\u201361 (republished in: Brachman RJ, Levesque HJ (eds) (1985) Readings in Knowledge Representation. Morgan Kaufmann, Los Altos)","DOI":"10.1515\/9783110858778-005"},{"key":"534_CR34","unstructured":"Horrocks I (2003) Implementation and optimization techniques. In: Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider PF (eds) The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, pp 306\u2013346"},{"key":"534_CR35","unstructured":"Horrocks I, Kutz O, Sattler U (2006) The even more irresistible SROIQ. In: Doherty P, Mylopoulos J, Welty CA (eds) Proc of the 10th Int Conf on Principles of Knowledge Representation and Reasoning (KR 2006) 2\u20135 June 2006, Lake District, UK. AAAI Press\/The MIT Press, pp 57\u201367"},{"issue":"4","key":"534_CR36","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1016\/j.websem.2004.06.003","volume":"1","author":"I Horrocks","year":"2004","unstructured":"Horrocks I, Patel-Schneider PF (2004) Reducing OWL entailment to description logic satisfiability. J Web Sem 1(4):345\u2013357","journal-title":"J Web Sem"},{"issue":"1","key":"534_CR37","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I Horrocks","year":"2003","unstructured":"Horrocks I, Patel-Schneider PF, van Harmelen F (2003) From SHIQ and RDF to OWL: The making of a web ontology language. J Web Sem 1(1):7\u201326","journal-title":"J Web Sem"},{"key":"534_CR38","volume-title":"Proc of the 19th Int Joint Conf on Artificial Intelligence (IJCAI 2005), 30 July\u20135 August 2005, Edinburgh, UK","author":"I Horrocks","year":"2005","unstructured":"Horrocks I, Sattler U (2005) A tableaux decision procedure for SHOIQ. In: Proc of the 19th Int Joint Conf on Artificial Intelligence (IJCAI 2005), 30 July\u20135 August 2005, Edinburgh, UK. Morgan Kaufmann, Los Altos"},{"key":"534_CR39","doi-asserted-by":"crossref","unstructured":"Kalyanpur A, Parsia B, Horridge M, Sirin E (2007) Finding all justifications of OWL DL entailments. In: Proc of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference, ISWC 2007+ASWC 2007, Busan, Korea, vol 4825, Lecture Notes in Computer Science. Springer, pp 267\u2013280","DOI":"10.1007\/978-3-540-76298-0_20"},{"key":"534_CR40","unstructured":"Kazakov Y (2008) RIQ and SROIQ are harder than SHOIQ. In: Brewka G, Lang J (eds) Proc of the 11th Int Conf on Principles of Knowledge Representation and Reasoning (KR 2008), 16\u201319 September 2008, Sydney, Australia. AAAI Press, pp 274\u2013284"},{"key":"534_CR41","first-page":"285","volume-title":"Proc of the 11th Int Conf on Principles of Knowledge Representation and Reasoning (KR 2008), 16\u201319 September 2008, Sydney, Australia","author":"R Kontchakov","year":"2008","unstructured":"Kontchakov R, Wolter F, Zakharyaschev M (2008) Can you tell the difference between DL-Lite ontologies? In: Brewka G, Lang J (eds) Proc of the 11th Int Conf on Principles of Knowledge Representation and Reasoning (KR 2008), 16\u201319 September 2008, Sydney, Australia. Morgan Kaufmann, Los Altos, pp 285\u2013295"},{"key":"534_CR42","unstructured":"Lee K, Meyer T, Pan JZ (2006) Computing maximally satisfiable terminologies for the description logic ALC with GCIs. In: Proc of the 2006 Description Logic Workshop (DL 2006), vol 189 CEUR Electronic Workshop Proceedings"},{"key":"534_CR43","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1111\/j.1467-8640.1987.tb00176.x","volume":"3","author":"HJ Levesque","year":"1987","unstructured":"Levesque HJ, Brachman RJ (1987) Expressiveness and tractability in knowledge representation and reasoning. Comput Intell 3:78\u201393","journal-title":"Comput Intell"},{"key":"534_CR44","doi-asserted-by":"crossref","unstructured":"Lutz C (2008) The complexity of conjunctive query answering in expressive description logics. In: Armando A, Baumgartner P, Dowek G (eds) Proc of the Int Joint Conf on Automated Reasoning (IJCAR 2008), Lecture Notes in Artificial Intelligence. Springer, pp 179\u2013193","DOI":"10.1007\/978-3-540-71070-7_16"},{"issue":"1\u20133","key":"534_CR45","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/s10817-006-9049-7","volume":"38","author":"C Lutz","year":"2007","unstructured":"Lutz C, Milicic M (2007) A tableau algorithm for description logics with concrete domains and general TBoxes. J Autom Reason 38(1\u20133):227\u2013259","journal-title":"J Autom Reason"},{"key":"534_CR46","unstructured":"Lutz C, Toman D, Wolter F (2009) Conjunctive query answering in the description logic EL using a relational database system. In: Proc of the 21st International Joint Conference on Artificial Intelligence IJCAI09, 11\u201317 July 2009, Pasadena, CA, USA. AAAI Press"},{"key":"534_CR47","unstructured":"Lutz C, Walther D, Wolter F (2007) Conservative extensions in expressive description logics. In: Veloso MM (ed) Proc of the 20th Int Joint Conf on Artificial Intelligence (IJCAI 2007), 6\u201312 January 2007, Hyderabad, India, pp 453\u2013458"},{"key":"534_CR48","unstructured":"Lutz C, Wolter F (2007) Conservative extensions in the lightweight description logic EL. In: Pfenning F (ed) Proc of the 21st Int Conf on Automated Deduction (CADE 2007), vol 4603, Lecture Notes in Computer Science, Bremen, Germany. Springer, pp 84\u201399"},{"issue":"3","key":"534_CR49","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/122296.122310","volume":"2","author":"E Mays","year":"1991","unstructured":"Mays E, Dionne R, Weida R (1991) K-REP system overview. SIGART Bull 2(3):93\u201397","journal-title":"SIGART Bull"},{"key":"534_CR50","unstructured":"Minsky M (1981) A framework for representing knowledge. In: Haugeland J (ed) Mind Design. The MIT Press. A longer version appeared in: The Psychology of Computer Vision (1975) (republished in: Brachman RJ, Levesque HJ (eds) (1985) Readings in Knowledge Representation. Morgan Kaufmann, Los Altos)"},{"issue":"3","key":"534_CR51","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1016\/0004-3702(88)90066-5","volume":"34","author":"B Nebel","year":"1988","unstructured":"Nebel B (1988) Computational complexity of terminological reasoning in BACK. Artif Intell 34(3):371\u2013383","journal-title":"Artif Intell"},{"key":"534_CR52","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0004-3702(90)90087-G","volume":"43","author":"B Nebel","year":"1990","unstructured":"Nebel B (1990) Terminological reasoning is inherently intractable. Artif Intell 43:235\u2013249","journal-title":"Artif Intell"},{"issue":"1","key":"534_CR53","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/s10817-008-9102-9","volume":"41","author":"M Ortiz","year":"2008","unstructured":"Ortiz M, Calvanese D, Eiter T (2008) Data complexity of query answering in expressive description logics via tableaux. J Autom Reason 41(1):61\u201398","journal-title":"J Autom Reason"},{"key":"534_CR54","doi-asserted-by":"crossref","unstructured":"Parsia B, Sirin E, Kalyanpur A (2005) Debugging OWL ontologies. In: Ellis A, Hagino T (eds) Proc of the 14th International Conference on World Wide Web (WWW\u201905), 10\u201314 May 2005, Chiba, Japan. ACM, pp 633\u2013640","DOI":"10.1145\/1060745.1060837"},{"key":"534_CR55","unstructured":"Patel-Schneider PF (1984) Small can be beautiful in knowledge representation. In: Proc of the IEEE Workshop on Knowledge-Based Systems, 2\u20134 December 1984, Denver, CO, USA. An extended version appeared as Fairchild Tech Rep 660 and FLAIR Tech Rep 37, October 1984"},{"issue":"3","key":"534_CR56","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1145\/122296.122314","volume":"2","author":"C Peltason","year":"1991","unstructured":"Peltason C (1991) The BACK system \u2013 an overview. SIGART Bull 2(3):114\u2013119","journal-title":"SIGART Bull"},{"key":"534_CR57","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1002\/bs.3830120511","volume":"12","author":"MR Quillian","year":"1967","unstructured":"Quillian MR (1967) Word concepts: a theory and simulation of some basic capabilities. Behavioral Sci 12:410\u2013430 (republished in: Brachman RJ, Levesque HJ (eds) (1985) Readings in Knowledge Representation. Morgan Kaufmann, Los Altos)","journal-title":"Behavioral Sci"},{"issue":"1","key":"534_CR58","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter R (1987) A theory of diagnosis from first principles. Artif Intell 32(1):57\u201395","journal-title":"Artif Intell"},{"key":"534_CR59","unstructured":"Sattler U, Schneider T, Zakharyaschev M (2009) Which kind of module should I extract? In: Proc of the 2008 Description Logic Workshop (DL 2009), vol 477, CEUR Workshop Proceedings"},{"key":"534_CR60","first-page":"355","volume-title":"Proc of the 18th Int Joint Conf on Artificial Intelligence (IJCAI 2003), Acapulco, Mexico","author":"S Schlobach","year":"2003","unstructured":"Schlobach S, Cornet R (2003) 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. Morgan Kaufmann, Los Altos, pp 355\u2013362"},{"key":"534_CR61","first-page":"421","volume-title":"Proc of the 1st Int Conf on the Principles of Knowledge Representation and Reasoning (KR\u201989), 15\u201318 May 1989, Toronto, Ontario, Canada","author":"M Schmidt-Schau\u00df","year":"1989","unstructured":"Schmidt-Schau\u00df M (1989) Subsumption in KL-ONE is undecidable. In: Brachman RJ, Levesque HJ, Reiter R (eds) Proc of the 1st Int Conf on the Principles of Knowledge Representation and Reasoning (KR\u201989), 15\u201318 May 1989, Toronto, Ontario, Canada. Morgan Kaufmann, Los Altos, pp 421\u2013431"},{"issue":"1","key":"534_CR62","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M Schmidt-Schau\u00df","year":"1991","unstructured":"Schmidt-Schau\u00df M, Smolka G (1991) Attributive concept descriptions with complements. Artif Intell 48(1):1\u201326","journal-title":"Artif Intell"},{"key":"534_CR63","doi-asserted-by":"crossref","unstructured":"Schubert LK, Goebel RG, Cercone NJ (1979) The structure and organization of a semantic net for comprehension and inference. In: Findler NV (ed) Associative Networks: Representation and Use of Knowledge by Computers. Academic Press, pp 121\u2013175","DOI":"10.1016\/B978-0-12-256380-5.50010-4"},{"key":"534_CR64","unstructured":"Sirin E, Parsia B (2004) Pellet: An OWL DL reasoner. In: Proc of the 2004 Description Logic Workshop (DL 2004), 6\u20138 June 2004, Whistler, British Columbia, Canada, pp 212\u2013213"},{"key":"534_CR65","unstructured":"Suntisrivaraporn B (2008) Module extraction and incremental classification: a pragmatic approach for EL+ ontologies. In: Bechhofer S, Hauswirth M, Hoffmann J, Koubarakis M (eds) Proc of the 5th European Semantic Web Conference (ESWC\u201908), vol 5021, Lecture Notes in Computer Science. Springer, pp 230\u2013244"},{"key":"534_CR66","unstructured":"Suntisrivaraporn B (2009) Polynomial-Time Reasoning Support for Design and Maintenance of Large-Scale Biomedical Ontologies. PhD thesis, Fakult\u00e4t Informatik, TU Dresden. http:\/\/lat.inf.tu-dresden.de\/research\/phd\/#Sun-PhD-2008, last access 5.4.2011"},{"key":"534_CR67","doi-asserted-by":"crossref","unstructured":"Tsarkov D, Horrocks I (2006) Fact++ description logic reasoner: system description. In: Furbach U, Shankar N (eds) Proc of the Int Joint Conf on Automated Reasoning (IJCAR 2006), vol 4130, Lecture Notes in Artificial Intelligence. Springer, pp 292\u2013297","DOI":"10.1007\/11814771_26"}],"container-title":["Informatik-Spektrum"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00287-011-0534-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00287-011-0534-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00287-011-0534-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,5]],"date-time":"2025-03-05T01:35:57Z","timestamp":1741138557000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00287-011-0534-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,4,14]]},"references-count":67,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2011,10]]}},"alternative-id":["534"],"URL":"https:\/\/doi.org\/10.1007\/s00287-011-0534-y","relation":{},"ISSN":["0170-6012","1432-122X"],"issn-type":[{"type":"print","value":"0170-6012"},{"type":"electronic","value":"1432-122X"}],"subject":[],"published":{"date-parts":[[2011,4,14]]}}}