{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:46:44Z","timestamp":1742914004356,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642021206"},{"type":"electronic","value":"9783642021213"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02121-3_27","type":"book-chapter","created":{"date-parts":[[2009,5,20]],"date-time":"2009-05-20T10:58:54Z","timestamp":1242817134000},"page":"338-352","source":"Crossref","is-referenced-by-count":2,"title":["Hybrid Reasoning with Forest Logic Programs"],"prefix":"10.1007","author":[{"given":"Cristina","family":"Feier","sequence":"first","affiliation":[]},{"given":"Stijn","family":"Heymans","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The DL Handbook: Theory, Implementation, and Applications (2003)"},{"key":"27_CR2","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1023\/A:1008687430626","volume":"10","author":"F. Donini","year":"1998","unstructured":"Donini, F., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating Datalog and Description Logics. J. of Intelligent and Cooperative Information Systems\u00a010, 227\u2013252 (1998)","journal-title":"J. of Intelligent and Cooperative Information Systems"},{"issue":"12-13","key":"27_CR3","doi-asserted-by":"publisher","first-page":"1495","DOI":"10.1016\/j.artint.2008.04.002","volume":"172","author":"T. Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artificial Intelligence\u00a0172(12-13), 1495\u20131539 (2008)","journal-title":"Artificial Intelligence"},{"key":"27_CR4","unstructured":"Feier, C., Heymans, S.: Hybrid reasoning with forest logic programs. Technical Report Infsys Research Report 184-08-14, KBS Group, Vienna University of Technology, Austria (December 2008), www.kr.tuwien.ac.at\/staff\/heymans\/priv\/projects\/fwf-doasp\/eswc2009-tr.pdf"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Feier, C., Heymans, S.: A sound and complete algorithm for simple conceptual logic programs. In: Proc. of ALPSWS 2008 (2008)","DOI":"10.1007\/978-3-642-05082-4_5"},{"key":"27_CR6","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Proc. of ICLP 1988, pp. 1070\u20131080 (1988)"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proc. of the World Wide Web Conference (WWW), pp. 48\u201357 (2003)","DOI":"10.1145\/775152.775160"},{"issue":"3","key":"27_CR8","first-page":"411","volume":"8","author":"S. Heymans","year":"2008","unstructured":"Heymans, S., de Bruijn, J., Predoiu, L., Feier, C., Van Nieuwenborgh, D.: Guarded hybrid knowledge bases. TPLP\u00a08(3), 411\u2013429 (2008)","journal-title":"TPLP"},{"issue":"1\u20132","key":"27_CR9","first-page":"103","volume":"47","author":"S. Heymans","year":"2006","unstructured":"Heymans, S., Van Nieuwenborgh, D., Vermeir, D.: Conceptual logic programs. Annals of Mathematics and Artificial Intelligence (Special Issue on Answer Set Programming)\u00a047(1\u20132), 103\u2013137 (2006)","journal-title":"Annals of Mathematics and Artificial Intelligence (Special Issue on Answer Set Programming)"},{"issue":"1","key":"27_CR10","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/j.jal.2006.02.001","volume":"5","author":"S. Heymans","year":"2007","unstructured":"Heymans, S., Van Nieuwenborgh, D., Vermeir, D.: Open answer set programming for the semantic web. J. of Applied Logic\u00a05(1), 144\u2013169 (2007)","journal-title":"J. of Applied Logic"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"Heymans, S., Van Nieuwenborgh, D., Vermeir, D.: Open answer set programming with guarded programs. ACM Trans. on Comp. Logic\u00a09(4) (October 2008)","DOI":"10.1145\/1380572.1380575"},{"key":"27_CR12","doi-asserted-by":"crossref","first-page":"723","DOI":"10.1145\/988672.988771","volume-title":"Proc. of the World Wide Web Conference (WWW)","author":"I. Horrocks","year":"2004","unstructured":"Horrocks, I., Patel-Schneider, P.F.: A proposal for an OWL rules language. In: Proc. of the World Wide Web Conference (WWW), pp. 723\u2013731. ACM, New York (2004)"},{"key":"27_CR13","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: Description logic rules. In: Proc. 18th European Conf. on Artificial Intelligence (ECAI 2008), pp. 80\u201384 (2008)"},{"key":"27_CR14","unstructured":"Levy, A.Y., Rousset, M.: CARIN: A Representation Language Combining Horn Rules and Description Logics. In: Proc. of ECAI 1996, pp. 323\u2013327 (1996)"},{"key":"27_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/11926078_36","volume-title":"The Semantic Web - ISWC 2006","author":"B. Motik","year":"2006","unstructured":"Motik, B., Horrocks, I., Rosati, R., Sattler, U.: Can OWL and logic programming live together happily ever after? In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol.\u00a04273, pp. 501\u2013514. Springer, Heidelberg (2006)"},{"key":"27_CR16","unstructured":"Motik, B., Rosati, R.: Closing Semantic Web Ontologies. Technical report (2006)"},{"issue":"1","key":"27_CR17","doi-asserted-by":"publisher","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"},{"issue":"1","key":"27_CR18","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.websem.2005.05.002","volume":"3","author":"R. Rosati","year":"2005","unstructured":"Rosati, R.: On the decidability and complexity of integrating ontologies and rules. Web Semantics\u00a03(1), 41\u201360 (2005)","journal-title":"Web Semantics"},{"key":"27_CR19","unstructured":"Rosati, R.: DL+log: Tight integration of description logics and disjunctive datalog. In: Proc. of the Int. Conf. on Principles of KR and Reas (KR), pp. 68\u201378 (2006)"},{"key":"27_CR20","doi-asserted-by":"crossref","unstructured":"Rosat, R.: On combining description logic ontologies and nonrecursive datalog rules. In: Proc. of the 2nd Int. Conf. on Web Reasoning and Rule Systems (2008)","DOI":"10.1007\/978-3-540-88737-9_3"},{"key":"27_CR21","unstructured":"Smith, M., Welty, C., McGuinness, D.: OWL Web Ontology Language Guide (2004), http:\/\/www.w3.org\/TR\/owl-guide\/"},{"key":"27_CR22","unstructured":"Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH-Aachen (2001)"},{"key":"27_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"628","DOI":"10.1007\/BFb0055090","volume-title":"Automata, Languages and Programming","author":"M.Y. Vardi","year":"1998","unstructured":"Vardi, M.Y.: Reasoning about the past with two-way automata. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, p. 628. Springer, Heidelberg (1998)"},{"key":"27_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/978-3-540-75560-9_37","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"M. \u0160imkus","year":"2007","unstructured":"\u0160imkus, M., Eiter, T.: $\\mathbb{FDNC}$ : Decidable non-monotonic disjunctive logic programs with function symbols. In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. LNCS, vol.\u00a04790, pp. 514\u2013530. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web: Research and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02121-3_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T07:32:22Z","timestamp":1684999942000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02121-3_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642021206","9783642021213"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02121-3_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}