W3C home > Mailing lists > Public > public-owl-dev@w3.org > October to December 2010

Defining required object properties given that a different object property is true.

From: Mitchell Gillespie <mgillesp@uoguelph.ca>
Date: Wed, 1 Dec 2010 18:20:15 -0500
Message-ID: <AANLkTimX4dTot-GDMO=w9QPyRJijMLonee_fSO9ZUsw-@mail.gmail.com>
To: OWL Development Mailing List <public-owl-dev@w3.org>
Hi All,

   Let's consider this simple example (excusing my notation).  Class:Person
requires the following rule when refering to Class:TwinType.    This is not
my actual context, I am simply looking for the proper methodology to define
this restriction/rule..

IF (<individual_Pers1>  hasTwinType  <individual_FaternalTwins) THEN
        THIS MUST BE TRUE  (<individual_Pers1> hasSon Class:Person)  AND (
<individual_Pers1> hasDaughter Class:Person)

  Essentially, I want to specify that if a Person has Twins then that person
must also hasSon AND hasDaughter.  Obviously, this example isn't true in
reality, but I need to define that given that an individual of Class:Person
has an object property to a specific individual THEN  that given individual
of Class:Person must also satisfy two other object property

  I am using OWL2 in Protege 4.1.  Any suggestions on how this is defined in
the Equivalent Class definitions?


Mitchell Gillespie
MSc. Applied Computer Science
University of Guelph
Cell:  (416) 433-8931
Received on Wednesday, 1 December 2010 23:34:23 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:19 UTC