Skip to content

Commit 40b801a

Browse files
authored
add qc check for cycles (#7961)
1 parent 3881ae2 commit 40b801a

File tree

1 file changed

+23
-0
lines changed

1 file changed

+23
-0
lines changed
Lines changed: 23 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,23 @@
1+
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
2+
prefix IAO: <http://purl.obolibrary.org/obo/IAO_>
3+
prefix MONDO: <http://purl.obolibrary.org/obo/MONDO_>
4+
prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>
5+
prefix oio: <http://www.geneontology.org/formats/oboInOwl#>
6+
prefix def: <http://purl.obolibrary.org/obo/IAO_0000115>
7+
prefix owl: <http://www.w3.org/2002/07/owl#>
8+
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
9+
PREFIX skos: <http://www.w3.org/2004/02/skos/core#>
10+
PREFIX RO: <http://purl.obolibrary.org/obo/RO_>
11+
12+
13+
SELECT ?entity ?property ?value
14+
15+
WHERE
16+
{
17+
VALUES ?property { RO:0004003 RO:0004029 }
18+
?entity rdfs:subClassOf [
19+
owl:onProperty ?property ;
20+
owl:someValuesFrom ?entity
21+
] .
22+
BIND ("Self cycle detected" as ?value)
23+
}

0 commit comments

Comments
 (0)