Is het in OWL geldig een TransitiveProperty te definiëren met een niet-transitieve subproperty?

Volgens mij kan dit niet. Een owl subproperty heeft altijd dezelfde eigenschappen als het property waar het vandaan komt.

En als je er op die manier naar kijkt, dan zie je ook dat voorouderVan en ouderVan verschillende relaties zijn en niet direct met elkaar te maken hebben. Tenminste: ouderVan impliceert voorouderVan, maar andersom niet.