{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:46:46Z","timestamp":1725490006373},"publisher-location":"Berlin, Heidelberg","reference-count":76,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540746133"},{"type":"electronic","value":"9783540746157"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74615-7_2","type":"book-chapter","created":{"date-parts":[[2007,8,20]],"date-time":"2007-08-20T22:59:08Z","timestamp":1187650748000},"page":"154-182","source":"Crossref","is-referenced-by-count":4,"title":["Reasoning in Description Logics: Basics, Extensions, and Relatives"],"prefix":"10.1007","author":[{"given":"Ulrike","family":"Sattler","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"2_CR1","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1004275029985","volume":"27","author":"H. Andr\u00e9ka","year":"1998","unstructured":"Andr\u00e9ka, H., van Benthem, J., N\u00e9meti, I.: Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic\u00a027(3), 217\u2013274 (1998)","journal-title":"Journal of Philosophical Logic"},{"key":"2_CR2","unstructured":"Areces, C.: Logic Engineering. The Case of Description and Hybrid Logics. PhD thesis, ILLC, University of Amsterdam (2000)"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/3-540-48168-0_22","volume-title":"Computer Science Logic","author":"C. Areces","year":"1999","unstructured":"Areces, C., Blackburn, P., Marx, M.: A road-map on complexity for hybrid logics. In: Flum, J., Rodr\u00edguez-Artalejo, M. (eds.) CSL 1999. LNCS, vol.\u00a01683, pp. 307\u2013321. Springer, Heidelberg (1999)"},{"issue":"1-4","key":"2_CR4","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1023\/A:1016636131405","volume":"30","author":"A. Artale","year":"2000","unstructured":"Artale, A., Franconi, E.: A survey of temporal extensions of description logics. Annals of Mathematics and Artificial Intelligence\u00a030(1-4), 171\u2013210 (2000)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"1","key":"2_CR5","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1093\/logcom\/6.1.33","volume":"6","author":"F. Baader","year":"1996","unstructured":"Baader, F.: A formal definition for the expressive power of terminological knowledge representation languages. Journal of Logic and Computation\u00a06(1), 33\u201354 (1996)","journal-title":"Journal of Logic and Computation"},{"key":"2_CR6","first-page":"213","volume-title":"IJCAI-01","author":"F. Baader","year":"2001","unstructured":"Baader, F., Brandt, S., K\u00fcsters, R.: Matching under side conditions in description logics. In: Nebel, B. (ed.) IJCAI-01. Proc. of the 17th Int. Joint Conf. on Artificial Intelligence, Seattle, Washington, pp. 213\u2013218. Morgan Kaufmann, Los Altos (2001)"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"2_CR7","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, Cambridge (2003)"},{"key":"2_CR8","unstructured":"Baader, F., Hanschke, P.: A schema for integrating concrete domains into concept languages. In: IJCAI-91. Proc. of the 12th Int. Joint Conf. on Artificial Intelligence, Sydney, pp. 452\u2013457 (1991)"},{"issue":"3","key":"2_CR9","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1093\/logcom\/9.3.319","volume":"9","author":"F. Baader","year":"1999","unstructured":"Baader, F., Sattler, U.: Expressive number restrictions in description logics. Journal of Logic and Computation\u00a09(3), 319\u2013350 (1999)","journal-title":"Journal of Logic and Computation"},{"key":"2_CR10","doi-asserted-by":"crossref","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) An abridged version appeared in Tableaux 2000. LNCS(LNAI), vol. 1847, Springer, Heidelberg (2000)","journal-title":"Studia Logica"},{"key":"2_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45751-8_7","volume-title":"KI 2002: Advances in Artificial Intelligence","author":"F. Baader","year":"2002","unstructured":"Baader, F., Turhan, A.-Y.: On the problem of computing small representations of least common subsumers. In: Jarke, M., Koehler, J., Lakemeyer, G. (eds.) KI 2002. LNCS (LNAI), vol.\u00a02479, Springer, Heidelberg (2002)"},{"key":"2_CR12","first-page":"669","volume-title":"IJCAI-93","author":"F. Baader","year":"1993","unstructured":"Baader, F., Hollunder, B.: How to prefer more specific defaults in terminological default logic. In: IJCAI-93. Proc. of the 13th Int. Joint Conf. on Artificial Intelligence, Chambery, France, pp. 669\u2013674. Morgan Kaufmann, Los Altos (1993)"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Bechhofer, S., Horrocks, I., Goble, C., Stevens, R.: OilEd: a reason-able ontology editor for the semantic web. In: DL 2001. Proc. of the 2001 Description Logic Workshop, pp. 1\u20139. CEUR (2001), http:\/\/ceur-ws.org\/","DOI":"10.1007\/3-540-45422-5_28"},{"issue":"5","key":"2_CR14","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1038\/scientificamerican0501-34","volume":"284","author":"T. Berners-Lee","year":"2001","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The semantic Web. Scientific American\u00a0284(5), 34\u201343 (2001)","journal-title":"Scientific American"},{"issue":"3","key":"2_CR15","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1093\/bib\/bbl027","volume":"7","author":"O. Bodenreider","year":"2006","unstructured":"Bodenreider, O., Stevens, R.: Bio-ontologies: current trends and future directions. Briefings in Bioinformatics\u00a07(3), 256\u2013274 (2006)","journal-title":"Briefings in Bioinformatics"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Borgida, A.: On the relative expressive power of Description Logics and Predicate Calculus. Artificial Intelligence Journal\u00a082(1) (1996)","DOI":"10.1016\/0004-3702(96)00004-5"},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1006\/ijhc.1996.0096","volume":"46","author":"P. Borst","year":"1997","unstructured":"Borst, P., Akkermans, H., Top, J.: Engineering ontologies. International Journal of Human-Computer Studies\u00a046, 365\u2013406 (1997)","journal-title":"International Journal of Human-Computer Studies"},{"key":"2_CR18","first-page":"203","volume-title":"KR-02","author":"S. Brandt","year":"2002","unstructured":"Brandt, S., K\u00fcsters, R., Turhan, A.-Y.: Approximation and difference in description logics. In: Fensel, D., Giunchiglia, F., McGuiness, D., Williams, M.-A. (eds.) KR-02. Proc. of the 8th Int. Conf. on the Principles of Knowledge Representation and Reasoning, pp. 203\u2013214. Morgan Kaufmann, Los Altos (2002)"},{"key":"2_CR19","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Epistemic first-order queries over description logic knowledge bases. In: DL 2006. Proc. of the 2006 Description Logic Workshop. CEUR (2006)"},{"key":"2_CR20","volume-title":"Handbook of Automated Reasoning","author":"D. Calvanese","year":"2001","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D.: Reasoning in expressive description logics. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, Elsevier Science Publishers (North-Holland), Amsterdam (2001)"},{"key":"2_CR21","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/978-1-4615-5643-5_8","volume-title":"Logics for Databases and Information Systems","author":"D. Calvanese","year":"1998","unstructured":"Calvanese, D., Lenzerini, M., Nardi, D.: Description logics for conceptual data modeling. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, pp. 229\u2013263. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: Extracting modules from ontologies. In: WWW 2007. Proc. of the Sixteenth International World Wide Web Conference (to appear)","DOI":"10.1145\/1242572.1242669"},{"key":"2_CR23","unstructured":"De Giacomo, G.: Decidability of Class-Based Knowledge Representation Formalisms. PhD thesis, Universit\u00e0 degli Studi di Roma \u201cLa Sapienza\u201d (1995)"},{"key":"2_CR24","volume-title":"AAAI-94","author":"G. Giacomo De","year":"1994","unstructured":"De Giacomo, G., Lenzerini, M.: Boosting the correspondence between description logics and propositional dynamic logics (extended abstract). In: AAAI-94. Proc. of the 12th Nat. Conf. on Artificial Intelligence, AAAI Press, Stanford, California, USA (1994)"},{"issue":"2","key":"2_CR25","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/505372.505373","volume":"3","author":"F. Donini","year":"2002","unstructured":"Donini, F., Nardi, D., Rosati, R.: Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Log.\u00a03(2), 177\u2013225 (2002)","journal-title":"ACM Trans. Comput. Log."},{"issue":"3","key":"2_CR26","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1023\/A:1008687430626","volume":"10","author":"F.M. Donini","year":"1998","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating Datalog and Description Logics. J. of Intelligent Information Systems\u00a010(3), 227\u2013252 (1998)","journal-title":"J. of Intelligent Information Systems"},{"key":"2_CR27","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. In: KR-04. Proc. of the 9th Int. Conf. on the Principles of Knowledge Representation and Reasoning, pp. 141\u2013151 (2004)"},{"key":"2_CR28","first-page":"1070","volume-title":"Proc. of the 5th Int. Conf. on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Proc. of the 5th Int. Conf. on Logic Programming, pp. 1070\u20131080. The MIT Press, Cambridge (1988)"},{"key":"2_CR29","unstructured":"Gon\u00e7alv\u00e8s, E., Gr\u00e4del, E.: Decidability issues for action guarded logics. In: DL 2000. Proc. of the 2000 Description Logic Workshop, pp. 123\u2013132. CEUR (2000), http:\/\/ceur-ws.org\/"},{"issue":"4","key":"2_CR30","doi-asserted-by":"publisher","first-page":"1719","DOI":"10.2307\/2586808","volume":"64","author":"E. Gr\u00e4del","year":"1999","unstructured":"Gr\u00e4del, E.: On the restraining power of guards. Journal of Symbolic Logic\u00a064(4), 1719\u20131742 (1999)","journal-title":"Journal of Symbolic Logic"},{"key":"2_CR31","first-page":"393","volume-title":"Current Trends in Theoretical Computer Science. Entering the 21st Century","author":"E. Gr\u00e4del","year":"2001","unstructured":"Gr\u00e4del, E.: Why are modal logics so robustly decidable. In: Paun, G., Rozenberg, G., Salomaa, A. (eds.) Current Trends in Theoretical Computer Science. Entering the 21st Century, pp. 393\u2013408. World Scientific, Singapore (2001)"},{"key":"2_CR32","doi-asserted-by":"publisher","first-page":"53","DOI":"10.2307\/421196","volume":"3","author":"E. Gr\u00e4del","year":"1997","unstructured":"Gr\u00e4del, E., Kolaitis, P., Vardi, M.: On the Decision Problem for Two-Variable First-Order Logic. Bulletin of Symbolic Logic\u00a03, 53\u201369 (1997)","journal-title":"Bulletin of Symbolic Logic"},{"key":"2_CR33","unstructured":"Cuenca Grau, B., Horrocks, I., Parsia, B., Patel-Schneider, P., Sattler, U.: Next steps for owl. In: Proc. of OWL: Experiences and Directions. CEUR (2006), http:\/\/ceur-ws.org\/"},{"key":"2_CR34","volume-title":"Formal Ontology in Conceptual Analysis and Knowledge Representation","author":"T.R. Gruber","year":"1993","unstructured":"Gruber, T.R.: Towards Principles for the Design of Ontologies Used for Knowledge Sharing. In: Guarino, N., Poli, R. (eds.) Formal Ontology in Conceptual Analysis and Knowledge Representation, Deventer, The Netherlands, Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"2_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/10722086_5","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"V. Haarslev","year":"2000","unstructured":"Haarslev, V., M\u00f6ller, R.: Consistency testing: The RACE experience. In: Dyckhoff, R. (ed.) TABLEAUX 2000. LNCS, vol.\u00a01847, pp. 1\u201318. Springer, Heidelberg (2000)"},{"key":"2_CR36","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., M\u00f6ller, R.: RACER system description. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, Springer, Heidelberg (2001)"},{"key":"2_CR37","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45616-3_11","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"J. Hladik","year":"2002","unstructured":"Hladik, J.: Implementation and optimisation of a tableau algorithm for the guarded fragment. In: Egly, U., Ferm\u00fcller, C. (eds.) TABLEAUX 2002. LNCS (LNAI), vol.\u00a02381, Springer, Heidelberg (2002)"},{"key":"2_CR38","unstructured":"Horridge, M., Tsarkov, D.: Supporting early adoption of OWL\u00a01.1 with Protege-OWL and FaCT++. In: Proc. of OWL: Experiences and Directions. CEUR (2006), http:\/\/ceur-ws.org\/"},{"key":"2_CR39","volume-title":"KR-98","author":"I. Horrocks","year":"1998","unstructured":"Horrocks, I.: Using an Expressive Description Logic: FaCT or Fiction? In: KR-98. Proc. of the 6th Int. Conf. on the Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, Los Altos (1998)"},{"key":"2_CR40","volume-title":"KR-2006","author":"I. Horrocks","year":"2006","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible $\\mathcal{SROIQ}$ . In: KR-2006. Proc. of the 10th International Conference of Knowledge Representation and Reasoning, Morgan Kaufmann, Los Altos (2006)"},{"key":"2_CR41","unstructured":"Horrocks, I., Motik, B., Sattler, U.: Bridging the gap between owl and relational databases. In: Proc. of the Sixteenth International World Wide Web Conference (WWW 2007) (to appear)"},{"key":"2_CR42","volume-title":"WWW 2004","author":"I. Horrocks","year":"2004","unstructured":"Horrocks, I., Patel-Schneider, P.F.: A Proposal for an OWL Rules Language. In: WWW 2004. Proc. of the Thirteenth Int\u2019l World Wide Web Conf., ACM, New York (2004)"},{"key":"2_CR43","volume-title":"From SHIQ and RDF to OWL: The making of a web ontology language","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: The making of a web ontology language, vol.\u00a01(1). John Wiley & Sons, Chichester (2003)"},{"key":"2_CR44","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Sattler, U.: Optimised reasoning for $\\mathcal{SHIQ}$ . In: ECAI 2002. Proc. of the 15th European Conf. on Artificial Intelligence (2002)","DOI":"10.25368\/2022.118"},{"key":"2_CR45","volume-title":"IJCAI-03","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Sattler, U.: Decidability of SHIQ with complex role inclusion axioms. In: IJCAI-03. Proc. of the 18th Int. Joint Conf. on Artificial Intelligence, Morgan Kaufmann, Los Altos (2003)"},{"key":"2_CR46","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Sattler, U.: A tableau decision procedure for $\\mathcal{SHOIQ}$ . Journal of Automated Reasoning (to appear)","DOI":"10.1007\/s10817-007-9079-9"},{"key":"2_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-48242-3_11","volume-title":"Logic Programming and Automated Reasoning","author":"I. Horrocks","year":"1999","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol.\u00a01705, pp. 161\u2013180. Springer, Heidelberg (1999)"},{"issue":"3","key":"2_CR48","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1093\/jigpal\/8.3.239","volume":"8","author":"I. Horrocks","year":"2000","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for very expressive description logics. Logic Journal of the IGPL\u00a08(3), 239\u2013264 (2000)","journal-title":"Logic Journal of the IGPL"},{"key":"2_CR49","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055916","volume-title":"Artificial Intelligence and Symbolic Computation","author":"I. Horrocks","year":"1998","unstructured":"Horrocks, I., Patel-Schneider, P.F.: Optimising propositional modal satisfiability for description logic subsumption. In: Calmet, J., Plaza, J. (eds.) AISC 1998. LNCS (LNAI), vol.\u00a01476, Springer, Heidelberg (1998)"},{"key":"2_CR50","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/3-540-46508-1_13","volume-title":"Automated Deduction in Classical and Non-Classical Logics","author":"U. Hustadt","year":"2000","unstructured":"Hustadt, U., Schmidt, R.A.: Issues of decidability for description logics in the framework of resolution. In: Caferra, R., Salzer, G. (eds.) Automated Deduction in Classical and Non-Classical Logics. LNCS (LNAI), vol.\u00a01761, pp. 191\u2013205. Springer, Heidelberg (2000)"},{"key":"2_CR51","volume-title":"Swoop: A \u2019Web\u2019 ontology editing browser","author":"A. Kalyanpur","year":"2005","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Cuenca-Grau, B., Hendler, J.: Swoop: A \u2019Web\u2019 ontology editing browser, vol.\u00a04(2). John Wiley & Sons, Chichester (2005)"},{"key":"2_CR52","volume-title":"Debugging unsatisfiable classes in owl ontologies","author":"A. Kalyanpur","year":"2005","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.: Debugging unsatisfiable classes in owl ontologies, vol.\u00a03(4). John Wiley & Sons, Chichester (2005)"},{"key":"2_CR53","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44613-3","volume-title":"Non-Standard Inferences in Description Logics","author":"R. K\u00fcsters","year":"2001","unstructured":"K\u00fcsters, R.: Non-Standard Inferences in Description Logics. In: K\u00fcsters, R. (ed.) Non-Standard Inferences in Description Logics. LNCS (LNAI), vol.\u00a02100, Springer, Heidelberg (2001)"},{"issue":"1-2","key":"2_CR54","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","volume":"104","author":"A.Y. Levy","year":"1998","unstructured":"Levy, A.Y., Rousset, M.-C.: Combining Horn rules and description logics in CARIN. Artificial Intelligence\u00a0104(1-2), 165\u2013209 (1998)","journal-title":"Artificial Intelligence"},{"key":"2_CR55","doi-asserted-by":"crossref","unstructured":"Lutz, C.: Description logics with concrete domains\u2014a survey. In: Advances in Modal Logics, vol.\u00a04, World Scientific Publishing Co. Pte. Ltd. (2003)","DOI":"10.25368\/2022.143"},{"key":"2_CR56","unstructured":"Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, Universit\u00e4t Karlsruhe (TH) (2006)"},{"key":"2_CR57","unstructured":"Motik, B., Rosati, R.: A faithful integration of description logics with logic programming. In: IJCAI-07. Proc. of the 20th Int. Joint Conf. on Artificial Intelligence, pp. 477\u2013482 (2007)"},{"key":"2_CR58","first-page":"41","volume-title":"Query answering for OWL-DL with rules","author":"B. Motik","year":"2005","unstructured":"Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules, vol.\u00a03(1), pp. 41\u201360. John Wiley & Sons, Chichester (2005)"},{"issue":"4","key":"2_CR59","doi-asserted-by":"publisher","first-page":"1083","DOI":"10.1137\/S0097539797323005","volume":"29","author":"L. Pacholski","year":"2000","unstructured":"Pacholski, L., Szwast, W., Tendera, L.: Complexity results for first-order two-variable logic with counting. SIAM Journal of Computing\u00a029(4), 1083\u20131117 (2000)","journal-title":"SIAM Journal of Computing"},{"key":"2_CR60","unstructured":"Prot\u00e9g\u00e9 (2003), Homepage at http:\/\/protege.stanford.edu\/"},{"key":"2_CR61","volume-title":"AAAI 1997","author":"A. Rector","year":"1997","unstructured":"Rector, A., Horrocks, I.: Experience building a large, re-usable medical ontology using a description logic with transitivity and concept inclusions. In: AAAI 1997. Proc. of the WS on Ontological Engineering, AAAI Spring Symposium, AAAI Press, Stanford, California, USA (1997)"},{"key":"2_CR62","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0743-1066(92)90049-9","volume":"14","author":"R. Reiter","year":"1990","unstructured":"Reiter, R.: What should a database know? Journal of Logic Programming\u00a014, 127\u2013153 (1990)","journal-title":"Journal of Logic Programming"},{"key":"2_CR63","unstructured":"Rosati, R.: Towards expressive KR systems integrating datalog and description logics: preliminary report. In: DL 1999. Proc. of the 1999 Description Logic Workshop. CEUR (1999), http:\/\/ceur-ws.org\/"},{"key":"2_CR64","unstructured":"Rosati, R.: Dl+log: Tight integration of description logics and disjunctive datalog. In: KR-06. Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning, pp. 68\u201378 (2006)"},{"key":"2_CR65","volume-title":"Artificial Intelligence. A Modern Approach","author":"S. Russell","year":"1995","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence. A Modern Approach. Prentice-Hall, Englewood Cliffs (1995)"},{"issue":"2","key":"2_CR66","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0169-023X(94)90002-7","volume":"13","author":"A. Schaerf","year":"1994","unstructured":"Schaerf, A.: Reasoning with individuals in concept languages. Data and Knowledge Engineering\u00a013(2), 141\u2013176 (1994)","journal-title":"Data and Knowledge Engineering"},{"key":"2_CR67","unstructured":"Schild, K.: A correspondence theory for terminological logics: Preliminary report. In: IJCAI-91. Proc. of the 12th Int. Joint Conf. on Artificial Intelligence, Sydney, pp. 466\u2013471 (1991)"},{"key":"2_CR68","first-page":"509","volume-title":"KR-94","author":"K. Schild","year":"1994","unstructured":"Schild, K.: Terminological cycles and the propositional \u03bc-calculus. In: Doyle, J., Sandewall, E., Torasso, P. (eds.) KR-94. Proc. of the 4th Int. Conf. on the Principles of Knowledge Representation and Reasoning, Bonn, pp. 509\u2013520. Morgan Kaufmann, Los Altos (1994)"},{"issue":"1","key":"2_CR69","doi-asserted-by":"publisher","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.: Attributive concept descriptions with complements. Artificial Intelligence\u00a048(1), 1\u201326 (1991)","journal-title":"Artificial Intelligence"},{"key":"2_CR70","doi-asserted-by":"crossref","unstructured":"Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical owl-dl reasoner. John Wiley & Sons, Chichester (to appear, 2007)","DOI":"10.2139\/ssrn.3199351"},{"key":"2_CR71","unstructured":"Spackman, K.A.: Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with SNOMED-RT. Journal of the American Medical Informatics Association, Fall Symposium Special Issue (2000)"},{"issue":"2","key":"2_CR72","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1109\/TITB.2002.1006301","volume":"6","author":"R. Stevens","year":"2002","unstructured":"Stevens, R., Horrocks, I., Goble, C., Bechhofer, S.: Building a bioinformatics ontology using OIL. IEEE Information Technology in Biomedicine. special issue on Bioinformatics\u00a06(2), 135\u2013141 (2002)","journal-title":"IEEE Information Technology in Biomedicine. special issue on Bioinformatics"},{"key":"2_CR73","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36124-3_76","volume-title":"On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE","author":"Y. Sure","year":"2002","unstructured":"Sure, Y., Staab, S., Angele, J.: OntoEdit: Guiding ontology development by methodology and inferencing. In: Meersman, R., Tari, Z., et al. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, vol.\u00a02519, Springer, Heidelberg (2002)"},{"key":"2_CR74","doi-asserted-by":"crossref","unstructured":"Uschold, M., King, M., Moralee, S., Zorgios, Y.: The enterprise ontology. The Knowledge Engineering Review\u00a013 (1998)","DOI":"10.1017\/S0269888998001088"},{"key":"2_CR75","series-title":"DIMACS: Series in Discrete Mathematics and Theoretical Computer Science","volume-title":"Descriptive Complexity and Finite Models","author":"M.Y. Vardi","year":"1997","unstructured":"Vardi, M.Y.: Why is modal logic so robustly decidable? In: Immerman, N., Kolaitis, P.G. (eds.) Descriptive Complexity and Finite Models. DIMACS: Series in Discrete Mathematics and Theoretical Computer Science, vol.\u00a031, American Mathematical Society, Providence, RI (1997)"},{"key":"2_CR76","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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, Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74615-7_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T17:13:47Z","timestamp":1683998027000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74615-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540746133","9783540746157"],"references-count":76,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74615-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}