Skip to content

Instantly share code, notes, and snippets.

@KonradHoeffner

KonradHoeffner/select_snik_virtual_domain_violation.sparql

Last active January 17, 2017 17:21
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/d208a262806a3a080650494c90382589 to your computer and use it in GitHub Desktop.
Save KonradHoeffner/d208a262806a3a080650494c90382589 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
select_snik_virtual_domain_violation.sparql
select distinct(?s) ?domain
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:domain ?domain.
?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(?s!=?domain)
MINUS {?s rdfs:subClassOf ?domain.}
MINUS {?s rdfs:subClassOf [ rdfs:subClassOf ?domain].}
MINUS {?s rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf ?domain]].}
MINUS {?s rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf ?domain]]].}
MINUS {?s rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf ?domain]]]].}
MINUS {?s rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf?domain]]]]].}
MINUS {?s rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf [ rdfs:subClassOf ?domain]]]]]].}
}
@KonradHoeffner
Copy link
Author

still buggy, due to virtuoso?

@KonradHoeffner
Copy link
Author

added workaround

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment