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
15 jaar geleden

Heb je meer informatie nodig om de vraag te beantwoorden? Reageer dan hier.

Geef jouw antwoord

Het is niet mogelijk om je eigen vraag te beantwoorden Je mag slechts 1 keer antwoord geven op een vraag Je hebt vandaag al antwoorden gegeven. Morgen mag je opnieuw maximaal antwoorden geven.

/
Geef Antwoord
+
Selected image

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.
(Lees meer...)
Verwijderde gebruiker
15 jaar geleden
Deel jouw antwoord

Het is niet mogelijk om je eigen vraag te beantwoorden Je mag slechts 1 keer antwoord geven op een vraag Je hebt vandaag al antwoorden gegeven. Morgen mag je opnieuw maximaal antwoorden geven.

/
Geef Antwoord
+
Selected image