{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T16:01:10Z","timestamp":1781107270935,"version":"3.54.1"},"reference-count":47,"publisher":"IGI Global Scientific Publishing","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,1,1]]},"abstract":"<p>Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information, whereas modal logic deals with the concepts of necessity and possibility. These types of logics play a significant role in the emerging Semantic Web, which enriches the available Web information with meaning, leading to better cooperation between end-users and applications. Defeasible and modal logics, in general, and, particularly, deontic logic provide means for modeling agent communities, where each agent is characterized by its cognitive profile and normative system, as well as policies, which define privacy requirements, access permissions, and individual rights. Toward this direction, this article discusses the extension of DR-DEVICE, a Semantic Web-aware defeasible reasoner, with a mechanism for expressing modal logic operators, while testing the implementation via deontic logic operators, concerned with obligations, permissions, and related concepts. The motivation behind this work is to develop a practical defeasible reasoner for the Semantic Web that takes advantage of the expressive power offered by modal logics, accompanied by the flexibility to define diverse agent behaviours. A further incentive is to study the various motivational notions of deontic logic and discuss the cognitive state of agents, as well as the interactions among them.<\/p>","DOI":"10.4018\/jswis.2011010102","type":"journal-article","created":{"date-parts":[[2011,10,19]],"date-time":"2011-10-19T12:58:24Z","timestamp":1319029104000},"page":"18-43","source":"Crossref","is-referenced-by-count":14,"title":["A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web"],"prefix":"10.4018","volume":"7","author":[{"given":"Efstratios","family":"Kontopoulos","sequence":"first","affiliation":[{"name":"Aristotle University of Thessaloniki, Greece"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6035-1038","authenticated-orcid":true,"given":"Nick","family":"Bassiliades","sequence":"additional","affiliation":[{"name":"Aristotle University of Thessaloniki, Greece"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[{"name":"NICTA, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Grigoris","family":"Antoniou","sequence":"additional","affiliation":[{"name":"FORTH, Greece"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"jswis.2011010102-0","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2007.29"},{"key":"jswis.2011010102-1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068406002778"},{"key":"jswis.2011010102-2","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2008.03.009"},{"key":"jswis.2011010102-3","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2006.07.006"},{"key":"jswis.2011010102-4","author":"G.Antoniou","year":"2004","journal-title":"A Semantic Web Primer"},{"key":"jswis.2011010102-5","doi-asserted-by":"crossref","unstructured":"Artosi, A., Governatori, G., & Sartor, G. (1996). Towards a computational treatment of deontic defeasibility. In M. Brown & J. Carmo (Eds.), Deontic Logic Agency and Normative Systems: Workshop on Computing (pp. 27-46). Berlin, Germany: Springer-Verlag.","DOI":"10.1007\/978-1-4471-1488-8_2"},{"key":"jswis.2011010102-6","unstructured":"Ashri, R., Payne, T., Marvin, D., Surridge, M., & Taylor, S. (2004). Towards a Semantic Web Security Infrastructure. In Proceedings of the AAAI Spring Symposium on Semantic Web Services (pp. 84-91). Menlo Park, CA: AAAI Press."},{"key":"jswis.2011010102-7","doi-asserted-by":"publisher","DOI":"10.4018\/jswis.2006010101"},{"key":"jswis.2011010102-8","doi-asserted-by":"publisher","DOI":"10.4018\/jswis.2006040102"},{"key":"jswis.2011010102-9","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0501-34"},{"key":"jswis.2011010102-10","first-page":"103","article-title":"Expression of Confidentiality Policies with Deontic Logic","author":"P.Bieber","year":"1993","journal-title":"Deontic Logic in Computer Science: Normative System Specification"},{"key":"jswis.2011010102-11","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","author":"P.Blackburn","year":"2001","journal-title":"Modal Logic"},{"key":"jswis.2011010102-12","unstructured":"Boley, H. (2004). An Integrated Positional-Slotted Language for Semantic Web Knowledge. Retrieved from http:\/\/www.ruleml.org\/submission\/ruleml-shortation.html"},{"key":"jswis.2011010102-13","doi-asserted-by":"crossref","unstructured":"Boley, H. (2006). The RuleML Family of Web Rule Languages: Invited talk. In Proceedings of 4th Workshop on Principles and Practice of Semantic Web Reasoning, Budva, Montenegro (LNCS 4187, pp.1-15).","DOI":"10.1007\/11853107_1"},{"key":"jswis.2011010102-14","doi-asserted-by":"crossref","unstructured":"Bonatti, P. A., Duma, C., Fuchs, N., Nejdl, W., Olmedilla, D., Peer, J., & Shahmehri, N. (2006). Semantic Web Policies - a Discussion of Requirements and Research Issues. In Proceedings of the 3rd European Semantic Web Conference, Budva, Montenegro (LNCS 4011, pp. 712-724).","DOI":"10.1007\/11762256_51"},{"key":"jswis.2011010102-15","doi-asserted-by":"crossref","unstructured":"Broersen, J., Dastani, M., Hulstijn, J., Huang, Z., & van der Torre, L. (2001). The BOID Architecture: Conflicts between Beliefs, Obligations, Intentions and Desires. In Proceedings of the 5th International Conference on Autonomous Agents, Montreal, QC, Canada (pp. 9-16). New York, NY: ACM.","DOI":"10.1145\/375735.375766"},{"key":"jswis.2011010102-16","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90055-5"},{"key":"jswis.2011010102-17","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.3.397"},{"key":"jswis.2011010102-18","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843005001092"},{"key":"jswis.2011010102-19","doi-asserted-by":"crossref","unstructured":"Governatori, G., Hulstijn, J., Riveret, R., & Rotolo, A. (2007). Characterising Deadlines in Temporal Modal Defeasible Logic. In Proceedings of the 20th Australian Joint Conference on Artificial Intelligence (AI 2007) (pp. 486-496).","DOI":"10.1007\/978-3-540-76928-6_50"},{"key":"jswis.2011010102-20","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzp006"},{"key":"jswis.2011010102-21","doi-asserted-by":"crossref","unstructured":"Governatori, G., & Rotolo, A. (2004). Defeasible Logic: Agency, Intention and Obligation. In Proceedings of the 7th International Workshop on Deontic Logic in Computer Science, Madeira, Portugal (pp. 114-128).","DOI":"10.1007\/978-3-540-25927-5_8"},{"key":"jswis.2011010102-22","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-008-9030-4"},{"key":"jswis.2011010102-23","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-007-9056-y"},{"key":"jswis.2011010102-24","first-page":"159","article-title":"Deontic Logic","author":"R.Hilpinen","year":"2001","journal-title":"The Blackwell Guide to Philosophical Logic"},{"key":"jswis.2011010102-25","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0583-16"},{"key":"jswis.2011010102-26","unstructured":"Kagal, L., Berners-Lee, T., Connolly, D., & Weitzner, D. (2006, July 16-20). Using Semantic Web Technologies for Open Policy Management on the Web. In Proceedings of the 21st National Conference on Artificial Intelligence (AAAI 2006). Menlo Park, CA: AAAI Press."},{"key":"jswis.2011010102-27","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90011-8"},{"issue":"2","key":"jswis.2011010102-28","first-page":"269","article-title":"Application of Deontic Logic in Role-based Access Control.","volume":"12","author":"G.Kolaczek","year":"2002","journal-title":"International Journal of Applied Mathematics and Computer Science"},{"key":"jswis.2011010102-29","doi-asserted-by":"crossref","unstructured":"Kontopoulos, E., Bassiliades, N., Governatori, G., & Antoniou, G. (2008). Extending a Defeasible Reasoner with Modal and Deontic Logic Operators. In Proceedings of the Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2008), IEEE\/WIC\/ACM International Conference on Web Intelligence and Intelligent Agent Technology, Sydney, NSW, Australia (pp. 626-629). Washington, DC: IEEE Computer Society.","DOI":"10.1109\/WIIAT.2008.164"},{"key":"jswis.2011010102-30","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2010.12.001"},{"key":"jswis.2011010102-31","doi-asserted-by":"crossref","unstructured":"Kravari, K., Kontopoulos, E., & Bassiliades, N. (2010a, May 4-7). EMERALD: A Multi-Agent System for Knowledge-based Reasoning Interoperability in the Semantic Web. In Proceedings of the 6th Hellenic Conference on Artificial Intelligence (SETN 2010), Athens, Greece (pp. 173-182).","DOI":"10.1007\/978-3-642-12842-4_21"},{"issue":"4","key":"jswis.2011010102-32","first-page":"429","article-title":"Trusted Reasoning Services for Semantic Web Agents.","volume":"34","author":"K.Kravari","year":"2010","journal-title":"Informatica: International Journal of Computing and Informatics"},{"key":"jswis.2011010102-33","doi-asserted-by":"crossref","unstructured":"Lam, H., & Governatori, G. (2009). The Making of SPINdle. In G. Governatori, J. Hall, & A. Paschke (Eds.), Proceedings of the 2009 International Symposium on Rule Interchange and Applications (LNCS 5858, pp. 315-322).","DOI":"10.1007\/978-3-642-04985-9_29"},{"key":"jswis.2011010102-34","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370676"},{"key":"jswis.2011010102-35","unstructured":"Maher, M. J., & Governatori, G. (1999). A Semantic Decomposition of Defeasible Logics. In Proceedings of the 16th National Conference on Artificial Intelligence, Orlando, FL (pp. 299-305). Menlo Park, CA: AAAI Press."},{"key":"jswis.2011010102-36","article-title":"Epistemic Logic","author":"J.-J. C.Meyer","year":"2001","journal-title":"The Blackwell Guide to Philosophical Logic"},{"key":"jswis.2011010102-37","first-page":"1","article-title":"Modal Epistemic and Doxastic Logic","volume":"Vol. 10","author":"J.-J. C.Meyer","year":"2003","journal-title":"Handbook of Philosophical Logic"},{"key":"jswis.2011010102-38","first-page":"353","article-title":"Defeasible logic","volume":"Vol. 3","author":"D.Nute","year":"1994","journal-title":"Handbook of Logic and Artificial Intelligence"},{"key":"jswis.2011010102-39","first-page":"201","article-title":"Norms, Priorities, and Defeasible Logic","author":"D.Nute","year":"1998","journal-title":"Norms, Logics and Information Systems"},{"key":"jswis.2011010102-40","doi-asserted-by":"crossref","unstructured":"Pham, D. H., Governatori, G., Raboczi, S., Newman, A., & Thakur, S. (2008). On Extending RuleML for Modal Defeasible Logic. In N. Bassiliades, G. Governatori, & A. Paschke (Eds.), Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web (RuleML 2008), Orlando, FL (LNCS 5321, pp. 89-103).","DOI":"10.1007\/978-3-540-88808-6_12"},{"key":"jswis.2011010102-41","doi-asserted-by":"publisher","DOI":"10.1016\/0020-7373(91)90013-W"},{"key":"jswis.2011010102-42","unstructured":"Riveret, R., Rotolo, A., & Governatori, G. (2007). Interaction between Normative Systems and Cognitive Agents in Temporal Modal Defeasible Logic. In G. Boella, L. van der Torre, & H. Verhagen (Eds.), Proceedings of the Normative Multi-Agent Systems (NorMAS) Conference, Dagstuhl, Germany."},{"key":"jswis.2011010102-43","doi-asserted-by":"crossref","unstructured":"Schild, U. J., & Herzog, S. (1993). The Use of Meta-rules in Rule Based Legal Computer Systems. In Proceedings of the 4th International Conference on Artificial Intelligence and Law (ICAIL\u201993) (pp. 100-109). New York, NY: ACM Press.","DOI":"10.1145\/158976.158989"},{"key":"jswis.2011010102-44","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2007.03.004"},{"key":"jswis.2011010102-45","doi-asserted-by":"crossref","unstructured":"Soininen, T., & Niemela, I. (1998). Developing a Declarative Rule Language for Applications in Product Configuration. In G. Gupta (Ed.), Proceedings of International Symposium on Practical Aspects of Declarative Languages (PADL) (pp. 305-319). Berlin, Germany: Springer-Verlag.","DOI":"10.1007\/3-540-49201-1_21"},{"key":"jswis.2011010102-46","first-page":"203","article-title":"Temporal Logic","author":"Y.Venema","year":"2001","journal-title":"The Blackwell Guide to Philosophical Logic"}],"container-title":["International Journal on Semantic Web and Information Systems"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=55390","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T13:55:33Z","timestamp":1654091733000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/jswis.2011010102"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2011,1,1]]},"references-count":47,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,1]]}},"URL":"https:\/\/doi.org\/10.4018\/jswis.2011010102","relation":{},"ISSN":["1552-6283","1552-6291"],"issn-type":[{"value":"1552-6283","type":"print"},{"value":"1552-6291","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,1,1]]}}}