diff --git a/src/check_method_comparators.ttl b/src/check_method_comparators.ttl index 86a16ce..ab05c29 100644 --- a/src/check_method_comparators.ttl +++ b/src/check_method_comparators.ttl @@ -8,167 +8,115 @@ @prefix vann: . @prefix xsd: . -aec3po:check_method_operators a owl:Ontology ; +aec3po:check_method_comparators a owl:Ontology ; cc:license ; 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 .