Widoco icon indicating copy to clipboard operation
Widoco copied to clipboard
verified publisher icon dgarijo

has super properties : inverse of (object property)

Open iesnaola opened this issue 7 years ago • 2 comments

Hi,

I just run WIDOCO and it seems like it doesn't document the following type of axioms:

:property1 rdfs:subPropertyOf inverseOf(:property2).

Maybe, it can be something related to the parsing of anonymous individuals, since this axiom can be represented like this:

:property1 a owl:ObjectProperty ; rdfs:subPropertyOf :genid1 .

:genid1 owl:inverseOf :property2 .

I hope this can help.

BR, Iker

iesnaola avatar Sep 26 '18 18:09 iesnaola

Hi @iesnaola, these kind of statements are not supported directly by WIDOCO, but by LODE. Can you provide a pointer to a vocabulary where this happens? I would like to discard other possible problems before opening an issue in https://github.com/essepuntato/LODE.

dgarijo avatar Sep 26 '18 21:09 dgarijo

Hi @dgarijo,

The ontology is in: https://iesnaola.github.io/AffectedBy/ontology/ontology.ttl I just edited the html manually in order to visualize this property: https://iesnaola.github.io/AffectedBy/index-en.html

Thanks, Iker

iesnaola avatar Sep 27 '18 06:09 iesnaola