W3C home > Mailing lists > Public > www-rdf-logic@w3.org > January 2004

Re: "Transitive over" properties

From: Mikhail Khlopotov <mik@chel.com.ru>
Date: Mon, 05 Jan 2004 13:43:03 +0500
Message-ID: <3FF92397.1060606@chel.com.ru>
To: www-rdf-logic@w3.org

Jeremy Carroll wrote:

> (still brainstorming on RDF logic, not formally responding to Mikail's 
> comment)
>
> from which I can get as far as
>
> :mk rdf:type :rAndD
>
> but I need a 'property restriction' to say that an rdf:type 
> relationship between a :Worker and a :WorkArea is a :worksFor 
> relationship.
>
> But I guess using the built-in transitive over relationship between 
> rdf:type and rdfs:subClassOf is sort of cheating ...
>
> I wonder whether some of the work of rules could be addressed 
> differently by making OWL Full even bigger ... rules is probably a 
> better idea. 

I agree! The only objection is that transitiveOver properties already
are on OWL - subclassing, you have mentioned.

Can anyonw provide me with a link to start with rules?  Seems like
people here are very familiar with them, but I had not found any nest of
them yet ;-)

Mikhail Khlopotov
South Ural State Univercity, Russia
Received on Monday, 5 January 2004 03:43:13 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:48 GMT