Skip to content

Instantly share code, notes, and snippets.

@KonradHoeffner

KonradHoeffner/select_snik_virtual_range_violation.sparql

Created January 17, 2017 17:26
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save KonradHoeffner/d9638183fc5fe00746aad137829b31fe to your computer and use it in GitHub Desktop.
Save KonradHoeffner/d9638183fc5fe00746aad137829b31fe to your computer and use it in GitHub Desktop.
Download ZIP
Raw
select_snik_virtual_range_violation.sparql
select distinct(?s) ?range
FROM <http://www.snik.eu/ontology/meta>
FROM <http://www.snik.eu/ontology/bb>
FROM <http://www.snik.eu/ontology/ob>
{
graph <http://www.snik.eu/ontology/meta> {?p a owl:ObjectProperty.}
?p rdfs:range ?range.
?s a owl:Class.
?s rdfs:subClassOf ?superClass.
filter not exists {?superClass a owl:Restriction.}
?s rdfs:subClassOf ?r.
?r a owl:Restriction.
?r owl:someValuesFrom ?o.
?r owl:onProperty ?p.
filter(?o!=?range)
MINUS {?o rdfs:subClassOf ?range.}
MINUS {?o rdfs:subClassOf [ rdfs:subClassOf ?range].}
MINUS {?o rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf ?range]].}
MINUS {?o rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf ?range]]].}
MINUS {?o rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf ?range]]]].}
MINUS {?o rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf?range]]]]].}
MINUS {?o rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf ?range]]]]]].}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment