rule.owlrlext.rul Maven / Gradle / Ivy

Go to download

 
  
  
  
  
  
]>








#
# Extension that complete the OWL ontology
#


  
CONSTRUCT {
    ?x owl:equivalentClass      [ owl:unionOf ?l ] .
    [] a owl:AllDisjointClasses ; owl:members ?l
}
WHERE {
    ?x owl:disjointUnionOf ?l 
}






  
CONSTRUCT {
    ?ci owl:disjointWith ?cj .
    ?cj owl:disjointWith ?ci .
}
WHERE {
    ?y a owl:AllDisjointClasses .
	?y owl:members ?list1 .
    ?list1 rdf:rest* ?list2 .
    ?list2 rdf:first ?ci .
    ?list2 rdf:rest+ ?list3 .
    ?list3 rdf:first ?cj .
}






  
CONSTRUCT {
	?x a owl:Class .
    ?y a owl:Class
}
WHERE {
          {?x rdfs:subClassOf     ?y}
    union {?x owl:equivalentClass ?y}
    union {?x owl:disjointWith    ?y}
    union {?x owl:complementOf    ?y}
    union {[] (owl:unionOf|owl:intersectionOf)/rdf:rest*/rdf:first ?x}
    union { ?x a owl:Restriction }
}