{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:55:38Z","timestamp":1725512138045},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540699118"},{"type":"electronic","value":"9783540699125"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69912-5_15","type":"book-chapter","created":{"date-parts":[[2007,8,20]],"date-time":"2007-08-20T21:30:41Z","timestamp":1187645441000},"page":"188-201","source":"Crossref","is-referenced-by-count":4,"title":["On the Scalability of Description Logic Instance Retrieval"],"prefix":"10.1007","author":[{"given":"Ralf","family":"M\u00f6ller","sequence":"first","affiliation":[]},{"given":"Volker","family":"Haarslev","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Wessel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","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"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"15_CR2","unstructured":"Baader, F., et al. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"15_CR3","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Automated Deduction \u2013 CADE-20","author":"S. Bechhofer","year":"2005","unstructured":"Bechhofer, S., Horrocks, I., Turi, D.: The OWL instance store: System description. In: Nieuwenhuis, R. (ed.) CADE 2005. LNCS (LNAI), vol.\u00a03632, Springer, Heidelberg (2005)"},{"key":"15_CR4","unstructured":"Calvanese, D., et al.: Data complexity of query answering in description logics. In: Proc. of the 2005 Description Logic Workshop (DL 2005). CEUR Electronic Workshop Proceedings (2005), \n                    \n                      http:\/\/ceur-ws.org\/"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: On the decidability of query containment under constraints. In: Proc. of the 17th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS\u201998), pp. 149\u2013158 (1998)","DOI":"10.1145\/275487.275504"},{"key":"15_CR6","volume-title":"Database Systems: The Complete Boook","author":"H. Garcia-Molina","year":"2092","unstructured":"Garcia-Molina, H., Ullman, J.D., Widom, J.: Database Systems: The Complete Boook. Prentice-Hall, Englewood Cliffs (2092)"},{"key":"15_CR7","unstructured":"Glimm, B., Horrocks, I.: Handling cyclic conjunctive queries. In: Proc. of the 2005 Description Logic Workshop (DL\u00a02005). CEUR Workshop Proceedings, vol.\u00a0147 (2005), \n                    \n                      http:\/\/ceur-ws.org\/"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1007\/978-3-540-39718-2_39","volume-title":"The Semantic Web - ISWC 2003","author":"Y. Guo","year":"2003","unstructured":"Guo, Y., Heflin, J., Pan, Z.: Benchmarking DAML+OIL repositories. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 613\u2013627. Springer, Heidelberg (2003)"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"Y. Guo","year":"2004","unstructured":"Guo, Y., Pan, Z., Heflin, J.: An evaluation of knowledge base systems for large OWL datasets. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, Springer, Heidelberg (2004)"},{"key":"15_CR10","unstructured":"Haarslev, V., M\u00f6ller, R.: Optimization techniques for retrieving resources described in OWL\/RDF documents: First results. In: Ninth International Conference on the Principles of Knowledge Representation and Reasoning, KR 2004, Whistler, BC, Canada, June 2-5, 2004, pp. 163\u2013173 (2004)"},{"key":"15_CR11","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., M\u00f6ller, R., Turhan, A.-Y.: Exploiting pseudo models for tbox and abox reasoning in expressive description logics. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, Springer, Heidelberg (2001)"},{"key":"15_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/3-540-45744-5_4","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., M\u00f6ller, R., Wessel, M.: The Description Logic \n                    \n                      \n                    \n                    $\\mathcal{ALCNH}_{R+}$\n                   Extended with Concrete Domains: A Practically Motivated Approach. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 29\u201344. Springer, Heidelberg (2001)"},{"key":"15_CR13","unstructured":"Horrocks, I.: Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester (1997)"},{"key":"15_CR14","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \n                    \n                      \n                    \n                    $\\mathcal{SROIQ}$\n                  . Technical report, University of Manchester (2006)"},{"key":"15_CR15","unstructured":"Horrocks, I., Tobies, S.: Reasoning with axioms: Theory and practice. In: Proc. of the 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR\u00a02000), pp. 285\u2013296 (2000)"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1007\/10721959_39","volume-title":"Automated Deduction - CADE-17","author":"I. Horrocks","year":"2000","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Reasoning with individuals for the description logic \n                    \n                      \n                    \n                    $\\mathcal{SHIQ}$\n                  . In: McAllester, D. (ed.) CADE 2000. LNCS, vol.\u00a01831, pp. 482\u2013496. Springer, Heidelberg (2000)"},{"key":"15_CR17","unstructured":"Horrocks, I., Tessaris, S.: A conjunctive query language for description logic ABoxes. In: Proc. of the 17th Nat. Conf. on Artificial Intelligence (AAAI\u00a02000), pp. 399\u2013404 (2000)"},{"key":"15_CR18","unstructured":"Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, Univ. Karlsruhe (2006)"},{"key":"15_CR19","unstructured":"Motik, B., Volz, R., Maedche, A.: Optimizing query answering in description logics using disjunctive deductive databases. In: Proceedings of the 10th International Workshop on Knowledge Representation Meets Databases (KRDB-2003), pp. 39\u201350 (2003)"},{"key":"15_CR20","unstructured":"Wessel, M., M\u00f6ller, R.: A high performance semantic web query answering engine. In: Proc. of the 2005 Description Logic Workshop (DL 2005). CEUR Electronic Workshop Proceedings (2005), \n                    \n                      http:\/\/ceur-ws.org\/"},{"key":"15_CR21","unstructured":"Zhang, Z.: Ontology query languages for the semantic web: A performance evaluation. Master\u2019s thesis, University of Georgia (2005)"}],"container-title":["Lecture Notes in Computer Science","KI 2006: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69912-5_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:11:56Z","timestamp":1620015116000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69912-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540699118","9783540699125"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69912-5_15","relation":{},"subject":[]}}