Re: OWL property definition

From: <roman@fusion.at>
Subject: OWL property definition
Date: Tue, 25 Nov 2003 15:22:59 +0100 (CET)

> 
> Hi, 
>  
> This is most likely a general DL question rather than an OWL problem. I am 
> struggling a bit with the semantics: by means of <owl:equivalentClass> 
> together with a nested <owl:Restriction> I can define classes by 
> constraints on instances' properties, e.g., telling OWL: take all 
> individuals of class X that have at least one property Y and put them into 
> Class Z. Can I do that with properties (i.e. roles), too? Is there a way 
> to say: take all instance pairs (a, b) from property (role, relation) Y, 
> where b fulfills some restriction and put those pairs into property Z? 

This is not part of OWL.  You would need some sort of role equivalency,
which OWL does not have, except via circular subRole relationships, which
would not give you want you want.

> Is 
> this too much DL (role) thinking? Is this actually possible in any DL? 

I'm not sure if any recently implemented DL has this construct.

> I think somewhere on the OWL learning curve i missed a crucial point... 
>  
> regards, 
> roman 

peter

Received on Wednesday, 26 November 2003 07:14:28 UTC