{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:31:54Z","timestamp":1762101114519},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540237983"},{"type":"electronic","value":"9783540304753"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30475-3_38","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T21:22:54Z","timestamp":1285276974000},"page":"549-563","source":"Crossref","is-referenced-by-count":81,"title":["Query Answering for OWL-DL with Rules"],"prefix":"10.1007","author":[{"given":"Boris","family":"Motik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrike","family":"Sattler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rudi","family":"Studer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"The Description Logic Handbook","year":"2003","key":"38_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook, January 2003. Cambridge University Press, Cambridge (2003)"},{"key":"38_CR2","unstructured":"Baader, F., Hanschke, P.: A Scheme for Integrating Concrete Domains into Concept Languages. In: Proc. of the 12th Int\u2019l Joint Conf. on Artificial Intelligence (IJCAI 1991), Sydney, Australia, pp. 452\u2013457 (1991)"},{"key":"38_CR3","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/B978-044450813-3\/50004-7","volume-title":"Handbook of Automated Reasoning","author":"L. Bachmair","year":"2001","unstructured":"Bachmair, L., Ganzinger, H.: Resolution Theorem Proving. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol.\u00a0I, ch. 2, pp. 19\u201399. Elsevier Science, Amsterdam (2001)"},{"issue":"2","key":"38_CR4","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1006\/inco.1995.1131","volume":"121","author":"L. Bachmair","year":"1995","unstructured":"Bachmair, L., Ganzinger, H., Lynch, C., Snyder, W.: Basic Paramodulation. Information and Computation\u00a0121(2), 172\u2013192 (1995)","journal-title":"Information and Computation"},{"issue":"3","key":"38_CR5","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"},{"issue":"3","key":"38_CR6","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1145\/261124.261126","volume":"22","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Gottlob, G., Mannila, H.: Disjunctive Datalog. ACM Transactions on. Database Systems\u00a022(3), 364\u2013418 (1997)","journal-title":"Database Systems"},{"key":"38_CR7","unstructured":"Gr\u00e4del, E., Otto, M., Rosen, E.: Two-Variable Logic with Counting is Decidable. In: Proc. of 12th IEEE Symposium on Logic in Computer Science LICS 1997, Warsaw, Poland (1997)"},{"key":"38_CR8","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/775152.775160","volume-title":"Proc. of the Twelfth Int\u2019l World Wide Web Conf. (WWW 2003)","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: Proc. of the Twelfth Int\u2019l World Wide Web Conf (WWW 2003), pp. 48\u201357. ACM, New York (2003)"},{"key":"38_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/3-540-45744-5_59","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, pp. 701\u2013706. Springer, Heidelberg (2001)"},{"key":"38_CR10","first-page":"636","volume-title":"Proc. 6th Int\u2019l. Conf. on Principles of Knowledge Representation and Reasoning (KR 1998)","author":"I. Horrocks","year":"1998","unstructured":"Horrocks, I.: Using an Expressive Description Logic: FaCT or Fiction? In: Proc. 6th Int\u2019l. Conf. on Principles of Knowledge Representation and Reasoning (KR 1998), pp. 636\u2013647. Morgan Kaufmann Publishers, San Francisco (1998)"},{"key":"38_CR11","volume-title":"Proc. of the Thirteenth Int\u2019l World Wide Web Conf.(WWW 2004)","author":"I. Horrocks","year":"2004","unstructured":"Horrocks, I., Patel-Schneider, P.F.: A Proposal for an OWL Rules Language. In: Proc. of the Thirteenth Int\u2019l World Wide Web Conf(WWW 2004), ACM Press, New York (2004)"},{"key":"38_CR12","first-page":"199","volume-title":"Proc. of the 17th Int\u2019l Joint Conf. on Artificial Intelligence (IJCAI 2001)","author":"I. Horrocks","year":"2001","unstructured":"Horrocks, I., Sattler, U.: Ontology Reasoning in the SHOQ(D) Description Logic. In: Nebel, B. (ed.) Proc. of the 17th Int\u2019l Joint Conf. on Artificial Intelligence (IJCAI 2001), pp. 199\u2013204. Morgan Kaufmann, San Francisco (2001)"},{"issue":"3","key":"38_CR13","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\u2013263 (2000)","journal-title":"Logic Journal of the IGPL"},{"key":"38_CR14","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Reasoning for Description Logics around SHIQ in a Resolution Framework. Technical Report 3-8-04\/04, FZI, Karlsruhe, Germany (April 2004), http:\/\/www.fzi.de\/wim\/publikationen.php?id=1172"},{"key":"38_CR15","volume-title":"Proc. of the 9th Conference on Knowledge Representation and Reasoning (KR 2004)","author":"U. Hustadt","year":"2004","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Reducing SHIQ\u2212 Description Logic to Disjunctive Datalog Programs. In: Proc. of the 9th Conference on Knowledge Representation and Reasoning (KR 2004), June 2004, AAAI Press, Menlo Park (2004)"},{"issue":"1-2","key":"38_CR16","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":"38_CR17","doi-asserted-by":"crossref","unstructured":"Lutz, C.: Description Logics with Concrete Domains\u2014A Survey. In: Advances in Modal Logics, vol.\u00a04, King\u2019s College Publications (2003)","DOI":"10.25368\/2022.143"},{"key":"38_CR18","unstructured":"Motik, B., Maedche, A., Volz, R.: Optimizing Query Answering in Description Logics using Disjunctive Deductive Databases. In: 10th Int\u2019l Workshop on Knowledge Representation meets Databases (KRDB 2003), Hamburg, Germany, September 15-16 (2003)"},{"key":"38_CR19","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/B978-044450813-3\/50008-4","volume-title":"Handbook of Automated Reasoning","author":"A. Nonnengart","year":"2001","unstructured":"Nonnengart, A., Weidenbach, C.: Computing Small Clause Normal Forms. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol.\u00a0I, ch. 6, pp. 335\u2013367. Elsevier Science, Amsterdam (2001)"},{"key":"38_CR20","unstructured":"Patel-Schneider, P.F., Hayes, P., Horrocks, I., van Harmelen, F.: OWL Web Ontology Language; Semantics and Abstract Syntax, W3C Candidate Recommendation (November 2002), http:\/\/www.w3.org\/TR\/owl-semantics\/"},{"key":"38_CR21","unstructured":"Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH Aachen, Germany (2001)"},{"key":"38_CR22","series-title":"DIMACS Series in Discrete Mathematics and Theoretical Computer Science","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1090\/dimacs\/031\/05","volume-title":"Descriptive Complexity and Finite Models","author":"M. Vardi","year":"1997","unstructured":"Vardi, M.: Why is modal logic so robustly decidable? In: Immerman, N., Kolaitis, P. (eds.) Descriptive Complexity and Finite Models. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol.\u00a031, pp. 149\u2013184. AMS, Providence (1997)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30475-3_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,3]],"date-time":"2023-06-03T13:15:17Z","timestamp":1685798117000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30475-3_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540237983","9783540304753"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30475-3_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}