OWL property definition

• From: <roman@fusion.at>
• Date: Tue, 25 Nov 2003 15:22:59 +0100 (CET)
• To: www-rdf-logic@w3.org
• Message-ID: <56437.128.130.205.37.1069770179.squirrel@www.fusion.at>

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? Is 
this too much DL (role) thinking? Is this actually possible in any DL? 
I think somewhere on the OWL learning curve i missed a crucial point... 
 
regards, 
roman 

Received on Wednesday, 26 November 2003 04:03:04 UTC