Not Necessarily Transitive properties

Hi All --

Pete Haglichrian pointed out that "biological relation" is not 
necessarily transitive, although someone else assumed that it was.

Actually, this is an instance of a general problem with ontologies in 
techie notation -- namely, people don't know what the the techie symbols 
are supposed to mean in the real world. When compounded with powerful 
inferencing, this is downright dangerous!

There's a discussion of the problem, and a proposed solution, in the 
"Semantic Web Presentation" at www.reengineeringllc.com.

HTH, -- Adrian Walker

>
>> X-Originating-IP: [18.29.1.71]
>> X-Original-To: www-rdf-interest@listhub.w3.org
>> Delivered-To: www-rdf-interest@listhub.w3.org
>> X-Mailer: V-webmail 1.5.0 ( http://www.v-webmail.co.uk/ )
>> Date: Wed, 21 Jul 2004 12:13:14 -0400
>> From: "Pete Haglich" <phaglic@isx.com>
>> To: Richard Newman <r.newman@reading.ac.uk>,
>> "rdf-interest" <www-rdf-interest@w3.org>
>> X-Virus-Scanned: by amavisd-new at mailgate3.isx.com
>> X-Spam-DCC: sonic.net: mailgate3.isx.com 1117; IP=ok Body=2 Fuz1=2 
>> Fuz2=2
>> Subject: Re: Transitive properties
>> X-Archived-At: http://www.w3.org/mid/i17me2.mffwx7@mail.isx.com
>> Resent-From: www-rdf-interest@w3.org
>> X-Mailing-List: <www-rdf-interest@w3.org> archive/latest/11621
>> X-Loop: www-rdf-interest@w3.org
>> Sender: www-rdf-interest-request@w3.org
>> Resent-Sender: www-rdf-interest-request@w3.org
>> List-Id: <www-rdf-interest.w3.org>
>> List-Help: <http://www.w3.org/Mail/>
>> List-Unsubscribe: 
>> <mailto:www-rdf-interest-request@w3.org?subject=unsubscribe>
>> Resent-Date: Wed, 21 Jul 2004 12:13:54 -0400 (EDT)
>>
>>
>> Richard Newman <r.newman@reading.ac.uk> wrote:
>>
>> >
>> > All,
>> > Two quick questions I hope someone can help with.
>> >
>> > I have a transitive symmetric property, biological relation (though
>> > any other similar property will do):
>> >
>> > :bioRel a owl:SymmetricProperty, owl:TransitiveProperty .
>> >
>>
>> May I point out that "biological relation" is not necessarily 
>> transitive?
>> Consider the Ricardo family of "I Love Lucy" fame, with mother Lucy, 
>> father
>> Ricky, and child LittleRicky:
>>
>> :bioRel Lucy LittleRicky
>> :bioRel LittleRicky Ricky
>>
>> are both true. However,
>> :bioRel Lucy Ricky is not true.
>
>
>
>


-- 

Internet Business Logic  --  online at www.reengineeringllc.com

Reengineering LLC,  PO Box 1412,  Bristol,  CT 06011-1412,  USA

Phone 860 583 9677     Mobile 860 830 2085     Fax 860 314 1029

Received on Wednesday, 21 July 2004 13:37:57 UTC