search

sesuncedu / owl1-1

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

Suggestion to Figure 13 (explicit ObjectProperyChain) #26

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
A "SubObjectPropertyOf" may have an object property chain as first 
argument. This is reflected with help of a <<list>> association requiring 
at least 1 object property of type ObjectPropertyExpression in Figure 13. 

This does not explicitly represent the notion of object property chains 
and may therefore easily be overseen or misunderstood. Why not 
introduce "ObjectPropertyChain" as specialization 
of "ObjectPropertyExpression" for the sake of clarity of object property 
axioms.

Original issue reported on code.google.com by thorsten...@uni-ulm.de on 18 Apr 2007 at 12:47

GoogleCodeExporter commented 9 years ago

Original comment by bparsia on 18 Apr 2007 at 1:03

GoogleCodeExporter commented 9 years ago 
I agree that it would be conceptually nicer to make object property chain a 
kind of 
object property expression, but this would then allow the usage of object 
property 
chains in complex concepts as well. This is clearly undesirable (we do not know 
how 
to reason with such a logic), so we deliberately did not follow such an 
approach.

Original comment by borismo...@gmail.com on 23 May 2007 at 5:59