Re: OWL Web Ontology Language

• From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
• Date: Thu, 16 Mar 2006 15:41:27 -0500 (EST)
• To: hans.teijgeler@quicknet.nl
• Cc: bdn_01@hotmail.com, semantic-web@w3.org
• Message-Id: <20060316.154127.82113229.pfps@research.bell-labs.com>

From: "Hans Teijgeler" <hans.teijgeler@quicknet.nl>
Subject: RE: OWL Web Ontology Language
Date: Thu, 16 Mar 2006 21:29:07 +0100

> Or the example I raised in the past:
> How do you represent the fact that the Ford Company (an Individual)
> manufactures Mustangs (a Class)?
> Hans 

Well, again, just what do you mean here?  Does Ford manufacture the class of
Mustangs?  Does Ford manufacture some Mustangs?  Does Ford manufacture all
Mustangs?  Does Ford necessarily manufacture all Mustangs?

What you probably want to say is something like

Class(Manufacturer partial)
Individual(Ford type(Manufacturer))

ObjectProperty(manufactured-by Functional)

Class(Car partial)

Class(Mustang partial Car restriction(manufactured-by someValuesFrom(Ford)))


Peter F. Patel-Schneider

Received on Thursday, 16 March 2006 20:41:41 UTC