search

sesuncedu / owl1-1

Automatically exported from code.google.com/p/owl1-1
0 stars 0 forks source link

Specifying "join" conditions using path expressions. #47

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
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

Original issue reported on code.google.com by kashyap....@gmail.com on 24 Sep 2007 at 6:21

GoogleCodeExporter commented 9 years ago

Original comment by pfpschne...@gmail.com on 25 Oct 2007 at 8:15