diff --git a/src/vocabularies/check_method_comparators.ttl b/src/vocabularies/check_method_comparators.ttl deleted file mode 100644 index aeee566..0000000 --- a/src/vocabularies/check_method_comparators.ttl +++ /dev/null @@ -1,174 +0,0 @@ -@prefix aec3po: . -@prefix cc: . -@prefix dct: . -@prefix owl: . -@prefix rdf: . -@prefix rdfs: . -@prefix skos: . -@prefix vann: . -@prefix xsd: . - -aec3po:check_method_comparators a owl:Ontology ; - cc:license ; - dct:contributor aec3po:amna ; - dct:description "Definition of comparators scheme for AEC3PO."@en ; - dct:modified "2023-09-25"^^xsd:date ; - dct:title "AEC3PO: Comparators"@en ; - vann:preferredNamespacePrefix "aec3po" ; - vann:preferredNamespaceUri "https://w3id.org/lbd/aec3po/" . - -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:CheckMethodComparatorNomenclature ; - owl:onProperty skos:inScheme ] ) ] . - -aec3po:CheckMethodComparatorNomenclature a skos:ConceptScheme ; - rdfs:label "check method nomenclature"@en ; - 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 : - - comparator_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. - - comparator_exists : exists comparator. - - comparator_notExists : not-exists comparator. - - comparator_forall : forall comparator."""@en ; - skos:hasTopConcept aec3po:CheckMethodComparator-eq, - aec3po:CheckMethodComparator-neq, - aec3po:CheckMethodComparator-lt, - aec3po:CheckMethodComparator-le, - aec3po:CheckMethodComparator-gt, - aec3po:CheckMethodComparator-ge, - aec3po:CheckMethodComparator-exists, - aec3po:CheckMethodComparator-notExists, - aec3po:CheckMethodComparator-forall. - -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:CheckMethodComparatorNomenclature . - -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:CheckMethodComparatorNomenclature . - -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:CheckMethodComparatorNomenclature . - -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:CheckMethodComparatorNomenclature . - -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:CheckMethodComparatorNomenclature . - -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:CheckMethodComparatorNomenclature . - -aec3po:CheckMethodComparator-exists a owl:NamedIndividual, skos:Concept, - aec3po:CheckMethodComparator ; - rdfs:isDefinedBy aec3po:check_method_comparators ; - skos:definition "exists comparator."@en ; - skos:inScheme aec3po:CheckMethodComparatorNomenclature ; - skos:prefLabel "exists"@en ; - skos:topConceptOf aec3po:CheckMethodComparatorNomenclature . - -aec3po:CheckMethodComparator-notExists a owl:NamedIndividual, skos:Concept, - aec3po:CheckMethodComparator ; - rdfs:isDefinedBy aec3po:check_method_comparators ; - skos:definition "not exists comparator."@en ; - skos:inScheme aec3po:CheckMethodComparatorNomenclature ; - skos:prefLabel "not exists"@en ; - skos:topConceptOf aec3po:CheckMethodComparatorNomenclature . - -aec3po:CheckMethodComparator-forall a owl:NamedIndividual, skos:Concept, - aec3po:CheckMethodComparator ; - rdfs:isDefinedBy aec3po:check_method_comparators ; - skos:definition "forall comparator."@en ; - skos:inScheme aec3po:CheckMethodComparatorNomenclature ; - skos:prefLabel "forall"@en ; - skos:topConceptOf aec3po:CheckMethodComparatorNomenclature . - -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:CheckMethodComparatorNomenclature . - -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:CheckMethodComparatorNomenclature . - -aec3po:CheckMethodComparator-multiplication a owl:NamedIndividual, skos:Concept, - aec3po:CheckMethodComparator ; - rdfs:isDefinedBy aec3po:check_method_comparators ; - skos:definition "multiplication comparator."@en ; - skos:inScheme aec3po:CheckMethodComparatorNomenclature ; - skos:prefLabel "multiplication"@en ; - skos:topConceptOf aec3po:CheckMethodComparatorNomenclature . - -aec3po:CheckMethodComparator-division a owl:NamedIndividual, skos:Concept, - aec3po:CheckMethodComparator ; - rdfs:isDefinedBy aec3po:check_method_comparators ; - skos:definition "division comparator."@en ; - skos:inScheme aec3po:CheckMethodComparatorNomenclature ; - skos:prefLabel "division"@en ; - skos:topConceptOf aec3po:CheckMethodComparatorNomenclature . - -aec3po:CheckMethodComparator-addition a owl:NamedIndividual, skos:Concept, - aec3po:CheckMethodComparator ; - rdfs:isDefinedBy aec3po:check_method_comparators ; - skos:definition "addition comparator."@en ; - skos:inScheme aec3po:CheckMethodComparatorNomenclature ; - skos:prefLabel "addition"@en ; - skos:topConceptOf aec3po:CheckMethodComparatorNomenclature . - -aec3po:hasComparator a owl:FunctionalProperty, - owl:ObjectProperty ; - rdfs:label "has comparator"@en ; - rdfs:comment """The comparator/operator 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 . diff --git a/src/vocabularies/check_method_operators.ttl b/src/vocabularies/check_method_operators.ttl new file mode 100644 index 0000000..86a16ce --- /dev/null +++ b/src/vocabularies/check_method_operators.ttl @@ -0,0 +1,174 @@ +@prefix aec3po: . +@prefix cc: . +@prefix dct: . +@prefix owl: . +@prefix rdf: . +@prefix rdfs: . +@prefix skos: . +@prefix vann: . +@prefix xsd: . + +aec3po:check_method_operators 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 ; + 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 ; + rdfs:subClassOf skos:Concept, + aec3po:CheckMethod ; + owl:equivalentClass [ owl:intersectionOf ( skos:Concept [ a owl:Restriction ; + owl:hasValue aec3po:CheckMethodOperatorNomenclature ; + owl:onProperty skos:inScheme ] ) ] . + +aec3po:CheckMethodOperatorNomenclature 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 ; + skos:prefLabel "equal-to"@en ; + skos:topConceptOf aec3po:CheckMethodOperatorNomenclature . + +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 ; + skos:prefLabel "not equal-to"@en ; + skos:topConceptOf aec3po:CheckMethodOperatorNomenclature . + +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 ; + skos:prefLabel "less than"@en ; + skos:topConceptOf aec3po:CheckMethodOperatorNomenclature . + +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 ; + skos:prefLabel "less equal"@en ; + skos:topConceptOf aec3po:CheckMethodOperatorNomenclature . + +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 ; + skos:prefLabel "greater than"@en ; + skos:topConceptOf aec3po:CheckMethodOperatorNomenclature . + +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 ; + 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 . + +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 ; + skos:prefLabel "logicalAND"@en ; + skos:topConceptOf aec3po:CheckMethodOperatorNomenclature . + +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 ; + 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 . + +aec3po:hasOperator 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:range aec3po:CheckMethod ; + rdfs:subPropertyOf aec3po:hasDesign .