{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:48:05Z","timestamp":1725518885914},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878803"},{"type":"electronic","value":"9783540878810"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87881-0_4","type":"book-chapter","created":{"date-parts":[[2008,9,21]],"date-time":"2008-09-21T07:10:38Z","timestamp":1221981038000},"page":"26-37","source":"Crossref","is-referenced-by-count":0,"title":["A Multi-agent Environment for Serving Proof Explanations in the Semantic Web"],"prefix":"10.1007","author":[{"given":"Grigoris","family":"Antoniou","sequence":"first","affiliation":[]},{"given":"Antonis","family":"Bikakis","sequence":"additional","affiliation":[]},{"given":"Polyvios","family":"Damianakis","sequence":"additional","affiliation":[]},{"given":"Mixalhs","family":"Foukarakis","sequence":"additional","affiliation":[]},{"given":"Giorgos","family":"Iacovidis","sequence":"additional","affiliation":[]},{"given":"Marianna","family":"Karmazi","sequence":"additional","affiliation":[]},{"given":"Haridimos","family":"Kondylakis","sequence":"additional","affiliation":[]},{"given":"Antreas","family":"Makridakis","sequence":"additional","affiliation":[]},{"given":"Giorgos","family":"Nikiforos","sequence":"additional","affiliation":[]},{"given":"Grigoris","family":"Papadourakis","sequence":"additional","affiliation":[]},{"given":"Manolis","family":"Papoutsakis","sequence":"additional","affiliation":[]},{"given":"Aggeliki","family":"Psyharaki","sequence":"additional","affiliation":[]},{"given":"Giorgos","family":"Stratakis","sequence":"additional","affiliation":[]},{"given":"Panagiotis","family":"Tourlakis","sequence":"additional","affiliation":[]},{"given":"Petros","family":"Tsialiamanis","sequence":"additional","affiliation":[]},{"given":"Giorgos","family":"Vasileiadis","sequence":"additional","affiliation":[]},{"given":"Gerd","family":"Wagner","sequence":"additional","affiliation":[]},{"given":"Dimitris","family":"Velegrakis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Antoniou, G., van Harmelen, F.: A Semantic Web Primer. MIT Press, Cambridge"},{"key":"4_CR2","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":"4_CR3","unstructured":"Barwise, J., Etchemendy, J.: The language of first-order logic. Center for the study of Language and Information (1993)"},{"key":"4_CR4","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":"4_CR5","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web, May 17, 2001. Scientific American Magazine (2001)","DOI":"10.1038\/scientificamerican0501-34"},{"key":"4_CR6","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)"},{"key":"4_CR7","unstructured":"Extensible Markup Language, http:\/\/www.w3.org\/XML\/"},{"key":"4_CR8","unstructured":"Foundation for Intelligent Physical Agents, http:\/\/www.fipa.org\/index.html"},{"key":"4_CR9","first-page":"57","volume":"48","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. WWW\u00a048, 57 (2003)","journal-title":"WWW"},{"key":"4_CR10","unstructured":"Grosof, B.N., Gandhe, M.D., Finin, T.W.: SweetJess: Translating DAMLRuleML to JESS. In: RuleML (2002)"},{"key":"4_CR11","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":"4_CR12","unstructured":"Java Agent DEvelopment Framework, http:\/\/jade.tilab.com\/"},{"key":"4_CR13","unstructured":"Jena \u2013 A Semantic Web Framework for Java, http:\/\/jena.sourceforge.net\/"},{"key":"4_CR14","first-page":"209","volume":"165","author":"A.Y. Levy","year":"1998","unstructured":"Levy, A.Y., Rousset, M.C.: Combining Horn rules and description logics in CARIN. Artificial Intelligence 104(1-2)\u00a0165, 209 (1998)","journal-title":"Artificial Intelligence 104(1-2)"},{"key":"4_CR15","unstructured":"McGuinness, D.L., Borgida, A.: Explaining subsumption in description logics. In: IJCAI, vol.\u00a0(1), pp. 816\u2013821 (1995)"},{"issue":"4","key":"4_CR16","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."},{"issue":"1","key":"4_CR17","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":"4_CR18","unstructured":"RuleML: The RuleML Initiative website (2006), http:\/\/www.ruleml.org\/"},{"key":"4_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)"},{"key":"4_CR20","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":"4_CR21","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1038\/nrc2173","volume":"7","author":"C. Sotiriou","year":"2007","unstructured":"Sotiriou, C., Piccart, M.J.: Taking gene-expression profiling to the clinic: when will molecular signatures become relevant to patient care? Nature Reviews\u00a07, 545\u2013553 (2007)","journal-title":"Nature Reviews"},{"issue":"3","key":"4_CR22","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 explain able expert systems. IEEE Expert: Intelligent Systems and Their Applications\u00a006(3), 58\u201364 (1991)","journal-title":"IEEE Expert: Intelligent Systems and Their Applications"},{"key":"4_CR23","unstructured":"The REWERSE I1 Rule Markup Language, http:\/\/oxygen.informatik.tu-cottbus.de\/rewerse-i1\/?q=R2ML"}],"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_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:51:31Z","timestamp":1619524291000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87881-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878803","9783540878810"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87881-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}