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?
-
Vraag volgen
- Delen
-
-
Weet jij het antwoord?
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 op die ene vraag die je misschien al tijden achtervolgt?
