Polishing Diamonds in OWL 2

A recurrent pattern in the representation of actions and processes is the notion of exchange. It is a concept primarily characterised by a structure of processes or actions, rather than inherent properties, but has a strong ontological flavour. Exchange is furthermore governed by reciprocity, reflected by the way in which roles are constrained. Representing exchange and other structured objects in an ontology poses a number of conceptual and technical problems. While these concepts require a diamond like structure, DLs are generally restricted to tree structures only. Constraints on the identity of the individuals that fill the roles in e.g. transactions cannot be enforced directly in the A-Box. In this paper we present a knowledge pattern and methodology for approximating such structures.

[1]  Arthur Stutt,et al.  Engineering Knowledge in the Age of the Semantic Web , 2004, Lecture Notes in Computer Science.

[2]  Adam Pease,et al.  Towards a standard upper ontology , 2001, FOIS.

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

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

[5]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, International Semantic Web Conference.

[6]  Ian Horrocks,et al.  Combining logic programs with description logics , 2003, The Web Conference.

[7]  Yarden Katz,et al.  Belief Base Revision for Expressive Description Logics , 2006, OWLED.

[8]  Rinke Hoekstra,et al.  Epistemology and ontology in core ontologies: FOLaw and LRI-Core, two core ontologies for law , 2004 .

[9]  Bijan Parsia,et al.  Ontology Performance Profiling and Model Examination: First Steps , 2007, ISWC/ASWC.

[10]  Sebastian Rudolph,et al.  Expressive Tractable Description Logics based on SROIQ Rules , 2008 .

[11]  Enrico Motta,et al.  The Semantic Web - ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings , 2005, SEMWEB.

[12]  N. Isaacs,et al.  Fundamental Legal Conceptions as Applied in Judicial Reasoning: And Other Legal Essays , 2010 .

[13]  Ian Horrocks,et al.  The Even More Irresistible $\mathcal{SROIQ}$ , 2006 .

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

[15]  Boris Motik,et al.  Structured objects in owl: representation and reasoning , 2008, WWW.

[16]  Robert Stevens,et al.  OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns , 2004, EKAW.

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