|
1 | | -@prefix aec3po: <https://w3id.org/lbd/aec3po/> . |
2 | | -@prefix cc: <http://creativecommons.org/ns#> . |
3 | | -@prefix dct: <http://purl.org/dc/terms/> . |
4 | | -@prefix dul: <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#> . |
5 | | -@prefix owl: <http://www.w3.org/2002/07/owl#> . |
6 | | -@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . |
7 | | -@prefix skos: <http://www.w3.org/2004/02/skos/core#> . |
8 | | -@prefix vann: <http://purl.org/vocab/vann/> . |
9 | | -@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . |
10 | | - |
11 | | -aec3po:compliance_verification_report a owl:Ontology ; |
12 | | - cc:license <https://creativecommons.org/licenses/by/4.0/> ; |
13 | | - dct:contributor <http://maxime-lefrancois.info/me#> ; |
14 | | - dct:description "The AEC3PO Compliance Verification Report module describes results of some `aec3po:ProcessVerifier` checking some entity via a `aec3po:CheckingAct`. Entities may be validated or repudiated."@en ; |
15 | | - dct:modified "2023-05-26"^^xsd:date ; |
16 | | - dct:title "AEC3PO: Compliance Verification Report"@en ; |
17 | | - owl:imports aec3po:check_method , aec3po:compliance_verification_report ; |
18 | | - vann:preferredNamespacePrefix "aec3po" ; |
19 | | - vann:preferredNamespaceUri "https://w3id.org/lbd/aec3po/" . |
20 | | - |
21 | | -aec3po:conforms a owl:DatatypeProperty ; |
22 | | - rdfs:label "conforms"@en ; |
23 | | -# rdfs:comment "True if the checking act did not produce any validation results, and false otherwise."@en ; |
24 | | - rdfs:comment "True if the Checking act confirms the check was validated, and false otherwise."@en ; |
25 | | - rdfs:domain aec3po:ComplianceVerificationReport ; |
26 | | - rdfs:isDefinedBy aec3po:compliance_verification_report ; |
27 | | - rdfs:range xsd:boolean . |
28 | | - |
29 | | -aec3po:ComplianceVerificationReport a owl:Class ; |
30 | | - rdfs:label "Compliance Verification Report"@en ; |
31 | | - rdfs:comment """Result of a checking act. May be compliant or not."""@en ; |
32 | | - rdfs:isDefinedBy aec3po:compliance_verification_report ; |
33 | | - rdfs:subClassOf [ a owl:Restriction ; |
34 | | - owl:onProperty aec3po:conforms ; |
35 | | - owl:cardinality 1 ] . |
36 | | - |
37 | | -aec3po:hasResult a owl:ObjectProperty ; |
38 | | - rdfs:label "has result"@en ; |
39 | | - rdfs:comment """Links a compliance verification report to some verification result."""@en ; |
40 | | - rdfs:isDefinedBy aec3po:compliance_verification_report ; |
41 | | - rdfs:domain aec3po:ComplianceVerificationReport ; |
42 | | - rdfs:range aec3po:VerificationResult . |
43 | | - |
44 | | -aec3po:VerificationResult a owl:Class ; |
45 | | - rdfs:label "Verification Result"@en ; |
46 | | - rdfs:comment """Individual verification result of a Compliance Verification Report."""@en ; |
47 | | - rdfs:isDefinedBy aec3po:compliance_verification_report ; |
48 | | - rdfs:subClassOf [ a owl:Restriction ; |
49 | | - owl:onProperty aec3po:verificationFocus ; |
50 | | - owl:cardinality 1 ] , |
51 | | - [ a owl:Restriction ; |
52 | | - owl:onProperty aec3po:hasSeverity ; |
53 | | - owl:cardinality 1 ] . |
54 | | - |
55 | | -aec3po:verificationFocus a owl:ObjectProperty ; |
56 | | - rdfs:label "verification focus"@en ; |
57 | | - rdfs:comment "Each verification result has exactly one value for the property aec3po:verificationFocus that is equal to the focus entity that has caused the result. This is the focus entity that was validated when the verification result was produced." ; |
58 | | - rdfs:domain aec3po:VerificationResult ; |
59 | | - rdfs:isDefinedBy aec3po:compliance_verification_report . |
60 | | - |
61 | | -aec3po:resultMessage a owl:DatatypeProperty ; |
62 | | - rdfs:label "result message"@en ; |
63 | | - rdfs:comment "Verification results may have values for the property aec3po:resultMessage, for example to communicate additional textual details to humans. While aec3po:resultMessage may have multiple values, there should not be two values with the same language tag. These values may be produced based on the statements in the AEC3PO graph." ; |
64 | | - rdfs:domain aec3po:VerificationResult ; |
65 | | - rdfs:isDefinedBy aec3po:compliance_verification_report . |
66 | | - |
67 | | -aec3po:severity a owl:ObjectProperty ; |
68 | | - rdfs:label "severity"@en ; |
69 | | - rdfs:comment "Each verification result has exactly one value for the property aec3po:resultSeverity, and this value is an IRI. The value is equal to the value of aec3po:severity of the statement in the AEC3PO graph that caused the result, defaulting to aec3po:Violation if no aec3po:severity has been specified for the statement." ; |
70 | | - rdfs:domain aec3po:VerificationResult ; |
71 | | - rdfs:range aec3po:Severity ; |
72 | | - rdfs:isDefinedBy aec3po:compliance_verification_report . |
73 | | - |
74 | | -aec3po:Severity a owl:Class ; |
75 | | - rdfs:label "Severity"@en ; |
76 | | - rdfs:comment "The class of validation result severity levels, including violation and warning levels."@en ; |
77 | | - rdfs:isDefinedBy aec3po:compliance_verification_report . |
78 | | - |
79 | | - aec3po:Info a owl:NamedIndividual, aec3po:Severity ; |
80 | | - rdfs:label "Info"@en ; |
81 | | - rdfs:comment "The severity for an informational validation result."@en ; |
82 | | - rdfs:isDefinedBy aec3po:compliance_verification_report . |
83 | | - |
84 | | - aec3po:Violation a owl:NamedIndividual, aec3po:Severity ; |
85 | | - rdfs:label "Violation"@en ; |
86 | | - rdfs:comment "The severity for a violation validation result."@en ; |
87 | | - rdfs:isDefinedBy aec3po:compliance_verification_report . |
88 | | - |
89 | | - aec3po:Warning a owl:NamedIndividual, aec3po:Severity ; |
90 | | - rdfs:label "Warning"@en ; |
91 | | - rdfs:comment "The severity for a warning validation result."@en ; |
92 | | - rdfs:isDefinedBy aec3po:compliance_verification_report . |
| 1 | +@prefix aec3po: <https://w3id.org/lbd/aec3po/> . |
| 2 | +@prefix cc: <http://creativecommons.org/ns#> . |
| 3 | +@prefix dct: <http://purl.org/dc/terms/> . |
| 4 | +@prefix dul: <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#> . |
| 5 | +@prefix owl: <http://www.w3.org/2002/07/owl#> . |
| 6 | +@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . |
| 7 | +@prefix skos: <http://www.w3.org/2004/02/skos/core#> . |
| 8 | +@prefix vann: <http://purl.org/vocab/vann/> . |
| 9 | +@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . |
| 10 | + |
| 11 | +aec3po:compliance_verification_report a owl:Ontology ; |
| 12 | + cc:license <https://creativecommons.org/licenses/by/4.0/> ; |
| 13 | + dct:contributor <http://maxime-lefrancois.info/me#> ; |
| 14 | + dct:description "The AEC3PO Compliance Verification Report module describes results of some `aec3po:ProcessVerifier` checking some entity via a `aec3po:CheckingAct`. Entities may be validated or repudiated."@en ; |
| 15 | + dct:modified "2023-05-26"^^xsd:date ; |
| 16 | + dct:title "AEC3PO: Compliance Verification Report"@en ; |
| 17 | + owl:imports aec3po:check_method , aec3po:compliance_verification_report ; |
| 18 | + vann:preferredNamespacePrefix "aec3po" ; |
| 19 | + vann:preferredNamespaceUri "https://w3id.org/lbd/aec3po/" . |
| 20 | + |
| 21 | +aec3po:conforms a owl:DatatypeProperty ; |
| 22 | + rdfs:label "conforms"@en ; |
| 23 | +# rdfs:comment "True if the checking act did not produce any validation results, and false otherwise."@en ; |
| 24 | + rdfs:comment "True if the Checking act confirms the check was validated, and false otherwise."@en ; |
| 25 | + rdfs:domain aec3po:ComplianceVerificationReport ; |
| 26 | + rdfs:isDefinedBy aec3po:compliance_verification_report ; |
| 27 | + rdfs:range xsd:boolean . |
| 28 | + |
| 29 | +aec3po:ComplianceVerificationReport a owl:Class ; |
| 30 | + rdfs:label "Compliance Verification Report"@en ; |
| 31 | + rdfs:comment """Result of a checking act. May be compliant or not."""@en ; |
| 32 | + rdfs:isDefinedBy aec3po:compliance_verification_report ; |
| 33 | + rdfs:subClassOf [ a owl:Restriction ; |
| 34 | + owl:onProperty aec3po:conforms ; |
| 35 | + owl:cardinality 1 ] . |
| 36 | + |
| 37 | +aec3po:hasResult a owl:ObjectProperty ; |
| 38 | + rdfs:label "has result"@en ; |
| 39 | + rdfs:comment """Links a compliance verification report to some verification result."""@en ; |
| 40 | + rdfs:isDefinedBy aec3po:compliance_verification_report ; |
| 41 | + rdfs:domain aec3po:ComplianceVerificationReport ; |
| 42 | + rdfs:range aec3po:VerificationResult . |
| 43 | + |
| 44 | +aec3po:VerificationResult a owl:Class ; |
| 45 | + rdfs:label "Verification Result"@en ; |
| 46 | + rdfs:comment """Individual verification result of a Compliance Verification Report."""@en ; |
| 47 | + rdfs:isDefinedBy aec3po:compliance_verification_report ; |
| 48 | + rdfs:subClassOf [ a owl:Restriction ; |
| 49 | + owl:onProperty aec3po:verificationFocus ; |
| 50 | + owl:cardinality 1 ] , |
| 51 | + [ a owl:Restriction ; |
| 52 | + owl:onProperty aec3po:hasSeverity ; |
| 53 | + owl:cardinality 1 ] . |
| 54 | + |
| 55 | +aec3po:verificationFocus a owl:ObjectProperty ; |
| 56 | + rdfs:label "verification focus"@en ; |
| 57 | + rdfs:comment "Each verification result has exactly one value for the property aec3po:verificationFocus that is equal to the focus entity that has caused the result. This is the focus entity that was validated when the verification result was produced." ; |
| 58 | + rdfs:domain aec3po:VerificationResult ; |
| 59 | + rdfs:isDefinedBy aec3po:compliance_verification_report . |
| 60 | + |
| 61 | +aec3po:verificationStatement a owl:ObjectProperty ; |
| 62 | + rdfs:label "verification statement"@en ; |
| 63 | + rdfs:comment "Statement that was validated when the verification result was produced." ; |
| 64 | + rdfs:domain aec3po:VerificationResult ; |
| 65 | + rdfs:range aec3po:CheckStatement; |
| 66 | + rdfs:isDefinedBy aec3po:compliance_verification_report . |
| 67 | + |
| 68 | +aec3po:verificationPlanZone a owl:ObjectProperty ; |
| 69 | + rdfs:label "verification plan zone"@en ; |
| 70 | + rdfs:comment "Planning (urban regulation) zone where the verificationFocus entity (building or building component) is located, and that defines the regulation (verificationStatement) that was validated when the verification result was produced." ; |
| 71 | + rdfs:domain aec3po:VerificationResult ; |
| 72 | + rdfs:isDefinedBy aec3po:compliance_verification_report . |
| 73 | + |
| 74 | +aec3po:resultMessage a owl:DatatypeProperty ; |
| 75 | + rdfs:label "result message"@en ; |
| 76 | + rdfs:comment "Verification results may have values for the property aec3po:resultMessage, for example to communicate additional textual details to humans. While aec3po:resultMessage may have multiple values, there should not be two values with the same language tag. These values may be produced based on the statements in the AEC3PO graph." ; |
| 77 | + rdfs:domain aec3po:VerificationResult ; |
| 78 | + rdfs:isDefinedBy aec3po:compliance_verification_report . |
| 79 | + |
| 80 | +aec3po:severity a owl:ObjectProperty ; |
| 81 | + rdfs:label "severity"@en ; |
| 82 | + rdfs:comment "Each verification result has exactly one value for the property aec3po:resultSeverity, and this value is an IRI. The value is equal to the value of aec3po:severity of the statement in the AEC3PO graph that caused the result, defaulting to aec3po:Violation if no aec3po:severity has been specified for the statement." ; |
| 83 | + rdfs:domain aec3po:VerificationResult ; |
| 84 | + rdfs:range aec3po:Severity ; |
| 85 | + rdfs:isDefinedBy aec3po:compliance_verification_report . |
| 86 | + |
| 87 | +aec3po:Severity a owl:Class ; |
| 88 | + rdfs:label "Severity"@en ; |
| 89 | + rdfs:comment "The class of validation result severity levels, including violation and warning levels."@en ; |
| 90 | + rdfs:isDefinedBy aec3po:compliance_verification_report . |
| 91 | + |
| 92 | + aec3po:Info a owl:NamedIndividual, aec3po:Severity ; |
| 93 | + rdfs:label "Info"@en ; |
| 94 | + rdfs:comment "The severity for an informational validation result."@en ; |
| 95 | + rdfs:isDefinedBy aec3po:compliance_verification_report . |
| 96 | + |
| 97 | + aec3po:Violation a owl:NamedIndividual, aec3po:Severity ; |
| 98 | + rdfs:label "Violation"@en ; |
| 99 | + rdfs:comment "The severity for a violation validation result."@en ; |
| 100 | + rdfs:isDefinedBy aec3po:compliance_verification_report . |
| 101 | + |
| 102 | + aec3po:Warning a owl:NamedIndividual, aec3po:Severity ; |
| 103 | + rdfs:label "Warning"@en ; |
| 104 | + rdfs:comment "The severity for a warning validation result."@en ; |
| 105 | + rdfs:isDefinedBy aec3po:compliance_verification_report . |
0 commit comments