Back to frontpage
Hét vraag- en antwoordplatform van Nederland

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?

Verwijderde gebruiker
16 jaar geleden
860
Geef jouw antwoord
0 / 2500
Geef 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.
Verwijderde gebruiker
16 jaar geleden
Deel jouw antwoord
0 / 2500
Geef Antwoord
logo van Kompas Publishing

GoeieVraag.nl is onderdeel van Kompas Publishing