search

DataONEorg / sem-prov-ontologies

Ontologies focused on scientific observations and scientific workflow provenance.
https://ontologies.dataone.org
18 stars 7 forks source link

Check into the topObjectProperty inferencing issue in MOSAiC #100

Closed amoeba closed 3 years ago

amoeba commented 3 years ago

@mpsaloha mentions:

I think I found the problem! -- for some unknown reason (I sure don’t remember doing this) the “top object property” in the MOSAIC ontology I shared is marked as “transitive, symmetric, and reflexive”. So, @bryce can you remove those characteristics, and I’ll bet things work out okay (maybe, hopefully)? Though it might not explain the weirdness with that “North Greenland Sea” issue

Protege appears to add those characteristics to the “topObjectProperty” when you export an Ontology with its inferred axioms. I’ll need to look into this further since offhand it doesn’t make sense.

Issue occurs with Pellet, not HermiT: plot thickens

amoeba commented 3 years ago

These just magically went away in https://github.com/DataONEorg/sem-prov-ontologies/commit/7785bfb26db37c235c280b4064fda88ecea47bd9#diff-ec2de156a3d659cc467d574de043860de022c065ffc45cc215c3146f4639c4d3. I'm not sure why but they're no longer present.