uco-owl:incompatibleWith-direct-import-shape leaf node


URI

https://ontology.unifiedcyberontology.org/owl/incompatibleWith-direct-import-shape

Label

incompatibleWith-direct-import-shape

Implementation

@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix uco-owl: <https://ontology.unifiedcyberontology.org/owl/> .

uco-owl:incompatibleWith-direct-import-shape a sh:PropertyShape ;
    rdfs:seeAlso <https://www.w3.org/TR/owl2-syntax/#Imports> ;
    sh:disjoint owl:incompatibleWith ;
    sh:message "'The import closure of [ontology] O SHOULD NOT contain ontologies O_1 and O_2 such that ... O_1 contains an ontology annotation owl:incompatibleWith with the value equal to either the ontology IRI or the version IRI of O_2.'  The focusNode directly imported an incompatibility it declared (the value node)."@en ;
    sh:path owl:imports ;
    sh:severity sh:Warning ;
    sh:targetClass owl:Ontology .