ISSUE-36 (joins via paths): REPORTED: Specifying "join" conditions using path expressions.

ISSUE-36 (joins via paths): REPORTED: Specifying "join" conditions using path expressions.

http://www.w3.org/2007/OWL/tracker/issues/

Raised by: Vipul Kashyap
On product: 

Reported by kashyap.vipul, Sep 24, 2007

Suppose I have the following ontology:

Class1
Class2
Class3 = {Value-1, ..., Value-K} where Value-i = a string value

OP1
OP2

domain(OP1) = Class1 OR Class2
range(OP1) = Class3
domain(OP2) = Class1
range(OP2) - Class2

Now suppose I want to specify the following constraint:
Given any individual I of Class1, I.OP1 = I.OP2.OP1

Can we specify this using OWL 1.1?

If I specify OP2 o OP1 < OP1, this suggests a subclass of relationship for
all possible domains of a OP1 and OP2, whereas I want it to be true for a 
particular set of classes, say Class1, Class2 and Class3.

Furthermore, the subproperty chain might as well be violated as long as 
the values are identical per, the constraint above.

Is there some way to specify this using the current OWL 1.1 standard or 
would it require an extension to the standard?

Thanks,

---Vipul

Received on Thursday, 25 October 2007 08:15:01 UTC