Skip to main content
×
×
Home

Enabling reasoning with LegalRuleML

  • HO-PUN LAM (a1) and MUSTAFA HASHMI (a2)
Abstract

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.

Copyright
Footnotes
Hide All

*A preliminary version of this paper appeared in the Proceedings of the 10th International Web Rule Symposium (RuleML 2016), J. J. Alferes, L. Bertossi, G. Governatori, P. Fodor and J. Hall, Eds, Springer, 2016, pp. 241–257.

Footnotes
References
Hide All
Antoniou, G. 2004. A discussion of some intuitions of defeasible reasoning. In Proc. of the 3rd Hellenic Conference on AI: Methods and Applications of Artificial Intelligence, Vouros, G. A. and Panayiotopoulos, T., Eds. Springer, Berlin/Heidelberg, Samos, Greece, 311–320.
Antoniou, G. and Bikakis, A. 2007. DR-Prolog: A system for defeasible reasoning with rules and ontologies on the semantic web. IEEE Transactions on Knowledge and Data Engineering 19, 2, 233245.
Antoniou, G., Billington, D., Governatori, G. and Maher, M. 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.
Antoniou, G., Billington, D., Governatori, G. and Maher, M. J. 2001. Representation Results for Defeasible Logic. ACM Transactions on Computational Logic 2, 2, 255286.
Antoniou, G., Dimaresis, N. and Governatori, G. 2009. A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems. Expert Systems with Applications 36, 2, 41254134.
Athan, T., Boley, H., Governatori, G., Palmirani, M., Paschke, A. and Wyner, A. 2013. OASIS LegalRuleML. In Proc. of the 14th International Conference on Artificial Intelligence and Law. ACM, Rome, Italy, 3–12.
Athan, T., Governatori, G., Palmirani, M., Paschke, A. and Wyner, A. 2015. LegalRuleML: Design principles and foundations. In Proc. of the 11th Reasoning Web Summer School, Faber, W. and Paschke, A., Eds. Springer, Berlin, Germany, 151–188.
Baget, J., Gutierrez, A., Leclère, M., Mugnier, M., Rocher, S. and Sipieter, C. 2015. Datalog+, RuleML and OWL 2: Formats and translations for existential rules. In Proc. of the RuleML 2015 Challenge, Bassiliades, N., Fodor, P., Giurca, A., Gottlob, G., Kliegr, T., Nalepa, G. J., Palmirani, M., Paschke, A., Proctor, M., Roman, D., Sadri, F., and Stojanovic, N., Eds. CEUR Workshop Proceedings, Berlin, Germany.
Bassiliades, N., Antoniou, G. and Vlahavas, I. 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, Ohlbach, H. J. and Schaffert, S., Eds. Springer-Verlag, St Malo, France, 134–148.
Bos, J. 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.
Calì, A., Gottlob, G. and Lukasiewicz, T. 2012. A general datalog-based framework for tractable query answering over ontologies. Web Semantics: Science, Services and Agents on the World Wide Web 14, 5783.
Carmo, J. and Jones, A. J. I. 2002. Deontic logic and contrary-to-uties. In Handbook of Philosophical Logic, 2nd ed., Vol. 8, Gabbay, D. and Guentner, F., Eds. Kluwer, Dordrecht, 265343.
Deagustini, C. A., Martinez, M. V., Falappa, M. A. and Simari, G. R. 2015. On the Influence of incoherence in inconsistency-tolerant semantics for datalog±. In Proc. of the Joint Ontology Workshops, Papini, O., Benferhat, S., Garcia, L., Mugnier, M.-L., Fermé, E., Meyer, T., Wassermann, R., Baclawski, K., Krisnadhi, A., Klinov, P., Borgo, S., Kutz, O., and Porello, D., Eds. CEUR Workshop Proceedings, Buenos Aires, Argentina.
ESTRELLA Project. 2008. The Legal Knowledge Interchange Format (LKIF). Deliverable 4.1, European Commission.
Farrell, A. D. H., Sergot, M. J., Salle, M., Bartolini, C., Trastour, D. and Christodoulou, A. 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.
Goedertier, S. and Vanthienen, J. 2006. Designing compliant business processes with obligations and permissions. In Business Process Management Workshops, Eder, J. and Dustdar, S., Eds. Springer, Heidelberg, Vienna, Austria, 514.
Gordon, T. F., Governatori, G. and Rotolo, A. 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.
Governatori, G. 2005. Representing business contracts in RuleML. International Journal of Cooperative Information Systems 14, 2–3, 181216.
Governatori, G., Hashmi, M., Lam, H.-P., Villata, S. and Palmirani, M. 2016. Semantic business process regulatory compliance checking using LegalRuleML. In Proc. of the 20th International Conference on Knowledge Engineering and Knowledge Management, Blomqvist, E. and Vitali, F., Eds. Springer, Bologna, Italy.
Governatori, G., Maher, M. J., Antoniou, G. and Billington, D. 2004. Argumentation semantics for defeasible logic. Journal of Logic and Computation 14, 5, 675702.
Governatori, G. and Milosevic, Z. 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.
Governatori, G., Olivieri, F., Scannapieco, S. and Cristani, M. 2011. Designing for compliance: Norms and goals. In Proc. of the 5th International Symposium on Rule-Based Modeling and Computing on the Semantic Web, Olken, F., Palmirani, M., and Sottara, D., Eds. Springer, Berlin, Heidelberg, Ft. Lauderdale, Florida, USA, 282–297.
Governatori, G. and Rotolo, A. 2004. Defeasible logic: Agency, intention and obligation. In Proc. of the 7th International Workshop on Deontic Logic in Computer Science, Lomuscio, A. and Nute, D., Eds. Springer-Verlag, Madeira, Portugal, 114–128.
Governatori, G. and Rotolo, A. 2006. Logic of violations: A gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic 4, 193215.
Governatori, G. and Rotolo, A. 2008a. A computational framework for institutional agency. Artificial Intelligence and Law 16, 1, 2552.
Governatori, G. and Rotolo, A. 2008b. BIO logical agents: Norms, beliefs, intentions in defeasible logic. Autonomous Agents and Multi-Agent Systems 17, 1, 3669.
Grosof, B. and Poon, T. 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.
Grosof, B. N. 2004. Representing e-commerce rules via situated courteous logic programs in RuleML. Electronic Commerce Research and Applications 3, 1, 220.
Hashmi, M. and Governatori, G. 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].
Hashmi, M., Governatori, G. and Wynn, M. T. 2016. Normative requirements for regulatory compliance: An abstract formal framework. Information Systems Frontiers 18, 3, 429455.
Hecham, A., Croitoru, M. and Bisquert, P. 2017. Argumentation-based defeasible reasoning for existential rules. In Proc. of the 16th Conference on Autonomous Agents and Multiagent Systems, Larson, K., Winikoff, M., Das, S. and Durfee, E. H., Eds. International Foundation for Autonomous Agents and Multiagent Systems. Sã Paulo, Brazil, 1568–1569.
Herrestad, H. 1991. Norms and Formalization. In Proc. of the 3rd International Conference on Artificial Intelligence and Law. ACM, Oxford, England, 175–184.
Horrocks, I., Patel-Schneider, P. F., Boley, H., Tabet, S., Grosof, B. and Dean, M. 2004. SWRL: A semantic web rule language. URL: https://www.w3.org/Submission/SWRL/. Accessed 7 Feb 2017.
Kamada, A., Governatori, G. and Sadiq, S. 2010. Transformation of SBVR compliant business rules to executable FCL rules. In Rule-Based Modeling and Computing on the Semantic Web, Dean, M., Hall, J., Rotolo, A. and Tabet, S., Eds. Springer, Berlin/Heidelberg, Washington, DC, USA, 153161.
Kontopoulos, E., Bassiliades, N., Governatori, G. and Antoniou, G. 2011. A modal defeasible reasoner of deontic logic for the semantic web. International Journal on Semantic Web and Information Systems 7, 1, 1843.
Lam, H.-P. 2014. SPINdle User Guide. CSIRO, Australia. Accessed 15 March 2018. URL: http://spindle.data61.csiro.au/spindle/documentation.html.
Lam, H.-P. and Governatori, G. 2009. The making of SPINdle. In Proc. of the International Symposium on Rule Interchange and Applications, Paschke, A., Governatori, G. and Hall, J., Eds. Springer-Verlag, Las Vegas, Nevada, 315–322.
Lam, H.-P. and Governatori, G. 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.
Lam, H.-P. and Governatori, G. 2013. Towards a model of UAVs navigation in urban canyon through Defeasible Logic. Journal of Logic and Computation 23, 2, 373395.
Lam, H.-P., Governatori, G. and Riveret, R. 2016. On ASPIC+ and defeasible logic. In Proc. of the 6th International Conference on Computational Models of Argument, Baroni, P., Gordon, T. F., Scheffler, T. and Stede, M., Eds. IOS Press, Potsdam, Germany, 359–370.
Lam, H.-P., Hashmi, M. and Scofield, B. 2016. Enabling reasoning with LegalRuleML. In Proc. of the 10th International Web Rule Symposium, Alferes, J. J., Bertossi, L., Governatori, G., Fodor, P., and Roman, D., Eds. Springer International Publishing, Stony Brook, NY, USA, 241–257.
Maher, M. J. 2001. Propositional defeasible logic has linear complexity. Theory and Practice of Logic Programming 1, 6, 691711.
Maher, M. J., Rock, A., Antoniou, G., Billington, D. and Miller, T. 2001. Efficient Defeasible Reasoning Systems. International Journal on Artificial Intelligence Tools 10, 4, 483501.
Martin, D., Burstein, M., Hobbs, J., LAssila, O., McDermott, D., Mcllraith, S., Narayanan, S., Paolucci, M., Parsia, B., Payne, T., Sirin, E., Srinvasan, N. and Sycara, K. 2004. OWL-S: Semantic markup for web services. URL: https://www.w3.org/Submission/OWL-S/. Accessed 7 Feb 2017.
Martinez, M. V., Deagustini, C. A. D., Falappa, M. A. and Simari, G. R. 2014. Inconsistency-tolerant reasoning in Datalog± ontologies via an argumentative semantics. In Proc. of the 14th Ibero-American Conference on AI, Bazzan, A. L. and Pichara, K., Eds. Springer International Publishing, Santiago de Chile, Chile, 15–27.
Modgil, S. and Prakken, H. 2013. A general account of argumentation with preferences. Artificial Intelligence 195, 361397.
Modgil, S. and Prakken, H. 2014. The ASPIC+ framework for structured argumentation: A tutorial. Argument & Computation 5, 1, 3162.
Nute, D. 2001. Defeasible logic: Theory, implementation and applications. In Proc. of the 14th International Conference on Applications of Prolog. Springer, Berlin, Tokyo, Japan, 151–169.
OASIS LegalRuleML TC. 2013. OASIS LegalRuleML. URL: https://www.oasis-open.org/committees/legalruleml. Accessed 7 Feb 2017.
OMG 2000. Unified Modeling Language (UML). OMG. URL: http://www.omg.org/spec/UML/. Accessed 7 Feb 2017.
OMG 2008a. Business Process Model And Notation (BPMN). OMG. URL: http://www.omg.org/spec/BPMN/. Accessed 7 Feb 2017.
OMG 2008b. Semantics of Business Vocabulary And Rules (SBVR). OMG. URL: http://www.omg.org/spec/SBVR. Accessed 7 Feb 2017.
Palmirani, M., Governatori, G., Athan, T., Boley, H., Paschke, A. and Wyner, A. 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.
Paschke, A., Bichler, M. and Dietrich, J. 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.
Pesic, M. and Aalst, W. M. P. 2006. A declarative approach for flexible business processes management. In BPM Workshops 2006. Springer, Berlin, Heidelberg, Austria, 169180.
Prakken, H. 2010. An abstract framework for argumentation with structured arguments. Argument & Computation 1, 2, 93124.
Roman, D., Keller, U., Lausen, H., de Bruijn, J., Lara, R., Stollberg, M., Polleres, A., Feier, C., Bussler, C. and Fensel, D. 2005. Web service modeling ontology. Applied Ontology 1, 1, 77106.
RuleML Inc. 2000. RuleML: The rule markup initiative. URL: http://www.ruleml.org. Accessed 7 Feb 2017.
Searle, J. R. 1997. The Construction of Social Reality. Free Press, New York, NY, USA.
Selway, M., Grossmann, G., Mayer, W. and Stumptner, M. 2015. Formalising natural language specifications using a cognitive linguistic/configuration based approach. Information Systems 54, 191208.
Song, I. 2008. Design agent chips. Ph.D. thesis, The University of Queensland, St. Lucia, Queensland, Australia.
Steen, B., Pires, L. F. and Iacob, M.-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.
The OWL Services Coalition. 2006. OWL-S Specification. URL: http://www.ai.sri.com/daml/services/owl-s/. Accessed 7 Feb 2017.
Vojìr, S., Kliegr, T., Hazucha, A., Skrabal, R. and Simunek, M. 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, Fodor, P., Roman, D., Anicic, D., Wyner, A., Palmirani, M., Sottara, D., and Lévy, F., Eds. CEUR Workshop Proceedings, Seattle, USA.
W3C RIF Working Group. 2005. RIF: Rule Interchange Format. URL: https://www.w3.org/standards/techs/rif. Accessed 7 Feb 2017.
Wood, G. 2014. Ethereum: A Secure Decentralised Generalised Transaction Ledger. Accessed 12 March 2016. URL: http://gavwood.com/paper.pdf.
Wyner, A. and Governatori, G. 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, Fodor, P., Roman, D., Anicic, D., Wyner, A., Palmirani, M. and Lévy, D. S. F., Eds. CEUR Workshop Proceedings, Seatle, USA.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed