This isn't quite right. Suppose that there is a constraint that
consistsOf's domain is business units/organization, and worksFor's
domain is Person. Then what you suggest would infer that
:Mikhail Khlopotov :consistsOf :Semantic Web Inference
which probably not what is intended.
OWL 1.1 has a feature that makes this sort of thing possible in a
more general: "role inclusions". See e.g. http://www.cs.man.ac.uk/
~okutz/SROIQ.pdf
-Alan
On Aug 22, 2006, at 1:00 PM, Chimezie Ogbuji wrote:
Actually, I believe by virtue of being of the SHOIN family of
Description Logics [1] that OWL-DL & RDFS can express this through
role hierachies and transivite roles (both of which are part of [2]
SHOIN: S - Role transitivity, H - Role hierarchy)
[1] http://www.cs.man.ac.uk/~horrocks/Publications/download/2003/
HoPH03a.pdf
[2] http://www.cs.man.ac.uk/~ezolin/logic/complexity.html
I.e., instead of
:worksFor :transitiveOver :consistsOf.
you would have
:consistsOf rdf:type owl:TransitiveProperty
:worksFor rdfs:subPropertyOf :consistsOf
Which would result in the same conclusions via a reasoner following
the axiomatic semantics of owl:TransitiveProperty and
rdfs:subPropertyOf (in N3):
{?P a owl:TransitiveProperty. ?X ?P ?O. ?S ?P ?X} => {?S ?P ?O}.
{?P rdfs:subPropertyOf ?R. ?S ?P ?O} => {?S ?R ?O}.
Chimezie Ogbuji
Lead Systems Analyst
Thoracic and Cardiovascular Surgery
Cleveland Clinic Foundation
9500 Euclid Avenue/ W26
Cleveland, Ohio 44195
Office: (216)444-8593
[EMAIL PROTECTED]
On Tue, 22 Aug 2006, Internet Business Logic wrote:
Larry --
On the other hand... There are really simple problems that cannot
be computed in *any* version of OWL.
I believe that "transitive over" [1] is one such.
HTH, -- Adrian
[1] http://www.reengineeringllc.com/demo_agents/
TransitiveOver1.agent
--
Internet Business Logic (R)
Executable open vocabulary English
Online at www.reengineeringllc.com
Shared use is free
Reengineering, PO Box 1412, Bristol, CT 06011-1412, USA
Phone 860 583 9677 Mobile 860 830 2085 Fax 860 314 1029