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

Het beste antwoord

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.

Stel zelf een vraag

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

/100