{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:19:21Z","timestamp":1743027561457,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642225451"},{"type":"electronic","value":"9783642225468"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-22546-8_4","type":"book-chapter","created":{"date-parts":[[2011,7,14]],"date-time":"2011-07-14T00:30:13Z","timestamp":1310603413000},"page":"29-43","source":"Crossref","is-referenced-by-count":1,"title":["Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers"],"prefix":"10.1007","author":[{"given":"Kalliopi","family":"Kravari","sequence":"first","affiliation":[]},{"given":"Konstantinos","family":"Papatheodorou","sequence":"additional","affiliation":[]},{"given":"Grigoris","family":"Antoniou","sequence":"additional","affiliation":[]},{"given":"Nick","family":"Bassiliades","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"4_CR1","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/5254.920597","volume":"16","author":"J. Hendler","year":"2001","unstructured":"Hendler, J.: Agents and the Semantic Web. IEEE Intelligent Systems\u00a016(2), 30\u201337 (2001)","journal-title":"IEEE Intelligent Systems"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-642-12842-4_21","volume-title":"Artificial Intelligence: Theories, Models and Applications","author":"K. Kravari","year":"2010","unstructured":"Kravari, K., Kontopoulos, E., Bassiliades, N.: EMERALD: A Multi-Agent System for Knowledge-based Reasoning Interoperability in the Semantic Web. In: Konstantopoulos, S., Perantonis, S., Karkaletsis, V., Spyropoulos, C.D., Vouros, G. (eds.) SETN 2010. LNCS, vol.\u00a06040, pp. 173\u2013182. Springer, Heidelberg (2010)"},{"unstructured":"JESS, the Rule Engine for the Java Platform, \n                    \n                      http:\/\/www.jessrules.com\/","key":"4_CR3"},{"issue":"4","key":"4_CR4","first-page":"429","volume":"34","author":"K. Kravari","year":"2010","unstructured":"Kravari, K., Kontopoulos, E., Bassiliades, N.: Trusted Reasoning Services for Semantic Web Agents. Informatica: Int. J. of Computing and Informatics\u00a034(4), 429\u2013440 (2010)","journal-title":"Informatica: Int. J. of Computing and Informatics"},{"issue":"1","key":"4_CR5","first-page":"1","volume":"2","author":"N. Bassiliades","year":"2006","unstructured":"Bassiliades, N., Antoniou, G., Vlahavas, I.: A Defeasible Logic Reasoner for the Semantic Web. IJSWIS\u00a02(1), 1\u201341 (2006)","journal-title":"IJSWIS"},{"unstructured":"Boley, H., Tabet, S.: RuleML: The RuleML Standardization Initiative (2000), \n                    \n                      http:\/\/www.ruleml.org\/","key":"4_CR6"},{"issue":"5","key":"4_CR7","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1038\/scientificamerican0501-34","volume":"284","author":"T. Berners-Lee","year":"2001","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American Magazine\u00a0284(5), 34\u201343 (2001) (revised 2008)","journal-title":"Scientific American Magazine"},{"unstructured":"FIPA Specifications, \n                    \n                      http:\/\/www.fipa.org\/specifications\/","key":"4_CR8"},{"unstructured":"Resource Description Framework (RDF) Model and Syntax Specification, \n                    \n                      http:\/\/www.w3.org\/TR\/PR-rdf-syntax\/","key":"4_CR9"},{"unstructured":"Mule ESB, \n                    \n                      http:\/\/www.mulesoft.org","key":"4_CR10"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/11580072_20","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"M. Ball","year":"2005","unstructured":"Ball, M., Boley, H., Hirtle, D., Mei, J., Spencer, B.: The OO jDREW reference implementation of ruleML. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol.\u00a03791, pp. 218\u2013223. Springer, Heidelberg (2005)"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/IAT.2005.43","volume-title":"IEEE\/WIC\/ACM International Conference on Intelligent Agent Technology (IAT 2005)","author":"M. Wang","year":"2005","unstructured":"Wang, M., Purvis, M., Nowostawski, M.: An Internal Agent Architecture Incorporating Standard Reasoning Components and Standards-based Agent Communication. In: IEEE\/WIC\/ACM International Conference on Intelligent Agent Technology (IAT 2005), pp. 58\u201364. IEEE Computer Society, Washington, DC (2005)"},{"unstructured":"Purvis, M., Cranefield, S., Nowostawski, M., Carter, D.: Opal: A Multi-Level Infrastructure for Agent-Oriented Software Development. In: Information Science Discussion Paper Series, number 2002\/01. University of Otago, Dunedin, New Zealand (2002) ISSN 1172-602","key":"4_CR13"},{"key":"4_CR14","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","author":"M. Dastani","year":"2005","unstructured":"Dastani, M., van Riemsdijk, M.B., Meyer, J.-J.C.: Programming multi-agent systems in 3APL. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications. Springer, Berlin (2005)"},{"unstructured":"Nowostawski, M.: Kea Enterprise Agents Documentation (2001)","key":"4_CR15"},{"doi-asserted-by":"crossref","unstructured":"Boley, H., Kifer, M.: A Guide to the Basic Logic Dialect for Rule Interchange on the Web. IEEE Transactions on Knowledge and Data Engineering, 1593\u20131608 (2010)","key":"4_CR16","DOI":"10.1109\/TKDE.2010.84"},{"key":"4_CR17","first-page":"470","volume-title":"20th Int. C. on Systems Science","author":"D. Nute","year":"1987","unstructured":"Nute, D.: Defeasible Reasoning. In: 20th Int. C. on Systems Science, pp. 470\u2013477. IEEE, Los Alamitos (1987)"},{"issue":"6","key":"4_CR18","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1017\/S1471068401001168","volume":"1","author":"M.J. Maher","year":"2001","unstructured":"Maher, M.J.: Propositional defeasible logic has linear complexity. Theory and Practice of Logic Programming\u00a01(6), 691\u2013711 (2001)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"2","key":"4_CR19","doi-asserted-by":"publisher","first-page":"24","DOI":"10.4018\/jswis.2006040102","volume":"2","author":"N. Bassiliades","year":"2006","unstructured":"Bassiliades, N., Vlahavas, I.: R-DEVICE: An Object-Oriented Knowledge Base System for RDF Metadata. Int. Journal on Semantic Web and Information Systems\u00a02(2), 24\u201390 (2006)","journal-title":"Int. Journal on Semantic Web and Information Systems"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"899","DOI":"10.1007\/11896548_68","volume-title":"Current Trends in Database Technology \u2013 EDBT 2006","author":"A. Kozlenkov","year":"2006","unstructured":"Kozlenkov, A., Penaloza, R., Nigam, V., Royer, L., Dawelbait, G., Schr\u00f6der, M.: Prova: Rule-based Java Scripting for Distributed Web Applications: A Case Study in Bioinformatics. In: Grust, T., H\u00f6pfner, H., Illarramendi, A., Jablonski, S., Fischer, F., M\u00fcller, S., Patranjan, P.-L., Sattler, K.-U., Spiliopoulou, M., Wijsen, J. (eds.) EDBT 2006. LNCS, vol.\u00a04254, pp. 899\u2013908. Springer, Heidelberg (2006)"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-3-642-04985-9_29","volume-title":"Rule Interchange and Applications","author":"H. Lam","year":"2009","unstructured":"Lam, H., Governatori, G.: The Making of SPINdle. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol.\u00a05858, pp. 315\u2013322. Springer, Heidelberg (2009)"},{"key":"4_CR22","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/TKDE.2007.29","volume":"19","author":"G. Antoniou","year":"2007","unstructured":"Antoniou, G., Bikakis, A.: DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the SW. IEEE Transactions on Knowledge and Data Engineering\u00a019, 2 (2007)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"unstructured":"Semantic Web Knowledge Middleware, \n                    \n                      http:\/\/139.91.183.30:9090\/SWKM\/","key":"4_CR23"},{"key":"4_CR24","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/1324237.1324240","volume-title":"2nd International Conference on Pragmatic Web","author":"A. Paschke","year":"2007","unstructured":"Paschke, A., Boley, H., Kozlenkov, A., Craig, B.: Rule responder: RuleML-based Agents for Distributed Collaboration on the Pragmatic Web. In: 2nd International Conference on Pragmatic Web, vol.\u00a0280, pp. 17\u201328. ACM, New York (2007)"},{"issue":"3","key":"4_CR25","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., Governatori, G.: Proof Explanation for a Non-monotonic Semantic Web Rules Language. Data and Knowledge Engineering\u00a064(3), 662\u2013687 (2008)","journal-title":"Data and Knowledge Engineering"},{"unstructured":"CS-566 Project 2010, \n                    \n                      http:\/\/www.csd.uoc.gr\/~hy566\/project2010.html","key":"4_CR26"},{"issue":"2","key":"4_CR27","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"}],"container-title":["Lecture Notes in Computer Science","Rule-Based Reasoning, Programming, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22546-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,29]],"date-time":"2019-03-29T22:15:39Z","timestamp":1553897739000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22546-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642225451","9783642225468"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22546-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}