Update check_method_comparators.ttl

Accord-Project · Jan 24, 2024 · dbb4a2f · dbb4a2f
1 parent cf7bfe3
commit dbb4a2f
Showing 1 changed file with 82 additions and 134 deletions.
diff --git a/src/check_method_comparators.ttl b/src/check_method_comparators.ttl
@@ -8,167 +8,115 @@
 @prefix vann: <http://purl.org/vocab/vann/> .
 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
 
-aec3po:check_method_operators a owl:Ontology ;
+aec3po:check_method_comparators a owl:Ontology ;
     cc:license <https://creativecommons.org/licenses/by/4.0/> ;
     dct:contributor aec3po:amna ;
-    dct:description "Definition of operators scheme for AEC3PO."@en ;
-    dct:modified "2023-09-25"^^xsd:date ;
-    dct:title "AEC3PO: Operators"@en ;
+    dct:description "Definition of comparators scheme for AEC3PO."@en ;
+    dct:modified "2024-01-24"^^xsd:date ;
+    dct:title "AEC3PO: comparators"@en ;
     vann:preferredNamespacePrefix "aec3po" ;
     vann:preferredNamespaceUri "https://w3id.org/lbd/aec3po/" .
 
-aec3po:CheckMethodOperator a owl:Class ;
-    rdfs:label "check method operator"@en ;
-    rdfs:comment "Formally defined as the set of skos:Concept in concept scheme aec3po:CheckMethodOperatorNomenclature"@en ;
-    rdfs:isDefinedBy aec3po:check_method_operators ;
+aec3po:CheckMethodComparator a owl:Class ;
+    rdfs:label "check method comparator"@en ;
+    rdfs:comment "Formally defined as the set of skos:Concept in concept scheme aec3po:CheckMethodComparatorNomenclature"@en ;
+    rdfs:isDefinedBy aec3po:check_method_comparators ;
     rdfs:subClassOf skos:Concept,
         aec3po:CheckMethod ;
     owl:equivalentClass [ owl:intersectionOf ( skos:Concept [ a owl:Restriction ;
-                        owl:hasValue aec3po:CheckMethodOperatorNomenclature ;
+                        owl:hasValue aec3po:CheckMethodComparatorNomenclature ;
                         owl:onProperty skos:inScheme ] ) ] .
 
-aec3po:CheckMethodOperatorNomenclature a skos:ConceptScheme ;
+aec3po:CheckMethodComparatorNomenclature a skos:ConceptScheme ;
     rdfs:label "check method nomenclature"@en ;
-    rdfs:isDefinedBy aec3po:check_method_operators ;
-    skos:definition """A set of operators for the check method.
-  AEC3PO includes a set of operators for this nomenclature.
-  These operators are :
-  - _eq : equal-to operator;
-  - operator_neq : not equal-to operator.
-  - operator_lt : less-than operator.
-  - operator_le : less-equal operator.
-  - operator_gt : greater-than operator.
-  - operator_ge : greater-equal operator.
-  - operator_exists : exists operator.
-  - operator_notExists : not-exists operator.
-  - operator_forall : forall operator."""@en ;
-    skos:hasTopConcept aec3po:CheckMethodOperator-eq, 
-        aec3po:CheckMethodOperator-neq, 
-        aec3po:CheckMethodOperator-lt, 
-        aec3po:CheckMethodOperator-le, 
-        aec3po:CheckMethodOperator-gt,
-        aec3po:CheckMethodOperator-ge,
-        aec3po:CheckMethodOperator-exists,
-        aec3po:CheckMethodOperator-notExists,
-        aec3po:CheckMethodOperator-forall.
-
-aec3po:CheckMethodOperator-eq a owl:NamedIndividual, skos:Concept,
-        aec3po:CheckMethodOperator ;
-    rdfs:isDefinedBy aec3po:check_method_operators ;
-    skos:definition "equal-to operator."@en ;
-    skos:inScheme aec3po:CheckMethodOperatorNomenclature ;
+    rdfs:isDefinedBy aec3po:check_method_comparators ;
+    skos:definition """A set of comparators for the check method.
+  AEC3PO includes a set of comparators for this nomenclature.
+  These comparators are :
+  - _eq : equal-to comparator;
+  - comparator_neq : not equal-to comparator.
+  - comparator_lt : less-than comparator.
+  - comparator_le : less-equal comparator.
+  - comparator_gt : greater-than comparator.
+  - comparator_ge : greater-equal comparator."""@en ;
+    skos:hasTopConcept aec3po:CheckMethodComparator-eq, 
+        aec3po:CheckMethodcomparator-neq, 
+        aec3po:CheckMethodcomparator-lt, 
+        aec3po:CheckMethodcomparator-le, 
+        aec3po:CheckMethodcomparator-gt,
+        aec3po:CheckMethodcomparator-ge,
+        aec3po:CheckMethodcomparator-logicalAND,
+        aec3po:CheckMethodcomparator-logicalOR.
+
+aec3po:CheckMethodcomparator-eq a owl:NamedIndividual, skos:Concept,
+        aec3po:CheckMethodcomparator ;
+    rdfs:isDefinedBy aec3po:check_method_comparators ;
+    skos:definition "equal-to comparator."@en ;
+    skos:inScheme aec3po:CheckMethodComparatorNomenclature ;
     skos:prefLabel "equal-to"@en ;
-    skos:topConceptOf aec3po:CheckMethodOperatorNomenclature .
+    skos:topConceptOf aec3po:CheckMethodComparatorNomenclature .
 
-aec3po:CheckMethodOperator-neq a owl:NamedIndividual, skos:Concept,
-        aec3po:CheckMethodOperator ;
-    rdfs:isDefinedBy aec3po:check_method_operators ;
-    skos:definition "not equal-to operator."@en ;
-    skos:inScheme aec3po:CheckMethodOperatorNomenclature ;
+aec3po:CheckMethodComparator-neq a owl:NamedIndividual, skos:Concept,
+        aec3po:CheckMethodComparator ;
+    rdfs:isDefinedBy aec3po:check_method_comparators ;
+    skos:definition "not equal-to comparator."@en ;
+    skos:inScheme aec3po:CheckMethodComparatorNomenclature ;
     skos:prefLabel "not equal-to"@en ;
-    skos:topConceptOf aec3po:CheckMethodOperatorNomenclature .
+    skos:topConceptOf aec3po:CheckMethodComparatorNomenclature .
 
-aec3po:CheckMethodOperator-lt a owl:NamedIndividual, skos:Concept,
-        aec3po:CheckMethodOperator ;
-    rdfs:isDefinedBy aec3po:check_method_operators ;
-    skos:definition "less-than operator."@en ;
-    skos:inScheme aec3po:CheckMethodOperatorNomenclature ;
+aec3po:CheckMethodComparator-lt a owl:NamedIndividual, skos:Concept,
+        aec3po:CheckMethodComparator ;
+    rdfs:isDefinedBy aec3po:check_method_comparators ;
+    skos:definition "less-than comparator."@en ;
+    skos:inScheme aec3po:CheckMethodComparatorNomenclature ;
     skos:prefLabel "less than"@en ;
-    skos:topConceptOf aec3po:CheckMethodOperatorNomenclature .
+    skos:topConceptOf aec3po:CheckMethodComparatorNomenclature .
 
-aec3po:CheckMethodOperator-le a owl:NamedIndividual, skos:Concept,
-        aec3po:CheckMethodOperator ;
-    rdfs:isDefinedBy aec3po:check_method_operators ;
-    skos:definition "less-equal operator."@en ;
-    skos:inScheme aec3po:CheckMethodOperatorNomenclature ;
+aec3po:CheckMethodComparator-le a owl:NamedIndividual, skos:Concept,
+        aec3po:CheckMethodComparator ;
+    rdfs:isDefinedBy aec3po:check_method_comparators ;
+    skos:definition "less-equal comparator."@en ;
+    skos:inScheme aec3po:CheckMethodComparatorNomenclature ;
     skos:prefLabel "less equal"@en ;
-    skos:topConceptOf aec3po:CheckMethodOperatorNomenclature .
+    skos:topConceptOf aec3po:CheckMethodComparatorNomenclature .
 
-aec3po:CheckMethodOperator-gt a owl:NamedIndividual, skos:Concept,
-        aec3po:CheckMethodOperator ;
-    rdfs:isDefinedBy aec3po:check_method_operators ;
-    skos:definition "greater-than operator."@en ;
-    skos:inScheme aec3po:CheckMethodOperatorNomenclature ;
+aec3po:CheckMethodComparator-gt a owl:NamedIndividual, skos:Concept,
+        aec3po:CheckMethodComparator ;
+    rdfs:isDefinedBy aec3po:check_method_comparators ;
+    skos:definition "greater-than comparator."@en ;
+    skos:inScheme aec3po:CheckMethodComparatorNomenclature ;
     skos:prefLabel "greater than"@en ;
-    skos:topConceptOf aec3po:CheckMethodOperatorNomenclature .
+    skos:topConceptOf aec3po:CheckMethodComparatorNomenclature .
 
-aec3po:CheckMethodOperator-ge a owl:NamedIndividual, skos:Concept,
-        aec3po:CheckMethodOperator ;
-    rdfs:isDefinedBy aec3po:check_method_operators ;
-    skos:definition "greater-equal operator."@en ;
-    skos:inScheme aec3po:CheckMethodOperatorNomenclature ;
+aec3po:CheckMethodComparator-ge a owl:NamedIndividual, skos:Concept,
+        aec3po:CheckMethodComparator ;
+    rdfs:isDefinedBy aec3po:check_method_comparators ;
+    skos:definition "greater-equal comparator."@en ;
+    skos:inScheme aec3po:CheckMethodComparatorNomenclature ;
     skos:prefLabel "greater equal"@en ;
-    skos:topConceptOf aec3po:CheckMethodOperatorNomenclature .
-
-aec3po:CheckMethodOperator-exists a owl:NamedIndividual, skos:Concept,
-        aec3po:CheckMethodOperator ;
-    rdfs:isDefinedBy aec3po:check_method_operators ;
-    skos:definition "exists operator."@en ;
-    skos:inScheme aec3po:CheckMethodOperatorNomenclature ;
-    skos:prefLabel "exists"@en ;
-    skos:topConceptOf aec3po:CheckMethodOperatorNomenclature .
-
-aec3po:CheckMethodOperator-notExists a owl:NamedIndividual, skos:Concept,
-        aec3po:CheckMethodOperator ;
-    rdfs:isDefinedBy aec3po:check_method_operators ;
-    skos:definition "not exists operator."@en ;
-    skos:inScheme aec3po:CheckMethodOperatorNomenclature ;
-    skos:prefLabel "not exists"@en ;
-    skos:topConceptOf aec3po:CheckMethodOperatorNomenclature .
-
-aec3po:CheckMethodOperator-forall a owl:NamedIndividual, skos:Concept,
-        aec3po:CheckMethodOperator ;
-    rdfs:isDefinedBy aec3po:check_method_operators ;
-    skos:definition "forall operator."@en ;
-    skos:inScheme aec3po:CheckMethodOperatorNomenclature ;
-    skos:prefLabel "forall"@en ;
-    skos:topConceptOf aec3po:CheckMethodOperatorNomenclature .
+    skos:topConceptOf aec3po:CheckMethodComparatorNomenclature .
 
-aec3po:CheckMethodOperator-logicalAND a owl:NamedIndividual, skos:Concept,
-        aec3po:CheckMethodOperator ;
-    rdfs:isDefinedBy aec3po:check_method_operators ;
-    skos:definition "logical AND operator."@en ;
-    skos:inScheme aec3po:CheckMethodOperatorNomenclature ;
+aec3po:CheckMethodcomparator-logicalAND a owl:NamedIndividual, skos:Concept,
+        aec3po:CheckMethodComparator ;
+    rdfs:isDefinedBy aec3po:check_method_comparators ;
+    skos:definition "logical AND comparator."@en ;
+    skos:inScheme aec3po:CheckMethodComparatorNomenclature ;
     skos:prefLabel "logicalAND"@en ;
-    skos:topConceptOf aec3po:CheckMethodOperatorNomenclature .
+    skos:topConceptOf aec3po:CheckMethodComparatorNomenclature .
 
-aec3po:CheckMethodOperator-logicalOR a owl:NamedIndividual, skos:Concept,
-        aec3po:CheckMethodOperator ;
-    rdfs:isDefinedBy aec3po:check_method_operators ;
-    skos:definition "logical OR operator."@en ;
-    skos:inScheme aec3po:CheckMethodOperatorNomenclature ;
+aec3po:CheckMethodComparator-logicalOR a owl:NamedIndividual, skos:Concept,
+        aec3po:CheckMethodComparator ;
+    rdfs:isDefinedBy aec3po:check_method_comparators ;
+    skos:definition "logical OR comparator."@en ;
+    skos:inScheme aec3po:CheckMethodComparatorNomenclature ;
     skos:prefLabel "logicalOR"@en ;
-    skos:topConceptOf aec3po:CheckMethodOperatorNomenclature .
-
-aec3po:CheckMethodOperator-multiplication a owl:NamedIndividual, skos:Concept,
-        aec3po:CheckMethodOperator ;
-    rdfs:isDefinedBy aec3po:check_method_operators ;
-    skos:definition "multiplication Operator."@en ;
-    skos:inScheme aec3po:CheckMethodOperatorNomenclature ;
-    skos:prefLabel "multiplication"@en ;
-    skos:topConceptOf aec3po:CheckMethodOperatorNomenclature .
-
-aec3po:CheckMethodOperator-division a owl:NamedIndividual, skos:Concept,
-        aec3po:CheckMethodOperator ;
-    rdfs:isDefinedBy aec3po:check_method_operators ;
-    skos:definition "division Operator."@en ;
-    skos:inScheme aec3po:CheckMethodOperatorNomenclature ;
-    skos:prefLabel "division"@en ;
-    skos:topConceptOf aec3po:CheckMethodOperatorNomenclature .
-
-aec3po:CheckMethodOperator-addition a owl:NamedIndividual, skos:Concept,
-        aec3po:CheckMethodOperator ;
-    rdfs:isDefinedBy aec3po:check_method_operators ;
-    skos:definition "addition operator."@en ;
-    skos:inScheme aec3po:CheckMethodOperatorNomenclature ;
-    skos:prefLabel "addition"@en ;
-    skos:topConceptOf aec3po:CheckMethodOperatorNomenclature .
+    skos:topConceptOf aec3po:CheckMethodComparatorNomenclature .
 
-aec3po:hasOperator a owl:FunctionalProperty,
+aec3po:hasComparator a owl:FunctionalProperty,
         owl:ObjectProperty ;
-    rdfs:label "has operator"@en ;
-    rdfs:comment """The operator of a feature of interest or a property of that is needed by the check method.
-  A set of operators is defined by aec3po in the corresponding concept scheme."""@en ;
-    rdfs:isDefinedBy aec3po:check_method_Operators ;
+    rdfs:label "has comparator"@en ;
+    rdfs:comment """The comparator of a feature of interest or a property of that is needed by the check method.
+  A set of comparators is defined by aec3po in the corresponding concept scheme."""@en ;
+    rdfs:isDefinedBy aec3po:check_method_comparators ;
     rdfs:range aec3po:CheckMethod ;
     rdfs:subPropertyOf aec3po:hasDesign .