{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T18:11:56Z","timestamp":1725732716833},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642387081"},{"type":"electronic","value":"9783642387098"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","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-41335-3_45","type":"book-chapter","created":{"date-parts":[[2013,10,15]],"date-time":"2013-10-15T16:14:14Z","timestamp":1381853654000},"page":"720-736","source":"Crossref","is-referenced-by-count":3,"title":["Complete Query Answering over Horn Ontologies Using a Triple Store"],"prefix":"10.1007","author":[{"given":"Yujiao","family":"Zhou","sequence":"first","affiliation":[]},{"given":"Yavor","family":"Nenov","sequence":"additional","affiliation":[]},{"given":"Bernardo","family":"Cuenca Grau","sequence":"additional","affiliation":[]},{"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"45_CR1","unstructured":"Acciarri, A., Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Palmieri, M., Rosati, R.: Quonto: Querying ontologies. In: AAAI. pp. 1670\u20131671 (2005)"},{"key":"45_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-35176-1_1","volume-title":"The Semantic Web \u2013 ISWC 2012","author":"A. Armas Romero","year":"2012","unstructured":"Armas Romero, A., Cuenca Grau, B., Horrocks, I.: MORe: Modular combination of owl reasoners for ontology classification. In: Cudr\u00e9-Mauroux, P., et al. (eds.) ISWC 2012, Part I. LNCS, vol.\u00a07649, pp. 1\u201316. Springer, Heidelberg (2012)"},{"issue":"1","key":"45_CR3","doi-asserted-by":"crossref","first-page":"33","DOI":"10.3233\/SW-2011-0026","volume":"2","author":"B. Bishop","year":"2011","unstructured":"Bishop, B., Kiryakov, A., Ognyanoff, D., Peikov, I., Tashev, Z., Velkov, R.: OWLim: A family of scalable semantic repositories. Semantic Web J.\u00a02(1), 33\u201342 (2011)","journal-title":"Semantic Web J."},{"key":"45_CR4","doi-asserted-by":"crossref","unstructured":"Bry, F., Eisinger, N., Eiter, T., Furche, T., Gottlob, G., Ley, C., Linse, B., Pichler, R., Wei, F.: Foundations of rule-based query answering. In: RR. pp. 1\u2013153 (2007)","DOI":"10.1007\/978-3-540-74615-7_1"},{"key":"45_CR5","doi-asserted-by":"crossref","unstructured":"Cali, A., Gottlob, G., Lukasiewicz, T., Marnette, B., Pieris, A.: Datalog+\/-: A family of logical knowledge representation and query languages for new applications. In: LICS (2010)","DOI":"10.1109\/LICS.2010.27"},{"key":"45_CR6","unstructured":"Cuenca Grau, B., Horrocks, I., Kr\u00f6tzsch, M., Kupke, C., Magka, D., Motik, B., Wang, Z.: Acyclicity conditions and their application to query answering in description logics. In: Proc. of the 13th Int. Conf. on Principles of Knowledge Representation and Reasoning, KR\u00a02012 (2012), download\/2012\/CHKKMMW12a.pdf"},{"key":"45_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/978-3-540-88564-1_26","volume-title":"The Semantic Web - ISWC 2008","author":"J. Dolby","year":"2008","unstructured":"Dolby, J., Fokoue, A., Kalyanpur, A., Ma, L., Schonberg, E., Srinivas, K., Sun, X.: Scalable grounded conjunctive query evaluation over large and expressive knowledge bases. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 403\u2013418. Springer, Heidelberg (2008)"},{"key":"45_CR8","unstructured":"Eiter, T., Ortiz, M., \u0160imkus, M., Tran, T.K., Xiao, G.: Query rewriting for horn-shiq plus rules. In: AAAI (2012)"},{"key":"45_CR9","doi-asserted-by":"crossref","unstructured":"Haarslev, V., M\u00f6ller, R.: RACER system description. J. of Automated Reasoning (JAR), 701\u2013705 (2001)","DOI":"10.1007\/3-540-45744-5_59"},{"issue":"3","key":"45_CR10","doi-asserted-by":"crossref","first-page":"267","DOI":"10.3233\/SW-2011-0032","volume":"3","author":"V. Haarslev","year":"2012","unstructured":"Haarslev, V., Hidde, K., M\u00f6ller, R., Wessel, M.: The RacerPro knowledge representation and reasoning system. Semantic Web\u00a03(3), 267\u2013277 (2012)","journal-title":"Semantic Web"},{"issue":"3","key":"45_CR11","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s10817-007-9080-3","volume":"39","author":"U. Hustadt","year":"2007","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Reasoning in Description Logics by a Reduction to Disjunctive Datalog. Journal of Automated Reasoning\u00a039(3), 351\u2013384 (2007)","journal-title":"Journal of Automated Reasoning"},{"key":"45_CR12","unstructured":"Imprialou, M., Stoilos, G., Grau, B.: Benchmarking ontology-based query rewriting systems. In: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence. AAAI (2012)"},{"key":"45_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-642-15280-1_40","volume-title":"Knowledge Science, Engineering and Management","author":"A. Kaplunova","year":"2010","unstructured":"Kaplunova, A., M\u00f6ller, R., Wandelt, S., Wessel, M.: Towards scalable instance retrieval over ontologies. In: Bi, Y., Williams, M.-A. (eds.) KSEM 2010. LNCS, vol.\u00a06291, pp. 436\u2013448. Springer, Heidelberg (2010)"},{"key":"45_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-642-35176-1_15","volume-title":"The Semantic Web \u2013 ISWC 2012","author":"I. Kollia","year":"2012","unstructured":"Kollia, I., Glimm, B.: Cost based query ordering over OWL ontologies. In: Cudr\u00e9-Mauroux, P., et al. (eds.) ISWC 2012, Part I. LNCS, vol.\u00a07649, pp. 231\u2013246. Springer, Heidelberg (2012)"},{"key":"45_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/978-3-642-21034-1_26","volume-title":"The Semantic Web: Research and Applications","author":"I. Kollia","year":"2011","unstructured":"Kollia, I., Glimm, B., Horrocks, I.: SPARQL query answering over OWL ontologies. In: Antoniou, G., Grobelnik, M., Simperl, E., Parsia, B., Plexousakis, D., De Leenheer, P., Pan, J. (eds.) ESWC 2011, Part I. LNCS, vol.\u00a06643, pp. 382\u2013396. Springer, Heidelberg (2011)"},{"issue":"1","key":"45_CR16","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1613\/jair.2811","volume":"36","author":"B. Motik","year":"2009","unstructured":"Motik, B., Shearer, R., Horrocks, I.: Hypertableau reasoning for description logics. J. of Artificial Intelligence Research (JAIR)\u00a036(1), 165\u2013228 (2009)","journal-title":"J. of Artificial Intelligence Research (JAIR)"},{"key":"45_CR17","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 Web Ontology Language Profiles. In: W3C Recommendation, 2nd edn. (2012)"},{"key":"45_CR18","unstructured":"Pan, J., Thomas, E., Zhao, Y.: Completeness guaranteed approximations for OWL-DL query answering. DL 477 (2009)"},{"key":"45_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/978-3-642-04930-9_31","volume-title":"The Semantic Web - ISWC 2009","author":"H. P\u00e9rez-Urbina","year":"2009","unstructured":"P\u00e9rez-Urbina, H., Horrocks, I., Motik, B.: Efficient query answering for OWL 2. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol.\u00a05823, pp. 489\u2013504. Springer, Heidelberg (2009)"},{"key":"45_CR20","unstructured":"Rodriguez-Muro, M., Calvanese, D.: High performance query answering over DL-Lite ontologies. In: KR (2012)"},{"key":"45_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/978-3-642-30284-8_31","volume-title":"The Semantic Web: Research and Applications","author":"R. Rosati","year":"2012","unstructured":"Rosati, R.: Prexto: Query rewriting under extensional constraints in DL-Lite. In: Simperl, E., Cimiano, P., Polleres, A., Corcho, O., Presutti, V. (eds.) ESWC 2012. LNCS, vol.\u00a07295, pp. 360\u2013374. Springer, Heidelberg (2012)"},{"issue":"3","key":"45_CR22","doi-asserted-by":"publisher","first-page":"586","DOI":"10.1145\/291889.291897","volume":"20","author":"K. Sagonas","year":"1998","unstructured":"Sagonas, K., Swift, T.: An abstract machine for tabled execution of fixed-order stratified logic programs. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a020(3), 586\u2013634 (1998)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"issue":"2","key":"45_CR23","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 Semantics (JWS)\u00a05(2), 51\u201353 (2007)","journal-title":"J. Web Semantics (JWS)"},{"key":"45_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/3-540-16492-8_66","volume-title":"Third International Conference on Logic Programming","author":"H. Tamaki","year":"1986","unstructured":"Tamaki, H., Sato, T.: OLD resolution with tabulation. In: Shapiro, E. (ed.) ICLP 1986. LNCS, vol.\u00a0225, pp. 84\u201398. Springer, Heidelberg (1986)"},{"key":"45_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-540-88737-9_13","volume-title":"Web Reasoning and Rule Systems","author":"T. Tserendorj","year":"2008","unstructured":"Tserendorj, T., Rudolph, S., Kr\u00f6tzsch, M., Hitzler, P.: Approximate OWL-reasoning with screech. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol.\u00a05341, pp. 165\u2013180. Springer, Heidelberg (2008)"},{"key":"45_CR26","doi-asserted-by":"crossref","unstructured":"Wu, Z., Eadon, G., Das, S., Chong, E.I., Kolovski, V., Annamalai, M., Srinivasan, J.: Implementing an inference engine for RDFS\/OWL constructs and user-defined rules in Oracle. In: ICDE, pp. 1239\u20131248 (2008)","DOI":"10.1109\/ICDE.2008.4497533"},{"key":"45_CR27","doi-asserted-by":"crossref","unstructured":"Zhou, Y., Cuenca Grau, B., Horrocks, I., Wu, Z., Banerjee, J.: Making the Most of your Triple Store: Query Answering in OWL 2 Using an RL Reasoner. In: WWW (2013)","DOI":"10.1145\/2488388.2488525"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41335-3_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,6]],"date-time":"2020-08-06T00:54:13Z","timestamp":1596675253000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41335-3_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642387081","9783642387098"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41335-3_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}