{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T11:30:40Z","timestamp":1744198240906},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878803"},{"type":"electronic","value":"9783540878810"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-87881-0_31","type":"book-chapter","created":{"date-parts":[[2008,9,21]],"date-time":"2008-09-21T03:10:38Z","timestamp":1221966638000},"page":"345-351","source":"Crossref","is-referenced-by-count":5,"title":["The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web"],"prefix":"10.1007","author":[{"given":"Antonis","family":"Bikakis","sequence":"first","affiliation":[]},{"given":"Constantinos","family":"Papatheodorou","sequence":"additional","affiliation":[]},{"given":"Grigoris","family":"Antoniou","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","unstructured":"McGuinness, D.L., van Harmelen, F.: OWL Web Ontology Language Overview W3C Recommendation (2004), \n                    \n                      http:\/\/www.w3.org\/TR\/owl-features\/"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: WWW, pp. 48\u201357 (2003)","DOI":"10.2139\/ssrn.460986"},{"issue":"1-2","key":"31_CR3","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"},{"issue":"1","key":"31_CR4","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.websem.2005.05.001","volume":"3","author":"R. Rosati","year":"2005","unstructured":"Rosati, R.: On the decidability and complexity of integrating ontologies and rules. WSJ\u00a03(1), 41\u201360 (2005)","journal-title":"WSJ"},{"key":"31_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/3-540-48005-6_28","volume-title":"The Semantic Web - ISWC 2002","author":"M. Sintek","year":"2002","unstructured":"Sintek, M., Decker, S.: TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, pp. 364\u2013378. Springer, Heidelberg (2002)"},{"key":"31_CR6","doi-asserted-by":"publisher","first-page":"723","DOI":"10.1145\/988672.988771","volume-title":"WWW 2004: Proceedings of the 13th international conference on World Wide Web","author":"I. Horrocks","year":"2004","unstructured":"Horrocks, I., Patel-Schneider, P.F.: A proposal for an OWL Rules Language. In: WWW 2004: Proceedings of the 13th international conference on World Wide Web, pp. 723\u2013731. ACM Press, New York (2004)"},{"issue":"2","key":"31_CR7","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1109\/TKDE.2007.29","volume":"19","author":"G. Antoniou","year":"2006","unstructured":"Antoniou, G., Bikakis, A.: DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web. IEEE Transactions on Knowledge and Data Engineering\u00a019(2), 233\u2013245 (2006)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"31_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/978-3-540-30122-6_10","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"N. Bassiliades","year":"2004","unstructured":"Bassiliades, N., Antoniou, G., Vlahavas, I.P.: DR-DEVICE: A Defeasible Logic System for the Semantic Web. In: Ohlbach, H.J., Schaffert, S. (eds.) PPSWR 2004. LNCS, vol.\u00a03208, pp. 134\u2013148. Springer, Heidelberg (2004)"},{"key":"31_CR9","unstructured":"Grosof, B.N., Gandhe, M.D., Finin, T.W.: SweetJess: Translating DAMLRuleML to JESS. In: RuleML (2002)"},{"key":"31_CR10","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. In: WLP, pp. 206\u2013210 (2006)"},{"issue":"3","key":"31_CR11","doi-asserted-by":"publisher","first-page":"662","DOI":"10.1016\/j.datak.2007.10.006","volume":"64","author":"G. Antoniou","year":"2008","unstructured":"Antoniou, G., Bikakis, A., Dimaresis, N., Genetzakis, M., Georgalis, G., Governatori, G., Karouzaki, E., Kazepis, N., Kosmadakis, D., Kritsotakis, M., Lilis, G., Papadogiannakis, A., Pediaditis, P., Terzakis, C., Theodosaki, R., Zeginis, D.: Proof explanation for a nonmonotonic semantic web rules language. Data and Knowledge Engineering\u00a064(3), 662\u2013687 (2008)","journal-title":"Data and Knowledge Engineering"},{"issue":"6","key":"31_CR12","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1017\/S1471068406002778","volume":"6","author":"G. Antoniou","year":"2006","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Embedding defeasible logic into logic programming. Theory Pract. Log. Program\u00a06(6), 703\u2013735 (2006)","journal-title":"Theory Pract. Log. Program"},{"key":"31_CR13","unstructured":"RuleML: The RuleML Initiative website (2006), \n                    \n                      http:\/\/www.ruleml.org\/"},{"key":"31_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1007\/978-3-540-76928-6_62","volume-title":"AI 2007: Advances in Artificial Intelligence","author":"G. Antoniou","year":"2007","unstructured":"Antoniou, G., Dimaresis, N., Governatori, G.: A system for modal and deontic defeasible reasoning. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol.\u00a04830, pp. 609\u2013613. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence: Theories, Models and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87881-0_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:50:59Z","timestamp":1558266659000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87881-0_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540878803","9783540878810"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87881-0_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}