Skip to content

Commit

Permalink
Merge pull request #2026 from edmcouncil/hygine_test_update
Browse files Browse the repository at this point in the history 
Hygiene tests update
  • Loading branch information
@ElisaKendall
ElisaKendall authored Jan 3, 2025
2 parents d39abc4 + f02c3ed commit 35f79e0
Show file tree
Hide file tree
Showing 16 changed files with 322 additions and 10 deletions.
0 ...ne_classes_subclassof_non-circular.sparql → ...erized/testHygiene_cycles_subClass.sparql
View file
File renamed without changes.
12 changes: 12 additions & 0 deletions etc/testing/hygiene_parameterized/testHygiene_long_IRIs.sparql
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
##
# banner No IRI should be longer than 255 chars.


SELECT DISTINCT ?error ?resource
WHERE
{
?resource ?property ?value .
FILTER (STRLEN(STR(?resource)) > 255)
FILTER regex(str(?resource), <HYGIENE_TESTS_FILTER_PARAMETER>)
BIND (concat("WARN: IRI ", STR(?resource), " is longer than 255 chars.") AS ?error)
}
30 changes: 30 additions & 0 deletions etc/testing/hygiene_parameterized/testHygiene_obsolete_restrictions_exact&min.sparql
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,30 @@
prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>
prefix owl: <http://www.w3.org/2002/07/owl#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>
prefix afn: <http://jena.apache.org/ARQ/function#>

##
# banner We should avoid restrictions that can be inferred from other restrictions. Here we check exact and min cardinality restrictions.

SELECT ?error ?class
WHERE
{
?class rdfs:subClassOf ?restriction1.
?class rdfs:subClassOf ?restriction2.
?restriction1 rdf:type owl:Restriction.
?restriction2 rdf:type owl:Restriction.
?restriction1 owl:onProperty ?property1.
?restriction2 owl:onProperty ?property2.
?restriction1 owl:onClass ?restrictingClass1.
?restriction2 owl:onClass ?restrictingClass2.
?restriction1 owl:qualifiedCardinality ?cardinality1.
?restriction2 owl:minQualifiedCardinality ?cardinality2.
{?property1 rdfs:subPropertyOf+ ?property2.} UNION {FILTER (?property1 = ?property2)}
?restrictingClass1 rdfs:subClassOf* ?restrictingClass2.
FILTER (?cardinality1 >= ?cardinality2)
FILTER regex(str(?class), <HYGIENE_TESTS_FILTER_PARAMETER>)
BIND (CONCAT(STR(afn:localname(?property1)), " exactly ", STR(?cardinality1), " ", STR(afn:localname(?restrictingClass1))) as ?restriction1String)
BIND (CONCAT(STR(afn:localname(?property2)), " min ", STR(?cardinality2), " ", STR(afn:localname(?restrictingClass2))) as ?restriction2String)
BIND(CONCAT("PRODERROR: Class ", STR(?class), " has obsolete min cardinality restriction <", ?restriction2String, "> because of exact cardinality restriction <", ?restriction1String, ">.") as ?error)
}
32 changes: 32 additions & 0 deletions etc/testing/hygiene_parameterized/testHygiene_obsolete_restrictions_exact&min_remote.sparql
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,32 @@
prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>
prefix owl: <http://www.w3.org/2002/07/owl#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>
prefix afn: <http://jena.apache.org/ARQ/function#>

##
# banner We may want to avoid restrictions that can be remotely inferred from other restrictions. Here we check remote exact and min cardinality restrictions.

SELECT ?error ?class
WHERE
{
?class rdfs:subClassOf+ ?restriction1.
?superClass rdfs:subClassOf ?restriction1.
?class rdfs:subClassOf ?restriction2.
?restriction1 rdf:type owl:Restriction.
?restriction2 rdf:type owl:Restriction.
?restriction1 owl:onProperty ?property1.
?restriction2 owl:onProperty ?property2.
?restriction1 owl:onClass ?restrictingClass1.
?restriction2 owl:onClass ?restrictingClass2.
?restriction1 owl:qualifiedCardinality ?cardinality1.
?restriction2 owl:minQualifiedCardinality ?cardinality2.
{?property1 rdfs:subPropertyOf+ ?property2.} UNION {FILTER (?property1 = ?property2)}
?restrictingClass1 rdfs:subClassOf* ?restrictingClass2.
FILTER (?cardinality1 >= ?cardinality2)
FILTER (?cardinality1 > 0)
FILTER regex(str(?class), <HYGIENE_TESTS_FILTER_PARAMETER>)
BIND (CONCAT(STR(afn:localname(?property1)), " exactly ", STR(?cardinality1), " ", STR(afn:localname(?restrictingClass1))) as ?restriction1String)
BIND (CONCAT(STR(afn:localname(?property2)), " min ", STR(?cardinality2), " ", STR(afn:localname(?restrictingClass2))) as ?restriction2String)
BIND (CONCAT("WARN: Class ", STR(?class), " may inherit obsolete min cardinality restriction <", ?restriction2String, "> because of exact cardinality restriction <", ?restriction1String, ">", " from class ", STR(?restrictingClass1)) as ?error)
}
33 changes: 33 additions & 0 deletions etc/testing/hygiene_parameterized/testHygiene_obsolete_restrictions_max&exact.sparql
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,33 @@
prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>
prefix owl: <http://www.w3.org/2002/07/owl#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>
prefix afn: <http://jena.apache.org/ARQ/function#>

##
# banner We may want to avoid restrictions that can be inferred from other restrictions. Here we check exact and max cardinality restrictions.


SELECT ?error ?class
WHERE
{
?class rdfs:subClassOf ?restriction1.
?class rdfs:subClassOf ?restriction2.
?restriction1 rdf:type owl:Restriction.
?restriction2 rdf:type owl:Restriction.
?restriction1 owl:onProperty ?property1.
?restriction2 owl:onProperty ?property2.
?restriction1 owl:onClass ?restrictingClass1.
?restriction2 owl:onClass ?restrictingClass2.
?restriction1 owl:maxQualifiedCardinality ?cardinality1.
?restriction2 owl:qualifiedCardinality ?cardinality2.
{?property1 rdfs:subPropertyOf+ ?property2.} UNION {FILTER (?property1 = ?property2)}
?restrictingClass1 rdfs:subClassOf* ?restrictingClass2.
FILTER (?restriction1 != ?restriction2)
FILTER (?cardinality1 >= ?cardinality2)
FILTER (?cardinality1 > 0)
FILTER regex(str(?class), <HYGIENE_TESTS_FILTER_PARAMETER>)
BIND (CONCAT(STR(afn:localname(?property1)), " max ", STR(?cardinality1), " ", STR(afn:localname(?restrictingClass1))) as ?restriction1String)
BIND (CONCAT(STR(afn:localname(?property2)), " exactly ", STR(?cardinality2), " ", STR(afn:localname(?restrictingClass2))) as ?restriction2String)
BIND(CONCAT("WARN: Class ", STR(?class), " may inherit obsolete max cardinality restriction <", ?restriction1String, "> because of exact cardinality restriction <", ?restriction2String, ">.") as ?error)
}
33 changes: 33 additions & 0 deletions etc/testing/hygiene_parameterized/testHygiene_obsolete_restrictions_max&exact_remote.sparql
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,33 @@
prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>
prefix owl: <http://www.w3.org/2002/07/owl#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>
prefix afn: <http://jena.apache.org/ARQ/function#>

##
# banner We may want to avoid restrictions that can be remotely inferred from other restrictions. Here we check remote exact and max cardinality restrictions.


SELECT ?error ?class
WHERE
{
?class rdfs:subClassOf+ ?restriction2.
?superClass rdfs:subClassOf ?restriction2.
?class rdfs:subClassOf ?restriction1.
?restriction1 rdf:type owl:Restriction.
?restriction2 rdf:type owl:Restriction.
?restriction1 owl:onProperty ?property1.
?restriction2 owl:onProperty ?property2.
?restriction1 owl:onClass ?restrictingClass1.
?restriction2 owl:onClass ?restrictingClass2.
?restriction1 owl:maxQualifiedCardinality ?cardinality1.
?restriction2 owl:qualifiedCardinality ?cardinality2.
{?property1 rdfs:subPropertyOf+ ?property2.} UNION {FILTER (?property1 = ?property2)}
?restrictingClass1 rdfs:subClassOf* ?restrictingClass2.
FILTER (?cardinality1 >= ?cardinality2)
FILTER (?cardinality1 > 0)
FILTER regex(str(?class), <HYGIENE_TESTS_FILTER_PARAMETER>)
BIND (CONCAT(STR(afn:localname(?property1)), " max ", STR(?cardinality1), " ", STR(afn:localname(?restrictingClass1))) as ?restriction1String)
BIND (CONCAT(STR(afn:localname(?property2)), " exactly ", STR(?cardinality2), " ", STR(afn:localname(?restrictingClass2))) as ?restriction2String)
BIND(CONCAT("WARN: Class ", STR(?class), " may inherit obsolete max cardinality restriction <", ?restriction1String, "> because of exact cardinality restriction <", ?restriction2String, ">", " from class ", STR(?superClass)) as ?error)
}
33 changes: 33 additions & 0 deletions etc/testing/hygiene_parameterized/testHygiene_obsolete_restrictions_max.sparql
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,33 @@
prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>
prefix owl: <http://www.w3.org/2002/07/owl#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>
prefix afn: <http://jena.apache.org/ARQ/function#>

##
# banner We should avoid restrictions that can be inferred from other restrictions. Here we check max cardinality restrictions.


SELECT ?error ?class
WHERE
{
?class rdfs:subClassOf ?restriction1.
?class rdfs:subClassOf ?restriction2.
?restriction1 rdf:type owl:Restriction.
?restriction2 rdf:type owl:Restriction.
?restriction1 owl:onProperty ?property1.
?restriction2 owl:onProperty ?property2.
?restriction1 owl:onClass ?restrictingClass1.
?restriction2 owl:onClass ?restrictingClass2.
?restriction1 owl:maxQualifiedCardinality ?cardinality1.
?restriction2 owl:maxQualifiedCardinality ?cardinality2.
{?property1 rdfs:subPropertyOf+ ?property2.} UNION {FILTER (?property1 = ?property2)}
?restrictingClass1 rdfs:subClassOf* ?restrictingClass2.
FILTER (?restriction1 != ?restriction2)
FILTER (?cardinality1 >= ?cardinality2)
FILTER (?cardinality2 > 0)
FILTER regex(str(?class), <HYGIENE_TESTS_FILTER_PARAMETER>)
BIND (CONCAT(STR(afn:localname(?property1)), " max ", STR(?cardinality1), " ", STR(afn:localname(?restrictingClass1))) as ?restriction1String)
BIND (CONCAT(STR(afn:localname(?property2)), " max ", STR(?cardinality2), " ", STR(afn:localname(?restrictingClass2))) as ?restriction2String)
BIND(CONCAT("PRODERROR: Class ", STR(?class), " has obsolete max cardinality restriction <", ?restriction1String, "> because of max cardinality restriction <", ?restriction2String, ">.") as ?error)
}
34 changes: 34 additions & 0 deletions etc/testing/hygiene_parameterized/testHygiene_obsolete_restrictions_max_remote.sparql
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,34 @@
prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>
prefix owl: <http://www.w3.org/2002/07/owl#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>
prefix afn: <http://jena.apache.org/ARQ/function#>

##
# banner We may want to avoid restrictions that can be remotely inferred from other restrictions. Here we check remote max cardinality restrictions.


SELECT ?error ?class
WHERE
{
?class rdfs:subClassOf+ ?restriction2.
?superClass rdfs:subClassOf ?restriction2.
?class rdfs:subClassOf ?restriction1.
?restriction1 rdf:type owl:Restriction.
?restriction2 rdf:type owl:Restriction.
?restriction1 owl:onProperty ?property1.
?restriction2 owl:onProperty ?property2.
?restriction1 owl:onClass ?restrictingClass1.
?restriction2 owl:onClass ?restrictingClass2.
?restriction1 owl:maxQualifiedCardinality ?cardinality1.
?restriction2 owl:maxQualifiedCardinality ?cardinality2.
{?property1 rdfs:subPropertyOf+ ?property2.} UNION {FILTER (?property1 = ?property2)}
?restrictingClass1 rdfs:subClassOf* ?restrictingClass2.
FILTER (?restriction1 != ?restriction2)
FILTER (?cardinality1 >= ?cardinality2)
FILTER (?cardinality2 > 0)
FILTER regex(str(?class), <HYGIENE_TESTS_FILTER_PARAMETER>)
BIND (CONCAT(STR(afn:localname(?property1)), " max ", STR(?cardinality1), " ", STR(afn:localname(?restrictingClass1))) as ?restriction1String)
BIND (CONCAT(STR(afn:localname(?property2)), " max ", STR(?cardinality2), " ", STR(afn:localname(?restrictingClass2))) as ?restriction2String)
BIND(CONCAT("WARN: Class ", STR(?class), " may inherit obsolete max cardinality restriction <", ?restriction1String, "> because of max cardinality restriction <", ?restriction2String, ">", " from class ", STR(?superClass)) as ?error)
}
8 changes: 5 additions & 3 deletions etc/testing/hygiene_parameterized/testHygiene_obsolete_restrictions_min.sparql
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,8 @@ prefix xsd: <http://www.w3.org/2001/XMLSchema#>
prefix afn: <http://jena.apache.org/ARQ/function#>

##
# banner We should avoid restrictions that can be inferred from other restrictions.
# banner We should avoid restrictions that can be inferred from other restrictions. Here we check min cardinality restrictions.


SELECT ?error
WHERE
Expand All @@ -20,12 +21,13 @@ WHERE
?restriction2 owl:onClass ?restrictingClass2.
?restriction1 owl:minQualifiedCardinality ?minCardinality1.
?restriction2 owl:minQualifiedCardinality ?minCardinality2.
{?property1 rdfs:subPropertyOf+ ?property2.} UNION {?property1 rdfs:subPropertyOf* ?property2. FILTER (?property1 = ?property2)}
{?property1 rdfs:subPropertyOf+ ?property2.} UNION {FILTER (?property1 = ?property2)}
{?restrictingClass1 rdfs:subClassOf+ ?restrictingClass2.} UNION {?restrictingClass1 rdfs:subClassOf* ?restrictingClass2. FILTER (?restrictingClass1 = ?restrictingClass2)}
FILTER (?restriction1 != ?restriction2)
FILTER (?minCardinality1 >= ?minCardinality2)
FILTER (?minCardinality1 != 0)
FILTER regex(str(?class), <HYGIENE_TESTS_FILTER_PARAMETER>)
BIND (CONCAT(STR(afn:localname(?property1)), " min ", STR(?minCardinality1), " ", STR(afn:localname(?restrictingClass1))) as ?restriction1String)
BIND (CONCAT(STR(afn:localname(?property2)), " min ", STR(?minCardinality2), " ", STR(afn:localname(?restrictingClass2))) as ?restriction2String)
BIND(CONCAT("WARN: Class ", STR(?class), " has obsolete restriction <", ?restriction2String, "> because of restriction <", ?restriction1String, ">.") as ?error)
BIND(CONCAT("PRODERROR: Class ", STR(?class), " has obsolete min cardinality restriction <", ?restriction2String, "> because of min cardinality restriction <", ?restriction1String, ">.") as ?error)
}
29 changes: 29 additions & 0 deletions ...sting/hygiene_parameterized/testHygiene_obsolete_restrictions_someValuesFrom&exact.sparql
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,29 @@
prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>
prefix owl: <http://www.w3.org/2002/07/owl#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>
prefix afn: <http://jena.apache.org/ARQ/function#>

##
# banner We should avoid restrictions that can be inferred from other restrictions. Here we check someValues and exact cardinality restrictions.

SELECT ?error ?class
WHERE
{
?class rdfs:subClassOf ?restriction1.
?class rdfs:subClassOf ?restriction2.
?restriction1 rdf:type owl:Restriction.
?restriction2 rdf:type owl:Restriction.
?restriction1 owl:onProperty ?property1.
?restriction2 owl:onProperty ?property2.
?restriction2 owl:onClass ?restrictingClass2.
?restriction2 owl:someValuesFrom ?restrictingClass2.
?restriction1 owl:qualifiedCardinality ?cardinality1.
{?property1 rdfs:subPropertyOf+ ?property2.} UNION {FILTER (?property1 = ?property2)}
?restrictingClass1 rdfs:subClassOf* ?restrictingClass2.
FILTER (?cardinality1 > 0)
FILTER regex(str(?class), <HYGIENE_TESTS_FILTER_PARAMETER>)
BIND (CONCAT(STR(afn:localname(?property1)), " someValuesFrom ", STR(afn:localname(?restrictingClass1))) as ?restriction1String)
BIND (CONCAT(STR(afn:localname(?property2)), " exact ", STR(?cardinality2), " ", STR(afn:localname(?restrictingClass2))) as ?restriction2String)
BIND(CONCAT("PRODERROR: Class ", STR(?class), " has obsolete someValues restriction <", ?restriction2String, "> because of exact cardinality restriction <", ?restriction1String, ">.") as ?error)
}
30 changes: 30 additions & 0 deletions ...ygiene_parameterized/testHygiene_obsolete_restrictions_someValuesFrom&exact_remote.sparql
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,30 @@
prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>
prefix owl: <http://www.w3.org/2002/07/owl#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>
prefix afn: <http://jena.apache.org/ARQ/function#>

##
# banner We may want to avoid restrictions that can be remotely inferred from other restrictions. Here we check remote someValues and exact cardinality restrictions.

SELECT ?error ?class
WHERE
{
?class rdfs:subClassOf+ ?restriction1.
?superClass rdfs:subClassOf ?restriction2.
?class rdfs:subClassOf ?restriction2.
?restriction1 rdf:type owl:Restriction.
?restriction2 rdf:type owl:Restriction.
?restriction1 owl:onProperty ?property1.
?restriction2 owl:onProperty ?property2.
?restriction2 owl:onClass ?restrictingClass2.
?restriction2 owl:someValuesFrom ?restrictingClass2.
?restriction1 owl:qualifiedCardinality ?cardinality1.
{?property1 rdfs:subPropertyOf+ ?property2.} UNION {FILTER (?property1 = ?property2)}
?restrictingClass1 rdfs:subClassOf* ?restrictingClass2.
FILTER (?cardinality1 > 0)
FILTER regex(str(?class), <HYGIENE_TESTS_FILTER_PARAMETER>)
BIND (CONCAT(STR(afn:localname(?property1)), " someValuesFrom ", STR(afn:localname(?restrictingClass1))) as ?restriction1String)
BIND (CONCAT(STR(afn:localname(?property2)), " exact ", STR(?cardinality2), " ", STR(afn:localname(?restrictingClass2))) as ?restriction2String)
BIND(CONCAT("WARN: Class ", STR(?class), " may inherit obsolete someValues restriction <", ?restriction1String, "> because of exact cardinality restriction <", ?restriction2String, ">", " from class ", STR(?superClass)) as ?error)
}
29 changes: 29 additions & 0 deletions ...testing/hygiene_parameterized/testHygiene_obsolete_restrictions_someValuesFrom&min.sparql
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,29 @@
prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>
prefix owl: <http://www.w3.org/2002/07/owl#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>
prefix afn: <http://jena.apache.org/ARQ/function#>

##
# banner We should avoid restrictions that can be inferred from other restrictions. Here we check someValues and min cardinality restrictions.

SELECT ?error ?class
WHERE
{
?class rdfs:subClassOf ?restriction1.
?class rdfs:subClassOf ?restriction2.
?restriction1 rdf:type owl:Restriction.
?restriction2 rdf:type owl:Restriction.
?restriction1 owl:onProperty ?property1.
?restriction2 owl:onProperty ?property2.
?restriction1 owl:onClass ?restrictingClass1.
?restriction2 owl:someValuesFrom ?restrictingClass2.
?restriction1 owl:minQualifiedCardinality ?cardinality1.
{?property1 rdfs:subPropertyOf+ ?property2.} UNION {FILTER (?property1 = ?property2)}
?restrictingClass1 rdfs:subClassOf* ?restrictingClass2.
FILTER (?cardinality1 > 0)
FILTER regex(str(?class), <HYGIENE_TESTS_FILTER_PARAMETER>)
BIND (CONCAT(STR(afn:localname(?property1)), " min ", STR(?cardinality1), " ", STR(afn:localname(?restrictingClass1))) as ?restriction1String)
BIND (CONCAT(STR(afn:localname(?property2)), " someValuesFrom ", STR(afn:localname(?restrictingClass2))) as ?restriction2String)
BIND (CONCAT("PRODERROR: Class ", STR(?class), " has obsolete someValues restriction <", ?restriction2String, "> because of min cardinality restriction <", ?restriction1String, ">.") as ?error)
}
7 changes: 4 additions & 3 deletions etc/testing/hygiene_parameterized/testHygiene_obsolete_restrictions_someValuesFrom.sparql
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ prefix xsd: <http://www.w3.org/2001/XMLSchema#>
prefix afn: <http://jena.apache.org/ARQ/function#>

##
# banner We should avoid restrictions that can be inferred from other restrictions.
# banner We should avoid restrictions that can be inferred from other restrictions. Here we check someValues restrictions.


SELECT ?error
Expand All @@ -19,10 +19,11 @@ WHERE
?restriction2 owl:onProperty ?property2.
?restriction1 owl:someValuesFrom ?restrictingClass1.
?restriction2 owl:someValuesFrom ?restrictingClass2.
{?property1 rdfs:subPropertyOf+ ?property2.} UNION {?property1 rdfs:subPropertyOf* ?property2. FILTER (?property1 = ?property2)}
{?property1 rdfs:subPropertyOf+ ?property2.} UNION {FILTER (?property1 = ?property2)}
{?restrictingClass1 rdfs:subClassOf+ ?restrictingClass2.} UNION {?restrictingClass1 rdfs:subClassOf* ?restrictingClass2. FILTER (?restrictingClass1 = ?restrictingClass2)}
FILTER (?restriction1 != ?restriction2)
FILTER regex(str(?class), <HYGIENE_TESTS_FILTER_PARAMETER>)
BIND (CONCAT(STR(afn:localname(?property1)), " someValuesFrom ", STR(afn:localname(?restrictingClass1))) as ?restriction1String)
BIND (CONCAT(STR(afn:localname(?property2)), " someValuesFrom ", STR(afn:localname(?restrictingClass2))) as ?restriction2String)
BIND(CONCAT("WARN: Class ", STR(?class), " has obsolete restriction <", ?restriction2String, "> because of restriction <", ?restriction1String, ">.") as ?error)
BIND(CONCAT("PRODERROR: Class ", STR(?class), " has obsolete someValues restriction <", ?restriction2String, "> because of someValues restriction <", ?restriction1String, ">.") as ?error)
}
Loading

0 comments on commit 35f79e0

Please sign in to comment.