{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,22]],"date-time":"2026-03-22T14:37:26Z","timestamp":1774190246292,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":80,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540929123","type":"print"},{"value":"9783540929130","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-540-92913-0_9","type":"book-chapter","created":{"date-parts":[[2011,7,22]],"date-time":"2011-07-22T08:17:17Z","timestamp":1311322637000},"page":"365-398","source":"Crossref","is-referenced-by-count":27,"title":["KR and Reasoning on the Semantic Web: OWL"],"prefix":"10.1007","author":[{"given":"Ian","family":"Horrocks","sequence":"first","affiliation":[]},{"given":"Peter F.","family":"Patel-Schneider","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1_9","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","year":"2003","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":"9_CR2_9","first-page":"452","volume-title":"A schema for integrating concrete domains into concept languages","author":"F Baader","year":"1991","unstructured":"Baader, F., Hanschke, P.: A schema for integrating concrete domains into concept languages. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI 1991), Sidney, pp. 452\u2013457 (1991)"},{"issue":"3","key":"9_CR3_9","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/122296.122298","volume":"2","author":"F Baader","year":"1991","unstructured":"Baader, F., Hollunder, B.: KRIS: Knowledge Representation and Inference System. SIGART Bull. 2(3), 8\u201314 (1991)","journal-title":"SIGART Bull."},{"key":"9_CR4_9","series-title":"Lecture Notes in Artificial Intelligence","first-page":"287","volume-title":"CEL \u2013 a polynomial-time reasoner for life science ontologies","author":"F Baader","year":"2006","unstructured":"Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL \u2013 a polynomial-time reasoner for life science ontologies. In: Furbach, U., Shankar, N. (eds.) Proceedings of the Third International Joint Conferences on Automated Reasoning (IJCAR 2006), Seattle. Lecture Notes in Artificial Intelligence, vol. 4130, pp. 287\u2013291. Springer, Berlin (2006)."},{"issue":"4","key":"9_CR5_9","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/27633.27634","volume":"18","author":"C Batini","year":"1986","unstructured":"Batini, C., Lenzerini, M., Navathe, S.B.: A comparative analysis of methodologies for database schema integration. ACM Comput. Surv. 18(4), 323\u2013364 (1986)","journal-title":"ACM Comput. Surv."},{"key":"9_CR6_9","unstructured":"Bechhofer, S., Goble, C., Horrocks, I.: DAML + OIL is not enough. In: Proceedings of the First International Semantic Web Working Symposium (SWWS 2001), Stanford, pp. 151\u2013159. \n                  http:\/\/www.semanticweb.org\/SWWS\/program\/full\/SWWSProceedings.pdf\n                  \n                 (2001)"},{"key":"9_CR7_9","first-page":"396","volume-title":"OilEd: a reason-able ontology editor for the semantic web","author":"S Bechhofer","year":"2001","unstructured":"Bechhofer, S., Horrocks, I., Goble, C., Stevens, R.: OilEd: a reason-able ontology editor for the semantic web. In: Proceedings of the Joint German\/Austrian Conferences on Artificial Intelligence (KI 2001), Vienna. Lecture Notes in Artificial Intelligence, vol. 2174, pp. 396\u2013408. Springer, Berlin (2001)"},{"key":"9_CR8_9","unstructured":"Beckett, D.: RDF\/XML syntax specification (revised), W3C Recommendation. \n                  http:\/\/www.w3.org\/TR\/rdf-syntax-grammar\/\n                  \n                 (2004)"},{"key":"9_CR9_9","unstructured":"Biron, P.V., Malhotra, A.: XML schema part 2: datatypes, W3C Recommendation. \n                  http:\/\/www.w3.org\/TR\/xmlschema-2\/\n                  \n                 (2001)"},{"key":"9_CR10_9","unstructured":"Brachman, R.J.: A structural paradigm for representing knowledge. Ph.D. thesis, Harvard University, Cambridge (1977). Revised version published as BBN Report No. 3605. Bolt Beranek and Newman, Cambridge (1978)"},{"issue":"2","key":"9_CR11_9","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","volume":"9","author":"RJ Brachman","year":"1985","unstructured":"Brachman, R.J., Schmolze, J.G.: An overview of the KL-ONE knowledge representation system. Cogn. Sci. 9(2), 171\u2013216 (1985)","journal-title":"Cognitive Sci."},{"key":"9_CR12_9","first-page":"131","volume-title":"Proceedings of the 1995 Description Logic Workshop, Rome, Italy (DL\u201995)","author":"P Bresciani","year":"1995","unstructured":"Bresciani, P., Franconi, E., Tessaris, S.: Implementing and testing expressive description logics: preliminary report. In: Proceedings of the 1995 Description Logic Workshop (DL 1995), Rome, pp. 131\u2013139 (1995)"},{"key":"9_CR13_9","first-page":"84","volume-title":"Reasoning in expressive description logics with fixpoints based on automata on infinite trees","author":"D Calvanese","year":"1999","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: Reasoning in expressive description logics with fixpoints based on automata on infinite trees. In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAF 1999), Stockholm, pp. 84\u201389 (1999)"},{"key":"9_CR14_9","unstructured":"Cornet, R., Spackman, K.A. (eds.): Proceedings of the Third International Conference on Knowledge Representation in Medicine (KR-MED 2008), Phoenix. CEUR, vol. 410. CEUR-WS.org (2008)"},{"key":"9_CR15_9","volume-title":"Proceedings of the 16th International World Wide Web Conference (WWW 2007)","author":"B Cuenca Grau","year":"2007","unstructured":"Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: extracting modules from ontologies. In: Proceedings of the 16th International World Wide Web Conference (WWW 2007), Banff (2007)"},{"key":"9_CR16_9","first-page":"298","volume-title":"A logical framework for modular integration of ontologies","author":"B Cuenca Grau","year":"2007","unstructured":"Cuenca Grau, B., Kazakov, Y., Horrocks, I., Sattler, U.: A logical framework for modular integration of ontologies. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), Hyderabad, pp. 298\u2013303 (2007)"},{"issue":"2","key":"9_CR17_9","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/5254.920598","volume":"16","author":"D Fensel","year":"2001","unstructured":"Fensel, D., van Harmelen, F., Horrocks, I., McGuinness, D., Patel-Schneider, P.F.: OIL: an ontology infrastructure for the semantic web. IEEE Intell. Syst. 16(2), 38\u201345 (2001)","journal-title":"IEEE Intell. Syst."},{"key":"9_CR18_9","first-page":"399","volume-title":"Conjunctive query answering for the description logic SHIQ","author":"B Glimm","year":"2007","unstructured":"Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic SHIQ. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), Hyderabad, pp. 399\u2013404 (2007)"},{"issue":"3","key":"9_CR19_9","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.websem.2006.05.007","volume":"4","author":"C Golbreich","year":"2006","unstructured":"Golbreich, C., Zhang, S., Bodenreider, O.: The foundational model of anatomy in OWL: experience and perspectives. J. Web Semant. 4(3), 181\u2013195 (2006)","journal-title":"J. Web Semant."},{"key":"9_CR20_9","first-page":"48","volume-title":"Description logic programs: combining logic programs with description logic","author":"BN Grosof","year":"2003","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proceedings of the 12th International World Wide Web Conference (WWW 2003), Budapest, pp. 48\u201357. ACM, New York (2003)"},{"key":"9_CR21_9","volume-title":"Knowledge modelling at the millennium (The design and evolution of Protege-2000)","author":"WE Grosso","year":"1999","unstructured":"Grosso, W.E., Eriksson, H., Fergerson, R.W., Gennari, J.H., Tu, S.W., Musen, M.A.: Knowledge modelling at the millennium (the design and evolution of Protege-2000). In: Proceedings of the 12th Workshop on Knowledge Acquisition, Modeling and Management (KAW 1999), Banff (1999)"},{"key":"9_CR22_9","first-page":"701","volume-title":"RACER system description","author":"V Haarslev","year":"2001","unstructured":"Haarslev, V., MoUer, R.: RACER system description. In: Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR 2001), Siena. Lecture Notes in Artificial Intelligence, vol. 2083, pp. 701\u2013705. Springer, Berlin (2001)"},{"issue":"2","key":"9_CR23_9","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.jbi.2004.09.001","volume":"38","author":"FW Hartel","year":"2005","unstructured":"Hartel, F.W., de Coronado, S., Dionne, R., Fragoso, G., Golbeck, J.: Modeling a description logic vocabulary for cancer research. J. Biomed. Inform. 38(2), 114\u2013129 (2005)","journal-title":"J. Biomed. Inform."},{"key":"9_CR24_9","unstructured":"Hayes, P.: RDF model theory, W3C Recommendation. \n                  http:\/\/www.w3.org\/TR\/rdf-mt\/\n                  \n                 (2004)"},{"key":"9_CR25_9","unstructured":"Horridge, M., Bechhofer, S., Noppens, O.: Igniting the OWL 1.1 touch paper: the OWL API. In: Proceedings of the Third OWL Experiences and Directions Workshop (OWLED 2007), Innsbruck. CEUR, vol. 258. \n                  http:\/\/ceur-ws.org\/\n                  \n                 (2007)"},{"key":"9_CR26_9","unstructured":"Horridge, M., Drummond, N., Goodwin, J., Rector, A., Stevens, R., Wang, H.: The Manchester OWL syntax. In: Proceedings of the Second OWL Experiences and Directions Workshop (OWLED 2006), Athens. CEUR, vol. 216. \n                  http:\/\/ceur-ws. org\/\n                  \n                 (2006)"},{"key":"9_CR27_9","first-page":"636","volume-title":"Using an expressive description logic: FaCT or fiction?","author":"I Horrocks","year":"1998","unstructured":"Horrocks, I.: Using an expressive description logic: FaCT or fiction? In: Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 1998), Trento, pp. 636\u2013647 (1998)"},{"key":"9_CR28_9","unstructured":"Horrocks, I., Fensel, D., Broekstra, J., Decker, S., Erdmann, M., Goble, C., van Harmelen, F., Klein, M., Staab, S., Studer, R., Motta, E.: OIL: the ontology inference layer. Technical report IR-479. Faculty of Sciences, Vrije Universiteit Amsterdam. \n                  http:\/\/www.ontoknowledge.org\/oil\/\n                  \n                (2000)"},{"key":"9_CR29_9","first-page":"57","volume-title":"The even more irresistible SROIQ","author":"I Horrocks","year":"2006","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Lake District, pp. 57\u201367. AAAI Press, Menlo Park (2006)"},{"issue":"1","key":"9_CR30_9","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","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. J. Web Semant. 1(1), 7\u201326 (2003)","journal-title":"J. Web Semant."},{"key":"9_CR31_9","first-page":"199","volume-title":"Ontology reasoning in the SHOQ(D) description logic","author":"I Horrocks","year":"2001","unstructured":"Horrocks, I., Sattler, U.: Ontology reasoning in the SHOQ(D) description logic. In: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001), Seattle, pp. 199\u2013204. Morgan Kaufmann, Los Altos (2001)"},{"key":"9_CR32_9","first-page":"448","volume-title":"A tableaux decision procedure for SHOIQ","author":"I Horrocks","year":"2005","unstructured":"Horrocks, I., Sattler, U.: A tableaux decision procedure for SHOIQ. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, pp. 448\u2013453 (2005)"},{"key":"9_CR33_9","first-page":"161","volume-title":"Practical reasoning for expressive description logics","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.) Proceedings of the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR 1999), Tbilisi. Lecture Notes in Artificial Intelligence, vol. 1705, pp. 161\u2013180. Springer (1999)"},{"issue":"2","key":"9_CR34_9","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 Semant. 4(2), 144\u2013153 (2006)","journal-title":"J. Web Semant"},{"issue":"4","key":"9_CR35_9","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/j.websem.2005.09.005","volume":"3","author":"A Kalyanpur","year":"2005","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.: Debugging unsatisfiable classes in OWL ontologies. J. Web Semant. 3(4), 243\u2013366 (2005)","journal-title":"J. Web Semant."},{"key":"9_CR36_9","first-page":"2040","volume-title":"Consequence-driven reasoning for horn SHIQ ontologies","author":"Y Kazakov","year":"2009","unstructured":"Kazakov, Y.: Consequence-driven reasoning for horn SHIQ ontologies. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena, pp. 2040\u20132045 (2009)"},{"key":"9_CR37_9","unstructured":"Kershenbaum, A., Fokoue, A., Patel, C., Welty, C., Schonberg, E., Cimino, J., Ma, L., Srinivas, K., Schloss, R., Murdock, J. W.: A view of OWL from the field: use cases and experiences. In: Proceedings of the Second OWL Experiences and Directions Workshop, Athens. CEUR, vol. 216. \n                  http:\/\/ceur-ws.org\/\n                  \n                 (2006)"},{"key":"9_CR38_9","first-page":"229","volume-title":"The protege OWL plugin: an open development environment for semantic web applications","author":"H Knublauch","year":"2004","unstructured":"Knublauch, H., Fergerson, R., Noy, N., Musen, M.: The protege OWL plugin: an open development environment for semantic web applications. In: Mcllraith, S. A., Plexousakis, D., van Harmelen, F. (eds.) Proceedings of the Third International Semantic Web Conference (ISWC 2004), Hiroshima. Lecture Notes in Computer Science, vol. 3298, pp. 229\u2013243. Springer (2004)"},{"key":"9_CR39_9","volume-title":"Exploiting fast classification of SNOMED CT for query and integration of health data","author":"M Lawley","year":"2008","unstructured":"Lawley, M.: Exploiting fast classification of SNOMED CT for query and integration of health data. In: Cornet, R., Spackman, K. A. (eds.) Proceedings of the Third International Conference on Knowledge Representation in Medicine (KR-MED 2008), Phoenix. CEUR, vol. 410. CEUR-WS.org (2008)"},{"key":"9_CR40_9","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1111\/j.1467-8640.1987.tb00176.x","volume":"3","author":"HJ Levesque","year":"1987","unstructured":"Levesque, H.J., Brachman, R.J.: Expressiveness and tractability in knowledge representation and reasoning. Comput. Intell. 3, 78\u201393 (1987)","journal-title":"Comput. Intell."},{"key":"9_CR41_9","first-page":"90","volume-title":"Reasoning with concrete domains","author":"C Lutz","year":"1999","unstructured":"Lutz, C.: Reasoning with concrete domains. In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI 1999), Stockholm, pp. 90\u201395 (1999)"},{"key":"9_CR42_9","volume-title":"The complexity of reasoning with concrete domains","author":"C Lutz","year":"2001","unstructured":"Lutz, C.: The complexity of reasoning with concrete domains. Ph.D. thesis, Teaching and Research Area for Theoretical Computer Science, RWTH Aachen (2001)"},{"key":"9_CR43_9","first-page":"667","volume":"23","author":"C Lutz","year":"2004","unstructured":"Lutz, C., Areces, C., Horrocks, I., Sattler, U.: Keys, nominals, and concrete domains. J. Artif. Intell. Res. 23, 667\u2013726 (2004)","journal-title":"J. Artif. Intell. Res."},{"key":"9_CR44_9","first-page":"2070","volume-title":"Conjunctive query answering in the description logic EL using a relational database system","author":"C Lutz","year":"2009","unstructured":"Lutz, C., Toman, D., Wolter, F.: Conjunctive query answering in the description logic EL using a relational database system. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena, pp. 2070\u20132075 (2009)"},{"issue":"3","key":"9_CR45_9","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1145\/122296.122309","volume":"2","author":"R MacGregor","year":"1991","unstructured":"MacGregor, R.: Inside the LOOM description classifier. SIGART Bull. 2(3), 88\u201392 (1991)","journal-title":"SIGART Bull."},{"key":"9_CR46_9","unstructured":"Morgan, A.P., Cafeo, J.A., Godden, K., Lesperance, R.M., Simon, A.M., McGuinness, D.L., Benedict, J.L.: The general motors variation-reduction adviser. AI Mag. 26(2) (2005)"},{"key":"9_CR47_9","first-page":"548","volume-title":"On the properties of metamodeling in OWL","author":"B Motik","year":"2005","unstructured":"Motik, B.: On the properties of metamodeling in OWL. In: Proceedings of the Fourth International Semantic Web Conference (ISWC 2005), Galway. Lecture Notes in Computer Science, vol. 3729, pp. 548\u2013562. Springer (2005)"},{"key":"9_CR48_9","first-page":"296","volume-title":"Representing structured objects using description graphs","author":"B Motik","year":"2008","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Sattler, U.: Representing structured objects using description graphs. In: Proceedings of the 11th Internatinal Conference on Principles of Knowledge Representation and Reasoning (KR 2008), Sydney, pp. 296\u2013306 (2008)"},{"key":"9_CR49_9","first-page":"307","volume-title":"OWL datatypes: design and implementation","author":"B Motik","year":"2008","unstructured":"Motik, B., Horrocks, I.: OWL datatypes: design and implementation. In: Proceedings of the Seventh International Semantic Web Conference (ISWC 2008), Karlsruhe. Lecture Notes in Computer Science, vol. 5318, pp. 307\u2013322. Springer, Berlin (2008)"},{"key":"9_CR50_9","first-page":"549","volume-title":"Query answering for OWL-DL with rules","author":"B Motik","year":"2004","unstructured":"Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. In: Proceedings of the Third International Semantic Web Conference (ISWC 2004), Hiroshima. Lecture Notes in Computer Science, vol. 3298, pp. 549\u2013563. Springer, Berlin (2004)"},{"key":"9_CR51_9","first-page":"67","volume-title":"Optimized reasoning in description logics using hypertableaux","author":"B Motik","year":"2007","unstructured":"Motik, B., Shearer, R., Horrocks, I.: Optimized reasoning in description logics using hypertableaux. In: Proceedings of the 21st International Conference on Automated Deduction (CADE-21), Breman. Lecture Notes in Artificial Intelligence, vol. 4603, pp. 67\u201383. Springer, Berlin (2007)"},{"key":"9_CR52_9","unstructured":"OWL 2 web ontology language conformance, W3C Recommendation. \n                  http:\/\/www.w3.org\/TR\/owl2-conformance\/\n                  \n                 (2009)"},{"key":"9_CR53_9","unstructured":"OWL 2 web ontology language direct semantics,W3C Recommendation. \n                  http:\/\/www.w3.org\/TR\/owl2-direct-semantics\/\n                  \n                 (2009)"},{"key":"9_CR54_9","unstructured":"OWL 2 web ontology language RDF-based semantics, W3C Recommendation. \n                  http:\/\/www.w3.org\/TR\/owl2-rdf-based-semantics\/\n                  \n                 (2009)"},{"key":"9_CR55_9","unstructured":"OWL 2 web ontology language Manchester syntax, W3C Working Group Note. \n                  http:\/\/www.w3.org\/TR\/owl2-manchester-syntax\/\n                  \n                 (2009)"},{"key":"9_CR56_9","unstructured":"OWL 2 web ontology language overview, W3C Recommendation. \n                  http:\/\/www.w3.org\/TR\/owl2-overview\/\n                  \n                 (2009)"},{"key":"9_CR57_9","unstructured":"OWL 2 web ontology language primer, W3C Recommendation. \n                  http:\/\/www.w3.org\/TR\/owl2-primer\/\n                  \n                 (2009)"},{"key":"9_CR58_9","unstructured":"OWL 2 web ontology language profiles, W3C Recommendation. \n                  http:\/\/www.w3.org\/TR\/owl2-profiles\/\n                  \n                 (2009)"},{"key":"9_CR59_9","unstructured":"OWL 2 web ontology language structural specification and functional-style syntax, W3C Recommendation. \n                  http:\/\/www.w3.org\/TR\/owl2-syntax\/\n                  \n                 (2009)"},{"key":"9_CR60_9","unstructured":"Parsia, B., Sattler, U.: OWL 2 web ontology language data range extension: linear equations, W3C Working Group Note. \n                  http:\/\/www. w3.org\/TR\/owl2-dr-linear\/\n                  \n                 (2009)"},{"key":"9_CR61_9","volume-title":"Small can be beautiful in knowledge representation","author":"PF Patel-Schneider","year":"1984","unstructured":"Patel-Schneider, P.F.: Small can be beautiful in knowledge representation. In: Proceedings of the IEEE Workshop on Principles of Knowledge-Based Systems, Denver (1984). An extended version appeared as Fairchild Technical Report 660 and FLAIR Technical Report 37"},{"key":"9_CR62_9","unstructured":"Patel-Schneider, P.F., Hayes, P., Horrocks, I.: OWL web ontology language semantics and abstract syntax, W3C Recommendation. \n                  http:\/\/www.w3.org\/TR\/owl-semantics\/\n                  \n                 (2004)"},{"issue":"3","key":"9_CR63_9","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1145\/122296.122313","volume":"2","author":"PF Patel-Schneider","year":"1991","unstructured":"Patel-Schneider, P.F., McGuiness, D.L., Brachman, R.J., Resnick, L.A., Borgida, A.: The CLASSIC knowledge representation system: guiding principles and implementation rational. SIGART Bull. 2(3), 108\u2013113 (1991)","journal-title":"SIGART Bull."},{"key":"9_CR64_9","unstructured":"Maryland Information and Network Dynamics Lab, Pellet OWL reasoner. \n                  http:\/\/www.mindswap.org\/2003\/pellet\/index.shtml\n                  \n                 (2003)"},{"key":"9_CR65_9","first-page":"133","volume":"10","author":"A Poggi","year":"2008","unstructured":"Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. J. Data Semant. 10, 133\u2013173 (2008)","journal-title":"J. Data Semant."},{"key":"9_CR66_9","unstructured":"Internet Engineering Task Force (IETF): RFC 3987: Internationalized Resource Identifiers (IRIs). Request For Comments (RFC). \n                  http:\/\/www.ietf.org\/rfc\/rfc3987.txt\n                  \n                 (2005)"},{"key":"9_CR67_9","unstructured":"de Bruijn, J.: RIF RDF and OWL compatibility, W3C Recommendation. \n                  http:\/\/www.w3.org\/TR\/rif-rdf-owl\/\n                  \n                 (June 2010)"},{"key":"9_CR68_9","unstructured":"Roberts, R.B., Goldstein, I.P.: The FRL primer. Memo 408, Artificial Intelligence Laboratory, Massachusetts Institute of Technology. \n                  ftp:\/\/publications.ai.mit.edu\/ai-publications\/pdf\/AIM-408.pdf\n                  \n                 (1977)"},{"key":"9_CR69_9","volume-title":"Handbook of Automated Reasoning","year":"2001","unstructured":"Robinson, A., Voronkov, A. (eds.): Handbook of Automated Reasoning. Elsevier, Amsterdam (2001)"},{"key":"9_CR70_9","first-page":"333","volume-title":"Lecture Notes in Artificial Intelligence","author":"U Sattler","year":"1996","unstructured":"Sattler, U.: A concept language extended with different kinds of transitive roles. In: Gorz, G., Holldobler, S. (eds.) Proceedings of the 20th German Annual Conference on Artificial Intelligence (KI 1996), Dresden. Lecture Notes in Artificial Intelligence, vol. 1137, pp. 333\u2013345. Springer, Berlin (1996)"},{"key":"9_CR71_9","first-page":"466","volume-title":"A correspondence theory for terminological logics: preliminary report","author":"K Schild","year":"1991","unstructured":"Schild, K.: A correspondence theory for terminological logics: preliminary report. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAF 1991), Sydney, pp. 466\u2013471 (1991)"},{"key":"9_CR72_9","first-page":"421","volume-title":"Subsumption in KL-ONE is undecidable","author":"M Schmidt-Schaufi","year":"1989","unstructured":"Schmidt-Schaufi, M.: Subsumption in KL-ONE is undecidable. In: Brachman, R.J., Levesque, H.J., Reiter, R. (eds.) Proceedings of the First International Conference on the Principles of Knowledge Representation and Reasoning (KR 1989), Toronto, pp. 421\u2013431. Morgan Kaufmann, Los Altos (1989)"},{"issue":"1","key":"9_CR73_9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M Schmidt-Schaufi","year":"1991","unstructured":"Schmidt-Schaufi, M., Smolka, G.: Attributive concept descriptions with complements. Artif. Intell. 48(1), 1\u201326 (1991)","journal-title":"Artif. Intell."},{"issue":"2","key":"9_CR74_9","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E Sirin","year":"2007","unstructured":"Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: a practical OWL-DL reasoner. J. Web Semant. 5(2), 51\u201353 (2007)","journal-title":"J. Web Semant."},{"key":"9_CR75_9","volume-title":"Managing clinical terminology hierarchies using algorithmic calculation of subsumption: experience with SNOMED-RT","author":"K Spackman","year":"2000","unstructured":"Spackman, K.: Managing clinical terminology hierarchies using algorithmic calculation of subsumption: experience with SNOMED-RT. J. Am. Med. Inform. Assoc. (2000). Fall Symposium Special Issue"},{"key":"9_CR76_9","unstructured":"Spackman, K., Campbell, K., Cote, R.: SNOMED RT: a reference terminology for health care. J. Am. Med. Inf. Assoc. pp. 640\u2013644 (1997). Fall Symposium Supplement"},{"key":"9_CR77_9","unstructured":"Prud\u2019hommeaux, E., Seaborne, A.: SPARQL query language for RDF, W3C Recommendation. \n                  http:\/\/www.w3.org\/TR\/rdf-sparql-query\/\n                  \n                 (Jan 2008)"},{"issue":"2","key":"9_CR78_9","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1093\/bioinformatics\/16.2.184","volume":"16","author":"R Stevens","year":"2000","unstructured":"Stevens, R., Baker, P., Bechhofer, S., Ng, G., Jacoby, A., Paton, N.W., Goble, C.A., Brass, A.: TAMBIS: transparent access to multiple bioinformatics information sources. Bioinformatics 16(2), 184\u2013186 (2000)","journal-title":"Bioinformatics"},{"issue":"2\u20133","key":"9_CR79_9","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.websem.2005.06.001","volume":"3","author":"HJ Horst ter","year":"2005","unstructured":"ter Horst, H.J.: Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. J. Web Semant. 3(2\u20133), 79\u2013115 (2005)","journal-title":"J. Web Semant."},{"key":"9_CR80_9","first-page":"292","volume-title":"FaCT++ description logic reasoner: system description","author":"D Tsarkov","year":"2006","unstructured":"Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: system description. In: Proceedings of the Third International Joint Conference on Automated Reasoning (IJCAR 2006), Seattle. Lecture Notes in Artificial Intelligence, vol. 4130, pp. 292\u2013297. Springer, Berlin (2006)"}],"container-title":["Handbook of Semantic Web Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92913-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,30]],"date-time":"2019-03-30T09:08:54Z","timestamp":1553936934000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92913-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783540929123","9783540929130"],"references-count":80,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92913-0_9","relation":{},"subject":[],"published":{"date-parts":[[2011]]}}}