- From: Mitchell Gillespie <mgillesp@uoguelph.ca>
- Date: Wed, 1 Dec 2010 18:20:15 -0500
- To: OWL Development Mailing List <public-owl-dev@w3.org>
Received on Wednesday, 1 December 2010 23:34:23 UTC
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 relationships... I am using OWL2 in Protege 4.1. Any suggestions on how this is defined in the Equivalent Class definitions? Thanks!! -- Mitchell Gillespie MSc. Applied Computer Science University of Guelph mgillesp@uoguelph.ca Cell: (416) 433-8931
Received on Wednesday, 1 December 2010 23:34:23 UTC