Towards a Legal Rule-Based System Grounded on the Integration of Criminal Domain Ontology and Rules

Abstract This research aims to define an integrated strategy for modelling legal norms in the criminal domain for supporting the legal reasoning. For this purpose, OWL-DL criminal domain ontology is captured from legal texts, using a middle-out approach, and legal rules are then formalized based on the ontology. The goal is to construct a legal rule-based decision support system for the Lebanese criminal domain, grounded on the integration of the criminal domain ontology and set of logic rules which are defined using the expressive ability of SWRL rule language.

[1]  Balakrishnan Chandrasekaran,et al.  The Ontology of Tasks and Methods , 1997 .

[2]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, SEMWEB.

[3]  Radboud Winkels,et al.  Legal Ontologies in Knowledge Engineering and Information Management , 2004, Artificial Intelligence and Law.

[4]  Riccardo Rosati,et al.  DL+log: Tight Integration of Description Logics and Disjunctive Datalog , 2006, KR.

[5]  Riccardo Rosati,et al.  Integrating Ontologies and Rules: Semantic and Computational Issues , 2006, Reasoning Web.

[6]  Rinke Hoekstra,et al.  The LKIF Core Ontology of Basic Legal Concepts , 2007, LOAIT.

[7]  James Popple,et al.  SHYSTER: A Pragmatic Legal Expert System , 1993 .

[8]  Johannes Scharf.  rOWLer - A Hybrid Rule Engine for Legal Reasoning , 2014, SW4LAW+DC@JURIX.

[9]  Derek H. Sleeman,et al.  Developing Knowledge-Based Systems using the Semantic Web , 2008, BCS Int. Acad. Conf..

[10]  Monica Palmirani,et al.  Legal Rules, Text and Ontologies Over Time , 2012, RuleML.

[11]  Sudarsan Rachuri,et al.  An Analysis of Description Logic Augmented with Domain Rules for the Development of Product Models , 2010, J. Comput. Inf. Sci. Eng..

[12]  Mohamad Khalil,et al.  Ontology Learning Process as a Bottom-up Strategy for Building Domain-specific Ontology from Legal Texts , 2017, ICAART.

[13]  Trevor J. M. Bench-Capon,et al.  Developing legal knowledge based systems through theory construction , 2003, ICAIL.

[14]  Guido Governatori,et al.  Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain , 2009, RuleML.

[15]  Christine Golbreich.  What Reasoning Support for Ontology and Rules? The Brain Anatomy Case Study , 2005, OWLED.

[16]  Randall Davis,et al.  The Origin of Rule-Based Systems in AI , 2005 .

[17]  Li Ma,et al.  Research on Construction and SWRL Reasoning of Ontology of Maize Diseases , 2012, CCTA.

[18]  Samir Lamouri,et al.  SWRL as a Rule Language for Ontology-Based Models in Power Plant Design , 2012, PLM.

[19]  Gerd Wagner,et al.  Design Rationale for RuleML: A Markup Language for Semantic Web Rules , 2001, SWWS.

[20]  Guido Governatori,et al.  Logic of Violations: A gentzen systems for reasoning with contrary-to-duty obligations , 2006 .

[21]  Robert J. K. Jacob,et al.  A Software Engineering Methodology for Rule-Based Systems , 1990, IEEE Trans. Knowl. Data Eng..

[22]  Hans Tompits,et al.  Reasoning with Rules and Ontologies , 2006, Reasoning Web.

[23]  Trevor J. M. Bench-Capon,et al.  Ontologies in legal information systems; the need for explicit specifications of domain conceptualisations , 1997, ICAIL '97.

[24]  Giuseppe Contissa,et al.  Fill the Gap in the Legal Knowledge Modelling , 2009, RuleML.

[25]  S. M. Patil,et al.  ECG analysis-an expert system approach , 1995, Proceedings of the First Regional Conference, IEEE Engineering in Medicine and Biology Society and 14th Conference of the Biomedical Engineering Society of India. An International Meet.

[26]  James Popple,et al.  Legal Expert Systems: The Inadequacy of a Rule-Based Approach , 1990, Aust. Comput. J..

[27]  Joost Breuker,et al.  Analysing system-user cooperation in KADS , 1992 .

[28]  Ian Horrocks,et al.  The Even More Irresistible SROIQ , 2006, KR.

[29]  Samson W. Tu,et al.  Developing a Web-Based Application using OWL and SWRL , 2008, AAAI Spring Symposium: AI Meets Business Rules and Process Management.

[30]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

[31]  Christine Golbreich,et al.  Use Case: Ontology with Rules for identifying brain anatomical structures , 2005, Rule Languages for Interoperability.

[32]  Richard E. Susskind.  EXPERT SYSTEMS IN LAW: A JURISPRUDENTIAL APPROACH TO ARTIFICIAL INTELLIGENCE AND LEGAL REASONING , 1986 .

[33]  Riichiro Mizoguchi,et al.  Distributed reasoning with ontologies and rules in order-sorted logic programming , 2009, J. Web Semant..

[34]  L. Thorne McCarty,et al.  Reflections on "Taxman": An Experiment in Artificial Intelligence and Legal Reasoning , 1977 .

[35]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[36]  Hans Tompits,et al.  Combining answer set programming with description logics for the Semantic Web , 2004, Artif. Intell..

[37]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[38]  Kaoru Hirota,et al.  A fuzzy case based reasoning system for the legal inference , 1998, 1998 IEEE International Conference on Fuzzy Systems Proceedings. IEEE World Congress on Computational Intelligence (Cat. No.98CH36228).

[39]  Brian McBride,et al.  Jena: A Semantic Web Toolkit , 2002, IEEE Internet Comput..