Introducing pattern-based design for legal ontologies

Ontology design is known to be a difficult task, requiring much more than expertise in an area or competence in logic; legal ontology design, due to the complexity of its domain, makes those difficulties worse. This may be partly due to poor support for requirement analysis in existing tools, but there is also an inherent gap between the purely logical constructs and methods that are expected to be used, and the actual competences and thought habits of legal domain experts. This paper presents some solutions, based on ontology design patterns, which are intended to make life of legal ontology designers easier. An overview of the typical tasks and services for legal knowledge is presented, the notion of ontology design pattern is introduced, and some excerpts of a reference ontology (CLO) and its related patterns are included, showing their utility in a simple legal modeling case.

[1]  Pedro M. Domingos.  1 Markov Logic: A Unifying Framework for Statistical Relational Learning , 2010 .

[2]  Drew McDermott.  Reasoning about Autonomous Processes in an Estimated-Regression Planner , 2003, ICAPS.

[3]  Tran Cao Son,et al.  Semantic Web Services , 2001, IEEE Intell. Syst..

[4]  Aldo Gangemi,et al.  Inflammation ontology design pattern: an exercise in building a core biomedical ontology with descriptions and situations. , 2004, Studies in health technology and informatics.

[5]  Michael S. Moore,et al.  Legal Reality: A Naturalist Approach to Legal Ontology , 2002 .

[6]  M. Fitting.  First-order logic and automated theorem proving (2nd ed.) , 1996 .

[7]  Aldo Gangemi,et al.  Content Ontology Design Patterns as Practical Building Blocks for Web Ontologies , 2008, ER.

[8]  Nicola Guarino,et al.  Social Roles and their Descriptions , 2004, KR.

[9]  Aldo Gangemi,et al.  A Collaborative Semantic Web Layer to Enhance Legacy Systems , 2007, ISWC/ASWC.

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

[11]  Guido Boella,et al.  Terminological and ontological analysis of European directives: multilinguism in law , 2007, ICAIL.

[12]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[13]  Peter Haase,et al.  D1.1.3 NeOn Formalisms for Modularization: Syntax, Semantics, Algebra , 2008 .

[14]  Kenneth D. Forbus,et al.  An analogy ontology for integrating analogical processing and first-principles reasoning , 2002, AAAI/IAAI.

[15]  Pompeu Casanovas,et al.  Evaluating DILIGENT Ontology Engineering in a Legal Case Study , 2005 .

[16]  Boris Motik,et al.  Reducing SHIQ-Description Logic to Disjunctive Datalog Programs , 2004, KR.

[17]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

[18]  Bruce W. Porter,et al.  Knowledge Patterns , 2000, Handbook on Ontologies.

[19]  Aldo Gangemi,et al.  Norms and plans as unification criteria for social collectives , 2008, Autonomous Agents and Multi-Agent Systems.

[20]  Janet L. Kolodner,et al.  Case-Based Reasoning , 1989, IJCAI 1989.

[21]  Aldo Gangemi,et al.  Ontology Design Patterns for Semantic Web Content , 2005, SEMWEB.

[22]  Aldo Gangemi,et al.  Understanding the Semantic Web through Descriptions and Situations , 2003, OTM.

[23]  R.C. Goldstein,et al.  Materialization , 1994, IEEE Trans. Knowl. Data Eng..

[24]  Antony Galton,et al.  Reified Temporal Theories and How to Unreify Them , 1991, IJCAI.

[25]  Wim Peters,et al.  The LOIS Project , 2006, LREC.

[26]  Kevin D. Ashley,et al.  AI and Law: A fruitful synergy , 2003, Artif. Intell..

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

[28]  Mark S. Fox,et al.  The Role of Competency Questions in Enterprise Engineering , 1995 .

[29]  Malvina Nissim,et al.  C-ODO: an OWL Meta-model for Collaborative Ontology Design , 2007, CKC.

[30]  Piercarlo Slavazza,et al.  LKMS - A Legal Knowledge Management System Exploiting Semantic Web Technologies , 2005, SEMWEB.

[31]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.