A Criminal Domain Ontology for Modelling Legal Norms

This work discusses an ontological model for legal norms of the criminal domain. An ontology-based modelling approach is proposed for this purpose. The approach tends to build a criminal domain ontology and then formalize the legal rules based on it. A middle-out approach is applied for building the criminal domain ontology based on ontology reuse and modularization processes. This approach tends to simplify the complexity and difficulty of ontology building process by reusing foundational and legal core ontologies.

[1]  Giancarlo Guizzardi,et al.  Grounding Software Domain Ontologies in the Unified Foundational Ontology (UFO): The case of the ODE Software Process Ontology , 2008, CIbSE.

[2]  Trevor J. M. Bench-Capon,et al.  Isomorphism and argumentation , 2009, ICAIL.

[3]  C. Maria Keet.  The Use of Foundational Ontologies in Ontology Development: An Empirical Assessment , 2011, ESWC.

[4]  André Valente,et al.  Legal modeling and automated reasoning with ON-LINE , 1999, Int. J. Hum. Comput. Stud..

[5]  Jeff Heflin,et al.  Semantic Interoperability on the Web , 2000 .

[6]  Giancarlo Guizzardi,et al.  Ontological foundations for structural conceptual models , 2005 .

[7]  Ian Horrocks,et al.  Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences , 2009, ESWC.

[8]  Gerd Wagner,et al.  Towards Ontological Foundations for the Conceptual Modeling of Events , 2013, ER.

[9]  G. Guizzardi,et al.  The role of foundational ontologies for conceptual modeling and domain ontology representation , 2006, 2006 7th International Baltic Conference on Databases and Information Systems.

[10]  Luciano Serafini,et al.  Distributed Description Logics: Assimilating Information from Peer Sources , 2003, J. Data Semant..

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

[12]  Gerd Wagner,et al.  Using the Unified Foundational Ontology (UFO) as a Foundation for General Conceptual Modeling Languages , 2010 .

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

[14]  Antonio Picariello,et al.  An approach to ontology integration for ontology reuse in knowledge based digital ecosystems , 2015, MEDES.

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

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

[17]  Hans Kelsen,et al.  General Theory of Norms , 1991 .

[18]  Giancarlo Guizzardi,et al.  Towards Ontological Foundations for Agent Modelling Concepts Using the Unified Fundational Ontology (UFO) , 2004, AOIS.

[19]  Paolo Terenziani,et al.  An ontological knowledge and multiple abstraction level decision support system in healthcare , 2014, Decis. Anal..

[20]  Boris Motik,et al.  OWL 2: The next step for OWL , 2008, J. Web Semant..

[21]  Guido Boella,et al.  Lex Minus Dixit Quam Voluit, Lex Magis Dixit Quam Voluit: A Formal Study on Legal Compliance and Interpretation , 2009, AICOL Workshops.

[22]  Mehul Bhatt,et al.  Modular Ontologies for Architectural Design , 2009, FOMI.

[23]  Anilton Salles Garcia,et al.  An Automated Transformation from OntoUML to OWL and SWRL , 2013, ONTOBRAS.

[24]  Jérôme Euzenat,et al.  Semantic Precision and Recall for Ontology Alignment Evaluation , 2007, IJCAI.

[25]  Trevor J. M. Bench-Capon,et al.  Isomorphism and legal knowledge based systems , 1992, Artificial Intelligence and Law.

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

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

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

[29]  A. Valente,et al.  Legal Knowledge Engineering - A Modelling Approach , 1995 .

[30]  Giancarlo Guizzardi,et al.  OntoUML Lightweight Editor: A Model-Based Environment to Build, Evaluate and Implement Reference Ontologies , 2015, 2015 IEEE 19th International Enterprise Distributed Object Computing Workshop.

[31]  J. Breuker,et al.  Ontologies, the missing link between legal theory and AI and Law , 1994 .

[32]  Tom M. van Engers,et al.  Modeling legislation using natural language processing , 2001, SMC.

[33]  Antonino Rotolo,et al.  An OWL Ontology of Fundamental Legal Concepts , 2006, JURIX.

[34]  Giovanni Sartor,et al.  A Formal Model of Legal Argumentation , 1994 .

[35]  George A. Miller,et al.  WordNet: A Lexical Database for English , 1995, HLT.

[36]  Helena Sofia Pinto,et al.  Ontology Integration: How to perform the Process , 2001, OIS@IJCAI.

[37]  Zora Konjovic,et al.  Ontological model of legal norms for creating and using legislation , 2013, Comput. Sci. Inf. Syst..

[38]  Weiru Liu,et al.  A Concept Hierarchy Based Ontology Mapping Approach , 2010, KSEM.

[39]  Habib Abdulrab,et al.  Towards a Middle-out Approach for Building Legal Domain Reference Ontology , 2016 .

[40]  Alexandre Lopes Machado,et al.  A Legal Ontology of Relationships for Civil Law System , 2014, ONTO.COM/ODISE@FOIS.

[41]  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..

[42]  Ian Horrocks,et al.  A Logical Framework for Modularity of Ontologies , 2007, IJCAI.

[43]  Trevor J. M. Bench-Capon,et al.  OWL ontology of basic legal concepts (LKIF-Core) , 2007 .

[44]  Amit P. Sheth,et al.  Semantic interoperability in global information systems , 1999, SGMD.

[45]  Pompeu Casanovas,et al.  The Flood, the Channels and the Dykes: Managing Legal Information in a Globalized and Digital World , 2009, Law, Ontologies and the Semantic Web.

[46]  G. Guizzardi,et al.  The role of Foundational Ontologies for Domain Ontology Engineering: a case study in the Software Process Domain , 2008, IEEE Latin America Transactions.

[47]  Davide Grossi,et al.  Formal Aspects of Legislative Meta-Drafting , 2008, JURIX.

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