{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T00:31:38Z","timestamp":1760488298094},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540490296"},{"type":"electronic","value":"9783540490555"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11926078_32","type":"book-chapter","created":{"date-parts":[[2006,11,3]],"date-time":"2006-11-03T01:46:02Z","timestamp":1162518362000},"page":"445-458","source":"Crossref","is-referenced-by-count":8,"title":["Ontology Query Answering on Databases"],"prefix":"10.1007","author":[{"given":"Jing","family":"Mei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yue","family":"Pan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","unstructured":"The XSB System Version 2.7.1, vol. 1: Programmer\u2019s Manual"},{"key":"32_CR2","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","author":"F. Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"Bancilhon, F., Maier, D., Sagiv, Y., Ullman, J.D.: Magic Sets and Other Strange Ways to Implement Logic Programs. In: Proceedings of the 5th ACM Symposium on Principles of Database Systems, pp. 1\u201315 (1986)","DOI":"10.1145\/6012.15399"},{"key":"32_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/11532231_13","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, vol.\u00a03632, pp. 177\u2013181. Springer, Heidelberg (2005)"},{"key":"32_CR5","unstructured":"Bry, F., Eisinger, N., Schutz, H., Torge, S.: SIC: Satisfiability Checking for Integrity Constraints. In: Proceeding of Deductive Databases and Logic Programming, pp. 25\u201336 (1998)"},{"key":"32_CR6","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: Tractable Description Logics for Ontologies. In: Proc. of the 20th Nat. Conf. on Artificial Intelligence, pp. 602\u2013607 (2005)"},{"issue":"3","key":"32_CR7","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E. Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and Expressive Power of Logic Programming. ACM Computing Surveys\u00a033(3), 374\u2013425 (2001)","journal-title":"ACM Computing Surveys"},{"key":"32_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11811220_1","volume-title":"Knowledge Science, Engineering and Management","author":"J. Bruijn de","year":"2006","unstructured":"de Bruijn, J., Eiter, T., Polleres, A., Tompits, H.: On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules. In: Lang, J., Lin, F., Wang, J. (eds.) KSEM 2006. LNCS, vol.\u00a04092, pp. 1\u201322. Springer, Heidelberg (2006)"},{"key":"32_CR9","volume-title":"Proceedings of the 14th International World Wide Web Conference","author":"J. Bruijn de","year":"2005","unstructured":"de Bruijn, J., Polleres, A., Lara, R., Fensel, D.: OWL DL vs. OWL Flight: Conceptual Modeling and Reasoning on the Semantic Web. In: Proceedings of the 14th International World Wide Web Conference, China, Japan. ACM, New York (2005)"},{"issue":"2","key":"32_CR10","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/505372.505373","volume":"3","author":"F.M. Donini","year":"2002","unstructured":"Donini, F.M., Nardi, D., Rosati, R.: Description Logics of Minimal Knowledge and Negation as Failure. ACM Transactions on Computational Logic\u00a03(2), 177\u2013225 (2002)","journal-title":"ACM Transactions on Computational Logic"},{"key":"32_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/11762256_22","volume-title":"The Semantic Web: Research and Applications","author":"T. Eiter","year":"2006","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 273\u2013287. Springer, Heidelberg (2006)"},{"key":"32_CR12","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/775152.775160","volume-title":"Proceedings of the 12th International World Wide Web Conference","author":"B.N. 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, pp. 48\u201357. ACM Press, New York (2003)"},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions. LTCS-Report 99-08, RWTH Aachen, Germany (1999)","DOI":"10.25368\/2022.94"},{"key":"32_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/3-540-48005-6_15","volume-title":"The Semantic Web - ISWC 2002","author":"I. Horrocks","year":"2002","unstructured":"Horrocks, I., Tessaris, S.: Querying the Semantic Web: a Formal Approach. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, pp. 177\u2013191. Springer, Heidelberg (2002)"},{"key":"32_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/11581116_19","volume-title":"Web Information Systems Engineering \u2013 WISE 2005 Workshops","author":"A. Kiryakov","year":"2005","unstructured":"Kiryakov, A., Ognyanov, D., Manov, D.: OWLIM: A Pragmatic Semantic Repository for OWL. In: Dean, M., Guo, Y., Jun, W., Kaschek, R., Krishnaswamy, S., Pan, Z., Sheng, Q.Z. (eds.) WISE-WS 2005. LNCS, vol.\u00a03807, pp. 182\u2013192. Springer, Heidelberg (2005)"},{"key":"32_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/11762256_12","volume-title":"The Semantic Web: Research and Applications","author":"L. Ma","year":"2006","unstructured":"Ma, L., Yang, Y., Qiu, Z., Xie, G., Pan, Y., Liu, S.: Towards A Complete OWL Ontology Benchmark. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 124\u2013139. Springer, Heidelberg (2006)"},{"key":"32_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1007\/11576259_65","volume-title":"Parallel and Distributed Processing and Applications - ISPA 2005 Workshops","author":"J. Mei","year":"2005","unstructured":"Mei, J., Bontas, E.P., Lin, Z.: OWL2Jess: A Transformational Implementation of the OWL Semantics. In: Chen, G., Pan, Y., Guo, M., Lu, J. (eds.) ISPA-WS 2005. LNCS, vol.\u00a03759, pp. 599\u2013608. Springer, Heidelberg (2005)"},{"key":"32_CR18","unstructured":"Motik, B., Rosati, R.: Closing Semantic Web Ontologies. Technical report, University of Karlsruhe (May 2006), http:\/\/kaon2.semanticweb.org\/"},{"issue":"1","key":"32_CR19","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.websem.2005.05.001","volume":"3","author":"B. Motik","year":"2005","unstructured":"Motik, B., Sattler, U., Studer, R.: Query Answering for OWL-DL with Rules. Journal of Web Semantics\u00a03(1), 41\u201360 (2005)","journal-title":"Journal of Web Semantics"},{"key":"32_CR20","doi-asserted-by":"crossref","unstructured":"Pan, Z., Heflin, J.: DLDB: Extending Relational Databases to Support Semantic Web Queries. In: Practical and Scalable Semantic Systems (2003)","DOI":"10.21236\/ADA451847"},{"issue":"2","key":"32_CR21","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BF01228878","volume":"3","author":"K. Ramamohanarao","year":"1994","unstructured":"Ramamohanarao, K., Harland, J.: An introduction to deductive database languages and systems. The VLDB Journal\u00a03(2), 107\u2013122 (1994)","journal-title":"The VLDB Journal"},{"key":"32_CR22","unstructured":"Ruckhaus, E., Ruiz, E., Vidal, M.-E.: Query Evaluation and Optimization in the Semantic Web. In: Proc. of ALPSWS (2006)"},{"key":"32_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-540-24609-1_24","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Swift","year":"2003","unstructured":"Swift, T.: Deduction in Ontologies via ASP. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS, vol.\u00a02923, pp. 275\u2013288. Springer, Heidelberg (2003)"},{"key":"32_CR24","unstructured":"W3C. OWL: Web Ontology Language. http:\/\/www.w3.org\/TR\/owl-absyn\/"},{"key":"32_CR25","unstructured":"W3C. Resource Description Framework (RDF): Concepts and Abstract Syntax, http:\/\/www.w3.org\/TR\/rdf-concepts\/"},{"key":"32_CR26","unstructured":"W3C. Rule Interchange Format WG, http:\/\/www.w3.org\/2005\/rules\/wg"},{"key":"32_CR27","unstructured":"W3C. SPARQL Query Language, http:\/\/www.w3.org\/TR\/rdf-sparql-query\/"},{"key":"32_CR28","unstructured":"W3C. SWRL: A Semantic Web Rule Language Combining OWL and RuleML, http:\/\/www.w3.org\/Submission\/SWRL\/"},{"key":"32_CR29","doi-asserted-by":"crossref","unstructured":"Zhou, J., Ma, L., Liu, Q., Zhang, L., Yu, Y., Pan, Y.: Minerva: A Scalable OWL Ontology Storage and Inference System. In: Proceedings of Asia Semantic Web Conference (to appear, 2006)","DOI":"10.1007\/11836025_42"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web - ISWC 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11926078_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T16:44:26Z","timestamp":1683650666000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11926078_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540490296","9783540490555"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/11926078_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}