Enabling reasoning with LegalRuleML. (English) Zbl 1486.68184
Summary: In order to automate verification process, regulatory rules written in natural language need to be translated into a format that machines can understand. However, none of the existing formalisms can fully represent the elements that appear in legal norms. For instance, most of these formalisms do not provide features to capture the behavior of deontic effects, which is an important aspect in automated compliance checking. This paper presents an approach for transforming legal norms represented using LegalRuleML to a variant of modal defeasible logic (and vice versa) such that a legal statement represented using LegalRuleML can be transformed into a machine-readable format that can be understood and reasoned about depending upon the client’s preferences.
MSC:
| 68T27 | Logic in artificial intelligence |
| 03B45 | Modal logic (including the logic of norms) |
| 68T50 | Natural language processing |
References:
| [1] | AntoniouG.2004. A discussion of some intuitions of defeasible reasoning. In Proc. of the 3rd Hellenic Conference on AI: Methods and Applications of Artificial Intelligence, G. A.Vouros and T.Panayiotopoulos, Eds. Springer, Berlin/Heidelberg, Samos, Greece, 311-320. · Zbl 1128.68490 |
| [2] | AntoniouG. and BikakisA.2007. DR-Prolog: A system for defeasible reasoning with rules and ontologies on the semantic web. IEEE Transactions on Knowledge and Data Engineering19, 2, 233-245.10.1109/TKDE.2007.29 |
| [3] | AntoniouG., BillingtonD., GovernatoriG. and MaherM. J.2000. A flexible framework for defeasible logics. In Proc. of the 17th National Conference on Artificial Intelligence. AAAI Press/The MIT Press, Austin, Texas, USA, 405-410. |
| [4] | AntoniouG., BillingtonD., GovernatoriG. and MaherM. J.2001. Representation Results for Defeasible Logic. ACM Transactions on Computational Logic2, 2, 255-286.10.1145/371316.371517 · Zbl 1171.68740 |
| [5] | AntoniouG., DimaresisN. and GovernatoriG.2009. A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems. Expert Systems with Applications36, 2, 4125-4134.10.1016/j.eswa.2008.03.009 |
| [6] | AthanT., BoleyH., GovernatoriG., PalmiraniM., PaschkeA. and WynerA.2013. OASIS LegalRuleML. In Proc. of the 14th International Conference on Artificial Intelligence and Law. ACM, Rome, Italy, 3-12. |
| [7] | AthanT., GovernatoriG., PalmiraniM., PaschkeA. and WynerA.2015. LegalRuleML: Design principles and foundations. In Proc. of the 11th Reasoning Web Summer School, W.Faber and A.Paschke, Eds. Springer, Berlin, Germany, 151-188. |
| [8] | BagetJ., GutierrezA., LeclèreM., MugnierM., RocherS. and SipieterC.2015. Datalog+, RuleML and OWL 2: Formats and translations for existential rules. In Proc. of the RuleML 2015 Challenge, N.Bassiliades, P.Fodor, A.Giurca, G.Gottlob, T.Kliegr, G. J.Nalepa, M.Palmirani, A.Paschke, M.Proctor, D.Roman, F.Sadri, and N.Stojanovic, Eds. CEUR Workshop Proceedings, Berlin, Germany. |
| [9] | BassiliadesN., AntoniouG. and VlahavasI.2004. DR-DEVICE: A defeasible logic system for the semantic web. In Proc. of the 2nd International Workshop on Principles and Practice of Semantic Web Reasoning, H. J.Ohlbach and S.Schaffert, Eds. Springer-Verlag, St Malo, France, 134-148. |
| [10] | BosJ.2008. Wide-coverage semantic analysis with boxer. In Proc. of the 2008 Conference on Semantics in Text Processing. Association for Computational Linguistics, Stroudsburg, PA, USA, 277-286. |
| [11] | CalìA., GottlobG. and LukasiewiczT.2012. A general datalog-based framework for tractable query answering over ontologies. Web Semantics: Science, Services and Agents on the World Wide Web14, 57-83.10.1016/j.websem.2012.03.001 |
| [12] | CarmoJ. and JonesA. J. I.2002. Deontic logic and contrary-to-uties. In Handbook of Philosophical Logic, 2nd ed., Vol. 8, D.Gabbay and F.Guentner, Eds. Kluwer, Dordrecht, 265-343. · Zbl 1055.03002 |
| [13] | DeagustiniC. A., MartinezM. V., FalappaM. A. and SimariG. R.2015. On the Influence of incoherence in inconsistency-tolerant semantics for datalog^±. In Proc. of the Joint Ontology Workshops, O.Papini, S.Benferhat, L.Garcia, M.-L.Mugnier, E.Fermé, T.Meyer, R.Wassermann, K.Baclawski, A.Krisnadhi, P.Klinov, S.Borgo, O.Kutz, and D.Porello, Eds. CEUR Workshop Proceedings, Buenos Aires, Argentina. |
| [14] | ESTRELLA Project. 2008. The Legal Knowledge Interchange Format (LKIF). Deliverable 4.1, European Commission. |
| [15] | FarrellA. D. H., SergotM. J., SalleM., BartoliniC., TrastourD. and ChristodoulouA.2004. Performance monitoring of service-level agreements for utility computing using the event calculus. In Proc. of the 1st IEEE International Workshop on Electronic Contracting. San Diego, CA, USA, 17-24. |
| [16] | GoedertierS. and VanthienenJ.2006. Designing compliant business processes with obligations and permissions. In Business Process Management Workshops, J.Eder and S.Dustdar, Eds. Springer, Heidelberg, Vienna, Austria, 5-14.10.1007/11837862 |
| [17] | GordonT. F., GovernatoriG. and RotoloA.2009. Rules and norms: Requirements for rule interchange languages in the legal domain. In Proc. of the 2009 International Symposium on Rule Interchange and Applications. Springer, Heidelberg, Las Vegas, Nevada, USA, 282-296. |
| [18] | GovernatoriG.2005. Representing business contracts in RuleML. International Journal of Cooperative Information Systems14, 2-3, 181-216.10.1142/S0218843005001092 · doi:10.1142/S0218843005001092 |
| [19] | GovernatoriG., HashmiM., LamH.-P., VillataS. and PalmiraniM.2016. Semantic business process regulatory compliance checking using LegalRuleML. In Proc. of the 20th International Conference on Knowledge Engineering and Knowledge Management, E.Blomqvist and F.Vitali, Eds. Springer, Bologna, Italy. |
| [20] | GovernatoriG., MaherM. J., AntoniouG. and BillingtonD.2004. Argumentation semantics for defeasible logic. Journal of Logic and Computation14, 5, 675-702.10.1093/logcom/14.5.675 · Zbl 1067.03038 |
| [21] | GovernatoriG. and MilosevicZ.2005. Dealing with contract violations: Formalism and domain specific language. In Proc. of the 9th IEEE International Enterprise Distributed Object Computing Conference. IEEE Computer Society, Enschede, the Netherlands, 46-57. |
| [22] | GovernatoriG., OlivieriF., ScannapiecoS. and CristaniM.2011. Designing for compliance: Norms and goals. In Proc. of the 5th International Symposium on Rule-Based Modeling and Computing on the Semantic Web, F.Olken, M.Palmirani, and D.Sottara, Eds. Springer, Berlin, Heidelberg, Ft. Lauderdale, Florida, USA, 282-297. |
| [23] | GovernatoriG. and RotoloA.2004. Defeasible logic: Agency, intention and obligation. In Proc. of the 7th International Workshop on Deontic Logic in Computer Science, A.Lomuscio and D.Nute, Eds. Springer-Verlag, Madeira, Portugal, 114-128. · Zbl 1169.03336 |
| [24] | GovernatoriG. and RotoloA.2006. Logic of violations: A gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic4, 193-215. · Zbl 1122.03013 |
| [25] | GovernatoriG. and RotoloA.2008a. A computational framework for institutional agency. Artificial Intelligence and Law16, 1, 25-52.10.1007/s10506-007-9056-y |
| [26] | GovernatoriG. and RotoloA.2008b. BIO logical agents: Norms, beliefs, intentions in defeasible logic. Autonomous Agents and Multi-Agent Systems17, 1, 36-69.10.1007/s10458-008-9030-4 |
| [27] | GrosofB. and PoonT. C.2012. SweetDeal: Representing agent contracts with exceptions using XML rules, ontologies, and process descriptions. In the 12th International World Wide Web Conference. ACM, Budapest, Hungary, 340-349. |
| [28] | GrosofB. N.2004. Representing e-commerce rules via situated courteous logic programs in RuleML. Electronic Commerce Research and Applications3, 1, 2-20.10.1016/j.elerap.2003.09.005 · doi:10.1016/j.elerap.2003.09.005 |
| [29] | HashmiM. and GovernatoriG.2017. Norms modeling constructs of business process compliance management frameworks: A conceptual evaluation. Artificial Intelligence and Law. URL: https://doi.org/10.1007/s10506-017-9215-8 [in print]. |
| [30] | HashmiM., GovernatoriG. and WynnM. T.2016. Normative requirements for regulatory compliance: An abstract formal framework. Information Systems Frontiers18, 3, 429-455.10.1007/s10796-015-9558-1 |
| [31] | HechamA., CroitoruM. and BisquertP.2017. Argumentation-based defeasible reasoning for existential rules. In Proc. of the 16th Conference on Autonomous Agents and Multiagent Systems, K.Larson, M.Winikoff, S.Das and E. H.Durfee, Eds. International Foundation for Autonomous Agents and Multiagent Systems. Sã Paulo, Brazil, 1568-1569. |
| [32] | HerrestadH.1991. Norms and Formalization. In Proc. of the 3rd International Conference on Artificial Intelligence and Law. ACM, Oxford, England, 175-184. |
| [33] | HorrocksI., Patel-SchneiderP. F., BoleyH., TabetS., GrosofB. and DeanM.2004. SWRL: A semantic web rule language. URL: https://www.w3.org/Submission/SWRL/. Accessed 7 Feb 2017. |
| [34] | KamadaA., GovernatoriG. and SadiqS.2010. Transformation of SBVR compliant business rules to executable FCL rules. In Rule-Based Modeling and Computing on the Semantic Web, M.Dean, J.Hall, A.Rotolo and S.Tabet, Eds. Springer, Berlin/Heidelberg, Washington, DC, USA, 153-161.10.1007/978-3-642-16289-3 |
| [35] | KontopoulosE., BassiliadesN., GovernatoriG. and AntoniouG.2011. A modal defeasible reasoner of deontic logic for the semantic web. International Journal on Semantic Web and Information Systems7, 1, 18-43. |
| [36] | LamH.-P.2014. SPINdle User Guide. CSIRO, Australia. Accessed 15 March 2018. URL: http://spindle.data61.csiro.au/spindle/documentation.html. |
| [37] | LamH.-P. and GovernatoriG.2009. The making of SPINdle. In Proc. of the International Symposium on Rule Interchange and Applications, A.Paschke, G.Governatori and J.Hall, Eds. Springer-Verlag, Las Vegas, Nevada, 315-322. |
| [38] | LamH.-P. and GovernatoriG.2011. What are the necessity rules in defeasible reasoning? In Proc. of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning. Springer, Berlin/Heidelberg, Vancouver, BC, Canada, 187-192. · Zbl 1327.68256 |
| [39] | LamH.-P. and GovernatoriG.2013. Towards a model of UAVs navigation in urban canyon through Defeasible Logic. Journal of Logic and Computation23, 2, 373-395.10.1093/logcom/exr028 |
| [40] | LamH.-P., GovernatoriG. and RiveretR.2016. On ASPIC^+ and defeasible logic. In Proc. of the 6th International Conference on Computational Models of Argument, P.Baroni, T. F.Gordon, T.Scheffler and M.Stede, Eds. IOS Press, Potsdam, Germany, 359-370. |
| [41] | LamH.-P., HashmiM. and ScofieldB.2016. Enabling reasoning with LegalRuleML. In Proc. of the 10th International Web Rule Symposium, J. J.Alferes, L.Bertossi, G.Governatori, P.Fodor, and D.Roman, Eds. Springer International Publishing, Stony Brook, NY, USA, 241-257. |
| [42] | MaherM. J.2001. Propositional defeasible logic has linear complexity. Theory and Practice of Logic Programming1, 6, 691-711.10.1017/S1471068401001168S1471068401001168 · Zbl 1066.68530 · doi:10.1017/S1471068401001168 |
| [43] | MaherM. J., RockA., AntoniouG., BillingtonD. and MillerT.2001. Efficient Defeasible Reasoning Systems. International Journal on Artificial Intelligence Tools10, 4, 483-501.10.1142/S0218213001000623 |
| [44] | MartinD., BursteinM., HobbsJ., LAssilaO., McDermottD., McllraithS., NarayananS., PaolucciM., ParsiaB., PayneT., SirinE., SrinvasanN. and SycaraK.2004. OWL-S: Semantic markup for web services. URL: https://www.w3.org/Submission/OWL-S/. Accessed 7 Feb 2017. |
| [45] | MartinezM. V., DeagustiniC. A. D., FalappaM. A. and SimariG. R.2014. Inconsistency-tolerant reasoning in Datalog^± ontologies via an argumentative semantics. In Proc. of the 14th Ibero-American Conference on AI, A. L.Bazzan and K.Pichara, Eds. Springer International Publishing, Santiago de Chile, Chile, 15-27. |
| [46] | ModgilS. and PrakkenH.2013. A general account of argumentation with preferences. Artificial Intelligence195, 361-397.10.1016/j.artint.2012.10.008 · Zbl 1270.68284 |
| [47] | ModgilS. and PrakkenH.2014. The ASPIC^+ framework for structured argumentation: A tutorial. Argument & Computation5, 1, 31-62.10.1080/19462166.2013.869766 |
| [48] | NuteD.2001. Defeasible logic: Theory, implementation and applications. In Proc. of the 14th International Conference on Applications of Prolog. Springer, Berlin, Tokyo, Japan, 151-169. · Zbl 1033.68656 |
| [49] | OASIS LegalRuleML TC. 2013. OASIS LegalRuleML. URL: https://www.oasis-open.org/committees/legalruleml. Accessed 7 Feb 2017. |
| [50] | OMG2000. Unified Modeling Language (UML). OMG. URL: http://www.omg.org/spec/UML/. Accessed 7 Feb 2017. |
| [51] | OMG2008a. Business Process Model And Notation (BPMN). OMG. URL: http://www.omg.org/spec/BPMN/. Accessed 7 Feb 2017. |
| [52] | OMG2008b. Semantics of Business Vocabulary And Rules (SBVR). OMG. URL: http://www.omg.org/spec/SBVR. Accessed 7 Feb 2017. |
| [53] | PalmiraniM., GovernatoriG., AthanT., BoleyH., PaschkeA. and WynerA.2015. LegalRuleML Core Specifications. URL: http://docs.oasis-open.org/legalruleml/legalruleml-core-spec/v1.0/legalruleml-core-spec-v1.0.html. Accessed 7 Feb 2017. |
| [54] | PaschkeA., BichlerM. and DietrichJ.2005. ContractLog: An approach to rule based monitoring and execution of service level agreements. In Proc. of the 1st International Conference on Rules and Rule Markup Languages for the Semantic Web. Springer, Berlin, Heidelberg, Galway, Ireland, 209-217. |
| [55] | PesicM. and AalstW. M. P.2006. A declarative approach for flexible business processes management. In BPM Workshops 2006. Springer, Berlin, Heidelberg, Austria, 169-180. |
| [56] | PrakkenH.2010. An abstract framework for argumentation with structured arguments. Argument & Computation1, 2, 93-124.10.1080/19462160903564592 · doi:10.1080/19462160903564592 |
| [57] | RomanD., KellerU., LausenH., de BruijnJ., LaraR., StollbergM., PolleresA., FeierC., BusslerC. and FenselD.2005. Web service modeling ontology. Applied Ontology1, 1, 77-106. |
| [58] | RuleML Inc.2000. RuleML: The rule markup initiative. URL: http://www.ruleml.org. Accessed 7 Feb 2017. |
| [59] | SearleJ. R.1997. The Construction of Social Reality. Free Press, New York, NY, USA. |
| [60] | SelwayM., GrossmannG., MayerW. and StumptnerM.2015. Formalising natural language specifications using a cognitive linguistic/configuration based approach. Information Systems54, 191-208.10.1016/j.is.2015.04.003 |
| [61] | SongI.2008. Design agent chips. Ph.D. thesis, The University of Queensland, St. Lucia, Queensland, Australia. |
| [62] | SteenB., PiresL. F. and IacobM.-E.2010. Automatic generation of optimal business processes from business rules. In Proc. of the 14th IEEE International Enterprise Distributed Object Computing Conference Workshops. Vitoria, Brazil, 117-126. |
| [63] | The OWL Services Coalition. 2006. OWL-S Specification. URL: http://www.ai.sri.com/daml/services/owl-s/. Accessed 7 Feb 2017. |
| [64] | VojìrS., KliegrT., HazuchaA., SkrabalR. and SimunekM.2013. Transforming association rules to business rules: EasyMiner meets drools. In Joint Proc. of the 7th International Rule Challenge, the Special Track on Human Language Technology and the 3rd RuleML Doctoral Consortium, P.Fodor, D.Roman, D.Anicic, A.Wyner, M.Palmirani, D.Sottara, and F.Lévy, Eds. CEUR Workshop Proceedings, Seattle, USA. |
| [65] | W3C RIF Working Group. 2005. RIF: Rule Interchange Format. URL: https://www.w3.org/standards/techs/rif. Accessed 7 Feb 2017. |
| [66] | WoodG.2014. Ethereum: A Secure Decentralised Generalised Transaction Ledger. Accessed 12 March 2016. URL: http://gavwood.com/paper.pdf. |
| [67] | WynerA. and GovernatoriG.2013. A study on translating regulatory rules from natural language to defeasible logic. In Joint Proc. of the 7th International Rule Challenge, the Special Track on Human Language Technology and the 3rd RuleML Doctoral Consortium, P.Fodor, D.Roman, D.Anicic, A.Wyner, M.Palmirani and D. S. F.Lévy, Eds. CEUR Workshop Proceedings, Seatle, USA. |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
