subproperty of a transitive property is always transitive

classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

subproperty of a transitive property is always transitive

qai222
```
has_ancestor(ObjectProperty, TransitiveProperty): pass

has_parent(has_ancestor): pass
```

Is there a way to make `has_parent` non-transitive?
Reply | Threaded
Open this post in threaded view
|

Re: subproperty of a transitive property is always transitive

Jiba
Administrator
Hi,

Owlready creates transitive property by inheriting from TransitiveProperty, but you are right : the transitive nature is not necessarily inherited...

I fixed that in the development version of Owlready on Bitbucket. Now, your has_parent property is no longer a subproperty of TransitiveProperty, unless you define it explicitly as such.

Jiba