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

In een ontologie van familierelaties heb ik "ouderVan" gedefinieerd als subproperty van "voorouderVan". "ouderVan" is niet transitief, maar "voorouderVan" wel. Is dit geldig?

Weet jij het antwoord?

/2500

Stel zelf een vraag

Ben je op zoek naar het antwoord die ene vraag die je misschien al tijden achtervolgt?

/100