Most of the axiomatization in SSN/SOSA is housed in the SSN graph.
All sub-class, sub-property, restrictions, property-chain-axioms and most inverseOf are in the SSN graph.
The SOSA graph only has axioms for rdf:type and some owl:inverseOf.
Should the remaining owl:inverseOf axioms be moved to the SSN graph?
Following on from #88 and #89:
Most of the axiomatization in SSN/SOSA is housed in the SSN graph. All sub-class, sub-property, restrictions, property-chain-axioms and most inverseOf are in the SSN graph. The SOSA graph only has axioms for
rdf:type
and someowl:inverseOf
.Should the remaining
owl:inverseOf
axioms be moved to the SSN graph?