{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:01:45Z","timestamp":1725494505124},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540767183"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76719-0_21","type":"book-chapter","created":{"date-parts":[[2007,11,12]],"date-time":"2007-11-12T09:38:05Z","timestamp":1194860285000},"page":"186-197","source":"Crossref","is-referenced-by-count":1,"title":["Proof Explanation for the Semantic Web Using Defeasible Logic"],"prefix":"10.1007","author":[{"given":"Grigoris","family":"Antoniou","sequence":"first","affiliation":[]},{"given":"Antonis","family":"Bikakis","sequence":"additional","affiliation":[]},{"given":"Nikos","family":"Dimaresis","sequence":"additional","affiliation":[]},{"given":"Manolis","family":"Genetzakis","sequence":"additional","affiliation":[]},{"given":"Giannis","family":"Georgalis","sequence":"additional","affiliation":[]},{"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[]},{"given":"Efie","family":"Karouzaki","sequence":"additional","affiliation":[]},{"given":"Nikolas","family":"Kazepis","sequence":"additional","affiliation":[]},{"given":"Dimitris","family":"Kosmadakis","sequence":"additional","affiliation":[]},{"given":"Manolis","family":"Kritsotakis","sequence":"additional","affiliation":[]},{"given":"Giannis","family":"Lilis","sequence":"additional","affiliation":[]},{"given":"Antonis","family":"Papadogiannakis","sequence":"additional","affiliation":[]},{"given":"Panagiotis","family":"Pediaditis","sequence":"additional","affiliation":[]},{"given":"Constantinos","family":"Terzakis","sequence":"additional","affiliation":[]},{"given":"Rena","family":"Theodosaki","sequence":"additional","affiliation":[]},{"given":"Dimitris","family":"Zeginis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","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.1145\/775152.775160"},{"issue":"1-2","key":"21_CR2","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":"21_CR3","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":"21_CR4","doi-asserted-by":"crossref","unstructured":"Sintek, M., Decker, S.: TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web. In: International Semantic Web Conference, pp. 364\u2013378 (2002)","DOI":"10.1007\/3-540-48005-6_28"},{"key":"21_CR5","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)"},{"key":"21_CR6","unstructured":"RuleML: The RuleML Initiative website (2006), \n                      \n                        http:\/\/www.ruleml.org\/"},{"key":"21_CR7","doi-asserted-by":"crossref","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 (accepted for publication)","DOI":"10.1109\/TKDE.2007.29"},{"key":"21_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":"21_CR9","unstructured":"Grosof, B.N., Gandhe, M.D., Finin, T.W.: SweetJess: Translating DAMLRuleML to JESS. In: RuleML (2002)"},{"key":"21_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":"2","key":"21_CR11","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1145\/371316.371517","volume":"2","author":"G. Antoniou","year":"2001","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Trans. Comput. Logic\u00a02(2), 255\u2013287 (2001)","journal-title":"ACM Trans. Comput. Logic"},{"key":"21_CR12","first-page":"197","volume-title":"ILPS 1997: Proceedings of the 1997 international symposium on Logic programming","author":"B.N. Grosof","year":"1997","unstructured":"Grosof, B.N.: Prioritized conflict handing for logic programs. In: ILPS 1997: Proceedings of the 1997 international symposium on Logic programming, pp. 197\u2013211. MIT Press, Cambridge, MA (1997)"},{"issue":"1","key":"21_CR13","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0743-1066(99)00060-6","volume":"42","author":"G. Antoniou","year":"2000","unstructured":"Antoniou, G., Maher, M.J., Billington, D.: Defeasible logic versus logic programming without negation as failure. J. Log. Program\u00a042(1), 47\u201357 (2000)","journal-title":"J. Log. Program"},{"issue":"5","key":"21_CR14","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1093\/logcom\/14.5.675","volume":"14","author":"G. Governatori","year":"2004","unstructured":"Governatori, G., Maher, M.J., Antoniou, G., Billington, D.: Argumentation semantics for defeasible logic. J. Log. and Comput.\u00a014(5), 675\u2013702 (2004)","journal-title":"J. Log. and Comput."},{"issue":"6","key":"21_CR15","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."},{"issue":"4","key":"21_CR16","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1142\/S0218213001000623","volume":"10","author":"M.J. Maher","year":"2001","unstructured":"Maher, M.J., Rock, A., Antoniou, G., Billington, D., Miller, T.: Efficient defeasible reasoning systems. International Journal on Artificial Intelligence Tools\u00a010(4), 483\u2013501 (2001)","journal-title":"International Journal on Artificial Intelligence Tools"},{"key":"21_CR17","unstructured":"JADE: Java Agent Development Framework (2006), \n                      \n                        http:\/\/jade.tilab.com\/"},{"key":"21_CR18","unstructured":"Barwise, J., Etchemendy, J.: The language of first-order logic. Center for the study of Language and Information (1993)"},{"key":"21_CR19","volume-title":"Computer-based medical consultations: MYCIN","author":"E. Shortliffe","year":"1976","unstructured":"Shortliffe, E.: Computer-based medical consultations: MYCIN. American Elsevier, New York (1976)"},{"issue":"3","key":"21_CR20","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/64.87686","volume":"06","author":"W. Swartout","year":"1991","unstructured":"Swartout, W., Paris, C., Moore, J.: Explanations in knowledge systems: Design for explainable expert systems. IEEE Expert: Intelligent Systems and Their Applications\u00a006(3), 58\u201364 (1991)","journal-title":"IEEE Expert: Intelligent Systems and Their Applications"},{"key":"21_CR21","first-page":"816","volume":"1","author":"D.L. McGuinness","year":"1995","unstructured":"McGuinness, D.L., Borgida, A.: Explaining subsumption in description logics. IJCAI\u00a0(1), 816\u2013821 (1995)","journal-title":"IJCAI"},{"issue":"4","key":"21_CR22","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1016\/j.websem.2004.06.002","volume":"1","author":"D.L. McGuinness","year":"2004","unstructured":"McGuinness, D.L., da Silva, P.P.: Explaining answers from the semantic web: the inference web approach. J. Web Sem.\u00a01(4), 397\u2013413 (2004)","journal-title":"J. Web Sem."}],"container-title":["Lecture Notes in Computer Science","Knowledge Science, Engineering and Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76719-0_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:00:37Z","timestamp":1619506837000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76719-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540767183"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76719-0_21","relation":{},"subject":[]}}