Stop hijacking SAREF Core terms - owl:disjointWith axioms
corresponds to saref-portal#48 (closed)
Some extensions like SAREF4ENVI imposes several disjointWith axioms, including across SAREF Core entities. These axioms should either be promoted to SAREF Core, or deleted from SAREF4ENVI.
and
Proposal:
- DisjointFrom axioms may be defined in SAREF extensions, but if they are used, at least one class in the DisjointFrom axiom should be in the namespace of the extension that is under development.
- Discuss later which set of SAREF Core classes are pairwise disjoint.
and
Examples that violate rule 1 from above:
SAREF4AGRI: saref:Property rdf:type owl:Class ; owl:disjointWith saref:UnitOfMeasure ;