{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:33:45Z","timestamp":1725471225273},"reference-count":20,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387298153"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-34347-1_12","type":"book-chapter","created":{"date-parts":[[2006,9,27]],"date-time":"2006-09-27T10:16:35Z","timestamp":1159352195000},"page":"171-187","source":"Crossref","is-referenced-by-count":1,"title":["DatalogDL: Datalog Rules Parameterized by Description Logics"],"prefix":"10.1007","author":[{"given":"Jing","family":"Mei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harold","family":"Boley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Virendrakumar C.","family":"Bhavsar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zuoquan","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Hybrid Rules in 00 jDREW. http:\/\/www.jdrew.org\/oojdrew\/exa\/hybridrules.html."},{"key":"12_CR2","unstructured":"Grigoris Antoniou, Carlos Viegas Damasio, Benjamin N. Grosof, Ian Horrocks, Michael Kifer, Jan Maluszynski, and Peter F. Patel-Schneider (2005) Combining Rules and Ontologies-A survey. http:\/\/rewerse.net\/deliverables\/m12\/i3-d3.pdf."},{"key":"12_CR3","unstructured":"Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider (2003) The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press."},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Marcel Ball, Harold Boley, David Hirtle, Jing Mei, and Bruce Spencer (2005) The OO jDREW Reference Implementation of RuleML. In: International Conference on Rules and Rule Markup Languages for the Semantic Web, pp 218\u2013223.","DOI":"10.1007\/11580072_20"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Evgeny Dantsin, Thomas Eiter, Georg Gottlob, and Andrei Voronkov (2001) Complexity and Expressive Power of Logic Programming. ACM Computing Surveys, pp 374\u2013425.","DOI":"10.1145\/502807.502810"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf (1998) AL-log: Integrating Datalog and Description Logics. Jour nal of Intelligent Information Systems, pp 227\u2013252.","DOI":"10.1023\/A:1008687430626"},{"key":"12_CR7","unstructured":"Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits (2004) Combining Answer Set Programming with Description Logics for the Semantic Web. In: The Ninth International Conference on the Prin ciples of Knowledge Representation and Reasoning, pp 141\u2013151."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Benjamin N. Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker (2003) Description Logic Programs: Combining Logic Programs with De scription Logic. In: The Twelfth International World Wide Web Conference, pp 48\u201357.","DOI":"10.1145\/775152.775160"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Volker Haarslev and Ralf Mller (2001) RACER System Description. In: International Joint Conference on Automated Reasoning, pp 701\u2013706.","DOI":"10.1007\/3-540-45744-5_59"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, and James A. Hendler (2005) Semantic Web Architecture: Stack or Two Towers? In: Workshop on Principles and Practice of Semantic Web Reasoning, pp 37\u201341.","DOI":"10.1007\/11552222_4"},{"key":"12_CR11","unstructured":"Ian Horrocks, Peter F. Patel-Schneider, Harold Boley, Said Tabet, Benjamin N. Grosof, and Mike Dean (2004) Semantic Web Rule Language. http:\/\/www.w3.org\/Submission\/2004\/SUBM-SWRL-20040521\/."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Ian Horrocks and Sergio Tessaris (2002) Querying the Semantic Web: a Formal Approach. In: Workshop on Principles and Practice of Semantic Web Reasoning, pp 177\u2013191.","DOI":"10.1007\/3-540-48005-6_15"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Michael Kifer, Jos de Bruijn, Harold Boley, and Dieter Fensel (2005) A Realistic Architecture for the Semantic Web. In: International Conference on Rules and Rule Markup Languages for the Semantic Web, pp 17\u201329.","DOI":"10.1007\/11580072_3"},{"key":"12_CR14","unstructured":"Alon Y. Levy and Marie-Christine Rousset (1996) CARIN: A Representation Language Combining Horn Rules and Description Logics. In: The Twelfth European Conference on Artificial Intelligence, pp 323\u2013327."},{"key":"12_CR15","unstructured":"Jie Li, Harold Boley, Virendrakumar C. Bhavsar, and Jing Mei (2006) Expert Finding for eCollaboration Using FOAF with RuleML Rules. In: The Montreal Conference on eTechnologies, May 2006. To Appear."},{"key":"12_CR16","unstructured":"John W. Lloyd (1987) Foundations of Logic Programming (second, ex tended edition). Springer series in symbolic computation."},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Boris Motik, Ulrike Sattler, and Rudi Studer (2005) Query Answering for OWL-DL with Rules. Journal of Web Semantics, pp 41\u201360.","DOI":"10.1016\/j.websem.2005.05.001"},{"key":"12_CR18","unstructured":"Peter F. Patel-Schneider, Patrick Hayes, and Ian Horrocks (2004) OWL Web Ontology Language Semantics and Abstract Syntax. http:\/\/www.w3.org\/TR\/owl-absyn\/."},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Riccardo Rosati (2005) On the decidability and complexity of integrating ontologies and rules. Journal of Web Semantics, pp 61\u201373.","DOI":"10.1016\/j.websem.2005.05.002"},{"key":"12_CR20","unstructured":"W3C (2005) Rule Interchange Format Working Group. http:\/\/www.w3.org\/2005\/rules\/wg.html."}],"container-title":["Semantic Web and Beyond","Canadian Semantic Web"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-34347-1_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:44:22Z","timestamp":1605649462000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-34347-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387298153"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-34347-1_12","relation":{},"subject":[]}}