From 065f1ce02de812ffdf489c44126c5ffaa2a15eb9 Mon Sep 17 00:00:00 2001 From: LuciaPauw Date: Tue, 11 Jun 2024 14:11:39 +0200 Subject: [PATCH 01/27] Remove unnecessary files --- Schemas/.DS_Store | Bin 0 -> 6148 bytes Schemas/OWL/.DS_Store | Bin 0 -> 6148 bytes Schemas/OWL/Ontology-ImpactAccounting.owl | 572 +++---- .../OWL/Ontology-ImpactAccounting.properties | 5 - Schemas/OWL/aiaontology | 1347 ----------------- 5 files changed, 286 insertions(+), 1638 deletions(-) create mode 100644 Schemas/.DS_Store create mode 100644 Schemas/OWL/.DS_Store delete mode 100644 Schemas/OWL/Ontology-ImpactAccounting.properties delete mode 100644 Schemas/OWL/aiaontology diff --git a/Schemas/.DS_Store b/Schemas/.DS_Store new file mode 100644 index 0000000000000000000000000000000000000000..68bdeee7747a804dd76718a86636c17f914347e3 GIT binary patch literal 6148 zcmeHKJ5Iwu5S>XhuKoQFpkOm>NN8lE;oC0wX?!lX# zC9!3b5}{~Dntki}?5^KR9uE=mWH}!bjfg0L3igH=Iz;@UE$KyzI9b*hPiJLO1?!Km zm1Ks0#em#hpDyT%&K9@z`}5ChPf=!Bz9@58lGlT$m*d@!le%}l!CT$cSA9ns4XL7g zD(MlL(~@rJp|Lkz?sZ4i&++zo{&l41=vc2P*Js)s**G5`%K1!;0b{@z*med`vqh2} zMH`I)W55_#F(BUu2Ng^sdd2YRzz}}(fdiO>U@pCcj4-EpllL;`5=oMjs*pEPH1@V-^m;4Wg<&0T*E43hX&L&p$$qDprKhvt+--jT7}7np#A3 zem<@ulZcFPQ@L2!n>{z**++&mCkOWA81W14cNZlEfg7;MkzE(HCqgga^y>{tEnwC%0;vJ&^%eQ zLs35+`xjp>T0 - + ontologyIRI="http://purl.org/aiaontology"> + @@ -17,679 +17,679 @@ https://wiki.hyperledger.org/display/CASIG/Standards+WG - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - - + + + - - + + - - - - - + + + + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + - - + + - - + + - - + + - + - - + + - + - + - - + + - - + + - - + + - - + + - + LEGAL_PERSON NATURAL_PERSON - + - + - + - + - + LEGAL_PERSON NATURAL_PERSON - + DRIVER EFFECT @@ -699,7 +699,7 @@ - + CALCULATION MEASUREMENT @@ -707,7 +707,7 @@ - + COUNTERFACTUAL REAL diff --git a/Schemas/OWL/Ontology-ImpactAccounting.properties b/Schemas/OWL/Ontology-ImpactAccounting.properties deleted file mode 100644 index 04b570c..0000000 --- a/Schemas/OWL/Ontology-ImpactAccounting.properties +++ /dev/null @@ -1,5 +0,0 @@ -#Wed Sep 28 15:32:39 CAT 2022 -jdbc.url= -jdbc.driver= -jdbc.user= -jdbc.password= diff --git a/Schemas/OWL/aiaontology b/Schemas/OWL/aiaontology deleted file mode 100644 index 241879d..0000000 --- a/Schemas/OWL/aiaontology +++ /dev/null @@ -1,1347 +0,0 @@ -@prefix : . -@prefix owl: . -@prefix rdf: . -@prefix xml: . -@prefix xsd: . -@prefix prov: . -@prefix rdfs: . -@prefix skos: . -@prefix time: . -@base . - - rdf:type owl:Ontology . - -################################################################# -# Annotation properties -################################################################# - -### http://www.w3.org/2002/07/owl#equivalentClass -owl:equivalentClass rdf:type owl:AnnotationProperty . - - -### http://www.w3.org/2002/07/owl#equivalentProperty -owl:equivalentProperty rdf:type owl:AnnotationProperty . - - -### http://www.w3.org/2002/07/owl#sameAs -owl:sameAs rdf:type owl:AnnotationProperty . - - -### http://www.w3.org/2004/02/skos/core#altLabel -skos:altLabel rdf:type owl:AnnotationProperty . - - -### http://www.w3.org/2004/02/skos/core#broader -skos:broader rdf:type owl:AnnotationProperty . - - -### http://www.w3.org/2004/02/skos/core#narrower -skos:narrower rdf:type owl:AnnotationProperty . - - -### http://www.w3.org/2004/02/skos/core#related -skos:related rdf:type owl:AnnotationProperty . - - -################################################################# -# Datatypes -################################################################# - -### http://dbpedia.org/ontology/person - rdf:type rdfs:Datatype . - - -### http://purl.org/dc/terms/date - rdf:type rdfs:Datatype . - - -### http://www.w3.org/2000/01/rdf-schema#Resource -rdfs:Resource rdf:type rdfs:Datatype . - - -### http://www.w3.org/2001/XMLSchema#date -xsd:date rdf:type rdfs:Datatype ; - owl:equivalentClass . - - -################################################################# -# Object Properties -################################################################# - -### http://purl.org/aiaontology#calibratedBy -:calibratedBy rdf:type owl:ObjectProperty ; - owl:inverseOf :calibrates ; - rdfs:domain :MeasurementInstrument ; - rdfs:range :Calibrator . - - -### http://purl.org/aiaontology#calibrates -:calibrates rdf:type owl:ObjectProperty ; - rdfs:domain :Calibrator ; - rdfs:range :MeasurementInstrument . - - -### http://purl.org/aiaontology#compliesWithRequirements -:compliesWithRequirements rdf:type owl:ObjectProperty ; - rdfs:domain :Auditor ; - rdfs:range :Control . - - -### http://purl.org/aiaontology#comprises -:comprises rdf:type owl:ObjectProperty , - owl:TransitiveProperty , - owl:ReflexiveProperty ; - rdfs:comment "USE: For Activity, Control, Agent"@en . - - -### http://purl.org/aiaontology#defines -:defines rdf:type owl:ObjectProperty ; - owl:inverseOf :isDefinedBy ; - rdfs:range :Environment ; - rdfs:comment "A collection of Parameters defines an Environment."@en . - - -### http://purl.org/aiaontology#forParameter -:forParameter rdf:type owl:ObjectProperty ; - rdfs:domain :ExpressionSymbol ; - rdfs:range :Parameter . - - -### http://purl.org/aiaontology#fromImpactClaim -:fromImpactClaim rdf:type owl:ObjectProperty ; - owl:inverseOf :hasIPP ; - rdfs:domain :IPP ; - rdfs:range :ImpactClaim . - - -### http://purl.org/aiaontology#hasActivity -:hasActivity rdf:type owl:ObjectProperty ; - rdfs:domain :ImpactClaim ; - rdfs:range :Activity . - - -### http://purl.org/aiaontology#hasActivityClass -:hasActivityClass rdf:type owl:ObjectProperty ; - rdfs:domain :Activity ; - rdfs:range :ActivityClass . - - -### http://purl.org/aiaontology#hasCRS -:hasCRS rdf:type owl:ObjectProperty ; - rdfs:domain :Location ; - rdfs:range :CRS ; - rdfs:comment "EDIT"@en . - - -### http://purl.org/aiaontology#hasCalculation -:hasCalculation rdf:type owl:ObjectProperty ; - rdfs:range :Calculation . - - -### http://purl.org/aiaontology#hasClaimant -:hasClaimant rdf:type owl:ObjectProperty ; - owl:inverseOf :makesClaim ; - rdfs:domain :Claim ; - rdfs:range :Agent . - - -### http://purl.org/aiaontology#hasCondition -:hasCondition rdf:type owl:ObjectProperty ; - rdfs:domain :Control ; - rdfs:range :State ; - rdfs:comment "Indicates the State that must exist for the specific Control to be applicable."@en . - - -### http://purl.org/aiaontology#hasControl -:hasControl rdf:type owl:ObjectProperty ; - rdfs:range :Control . - - -### http://purl.org/aiaontology#hasDuration -:hasDuration rdf:type owl:ObjectProperty ; - rdfs:domain :Period ; - rdfs:range time:Duration . - - -### http://purl.org/aiaontology#hasEnvironment -:hasEnvironment rdf:type owl:ObjectProperty ; - rdfs:domain :State ; - rdfs:range :Environment ; - rdfs:comment "The Environment for which the Parameter's value was measured/calculated"@en . - - -### http://purl.org/aiaontology#hasFormula -:hasFormula rdf:type owl:ObjectProperty ; - rdfs:domain :Calculation ; - rdfs:range :Formula . - - -### http://purl.org/aiaontology#hasIPP -:hasIPP rdf:type owl:ObjectProperty ; - rdfs:domain :ImpactClaim ; - rdfs:range :IPP . - - -### http://purl.org/aiaontology#hasInput -:hasInput rdf:type owl:ObjectProperty ; - rdfs:domain :Activity ; - rdfs:range :Input . - - -### http://purl.org/aiaontology#hasInstrument -:hasInstrument rdf:type owl:ObjectProperty ; - rdfs:domain :Activity ; - rdfs:range :Instrument . - - -### http://purl.org/aiaontology#hasLocation -:hasLocation rdf:type owl:ObjectProperty ; - rdfs:range :Location . - - -### http://purl.org/aiaontology#hasMethodology -:hasMethodology rdf:type owl:ObjectProperty ; - rdfs:domain :ImpactClaim ; - rdfs:range :Control . - - -### http://purl.org/aiaontology#hasOutput -:hasOutput rdf:type owl:ObjectProperty ; - rdfs:domain :Activity ; - rdfs:range :Output . - - -### http://purl.org/aiaontology#hasParVal -:hasParVal rdf:type owl:ObjectProperty ; - owl:inverseOf :isParValOf ; - rdfs:domain :Parameter , - :Variable ; - rdfs:range :State . - - -### http://purl.org/aiaontology#hasPeriod -:hasPeriod rdf:type owl:ObjectProperty ; - rdfs:range :Period . - - -### http://purl.org/aiaontology#hasPoint -:hasPoint rdf:type owl:ObjectProperty ; - rdfs:domain :Location ; - rdfs:range :Point . - - -### http://purl.org/aiaontology#hasProvenance -:hasProvenance rdf:type owl:ObjectProperty ; - rdfs:domain :State ; - rdfs:range :Activity . - - -### http://purl.org/aiaontology#hasReputation -:hasReputation rdf:type owl:ObjectProperty ; - rdfs:domain :Agent ; - rdfs:range :Reputation ; - rdfs:comment "EDIT"@en . - - -### http://purl.org/aiaontology#hasRole -:hasRole rdf:type owl:ObjectProperty ; - rdfs:domain :Agent ; - rdfs:range :Role ; - rdfs:comment "EDIT"@en . - - -### http://purl.org/aiaontology#hasStateDiff -:hasStateDiff rdf:type owl:ObjectProperty ; - rdfs:domain :ImpactClaim ; - rdfs:range :StateDiff . - - -### http://purl.org/aiaontology#hasSubject -:hasSubject rdf:type owl:ObjectProperty ; - rdfs:domain :Control . - - -### http://purl.org/aiaontology#hasSymbol -:hasSymbol rdf:type owl:ObjectProperty ; - rdfs:domain :ExpressionSymbol , - :Variable ; - rdfs:range :ExpressionSymbol . - - -### http://purl.org/aiaontology#hasType -:hasType rdf:type owl:ObjectProperty ; - rdfs:domain :Location ; - rdfs:range :Location . - - -### http://purl.org/aiaontology#hasVariable -:hasVariable rdf:type owl:ObjectProperty ; - rdfs:domain :Calculation ; - rdfs:range :Variable . - - -### http://purl.org/aiaontology#impacts -:impacts rdf:type owl:ObjectProperty ; - owl:inverseOf :isImpactedBy ; - rdfs:domain :Activity , - :Event ; - rdfs:range :Environment . - - -### http://purl.org/aiaontology#impliesType -:impliesType rdf:type owl:ObjectProperty ; - rdfs:domain :CRS ; - rdfs:range :Location ; - rdfs:comment "EDIT"@en . - - -### http://purl.org/aiaontology#isDefinedBy -:isDefinedBy rdf:type owl:ObjectProperty ; - rdfs:domain :Environment ; - rdfs:range :Parameter . - - -### http://purl.org/aiaontology#isImpactedBy -:isImpactedBy rdf:type owl:ObjectProperty ; - rdfs:domain :Environment ; - rdfs:range :Activity , - :Event . - - -### http://purl.org/aiaontology#isLimitedOrDirectedBy -:isLimitedOrDirectedBy rdf:type owl:ObjectProperty ; - owl:inverseOf :limitsOrDirects ; - rdfs:domain owl:Thing ; - rdfs:range :Control . - - -### http://purl.org/aiaontology#isOperatedBy -:isOperatedBy rdf:type owl:ObjectProperty ; - owl:inverseOf :operates ; - rdfs:domain :Instrument ; - rdfs:range :Operator . - - -### http://purl.org/aiaontology#isOwnedBy -:isOwnedBy rdf:type owl:ObjectProperty ; - owl:inverseOf :owns ; - rdfs:domain owl:Thing ; - rdfs:range :Owner . - - -### http://purl.org/aiaontology#isParValOf -:isParValOf rdf:type owl:ObjectProperty , - owl:AsymmetricProperty ; - rdfs:domain :State ; - rdfs:range :Parameter . - - -### http://purl.org/aiaontology#isPerformedBy -:isPerformedBy rdf:type owl:ObjectProperty ; - owl:inverseOf :performs ; - rdfs:domain :Activity ; - rdfs:range :Agent . - - -### http://purl.org/aiaontology#isPerformedWith -:isPerformedWith rdf:type owl:ObjectProperty ; - owl:inverseOf :usedToPerform ; - rdfs:domain :Activity ; - rdfs:range :Instrument . - - -### http://purl.org/aiaontology#isStateDiffFrom -:isStateDiffFrom rdf:type owl:ObjectProperty ; - rdfs:domain :State ; - rdfs:range :State . - - -### http://purl.org/aiaontology#isVerifiedBy -:isVerifiedBy rdf:type owl:ObjectProperty ; - owl:inverseOf :isVerifierOf ; - rdfs:domain :Claim ; - rdfs:range :Auditor . - - -### http://purl.org/aiaontology#isVerifierOf -:isVerifierOf rdf:type owl:ObjectProperty ; - rdfs:domain :Auditor ; - rdfs:range :Claim . - - -### http://purl.org/aiaontology#limitsOrDirects -:limitsOrDirects rdf:type owl:ObjectProperty , - owl:AsymmetricProperty ; - rdfs:domain :Control ; - rdfs:range owl:Thing . - - -### http://purl.org/aiaontology#makesClaim -:makesClaim rdf:type owl:ObjectProperty ; - rdfs:domain :Agent ; - rdfs:range :Claim ; - rdfs:comment "FIX: this does not work while Role exists/Auditor etc. is not a subClassOf Agent."@en . - - -### http://purl.org/aiaontology#makesImpactClaim -:makesImpactClaim rdf:type owl:ObjectProperty ; - rdfs:domain :Agent ; - rdfs:range :ImpactClaim . - - -### http://purl.org/aiaontology#operates -:operates rdf:type owl:ObjectProperty ; - rdfs:domain :Operator ; - rdfs:range :Instrument . - - -### http://purl.org/aiaontology#owns -:owns rdf:type owl:ObjectProperty ; - rdfs:domain :Owner ; - rdfs:range owl:Thing . - - -### http://purl.org/aiaontology#performs -:performs rdf:type owl:ObjectProperty ; - rdfs:domain :Agent ; - rdfs:range :Activity . - - -### http://purl.org/aiaontology#regardsVeracity -:regardsVeracity rdf:type owl:ObjectProperty ; - rdfs:domain :Claim ; - rdfs:range :Claim ; - rdfs:comment "FIX: this does not work while Role exists/Auditor etc. is not a subClassOf Agent."@en . - - -### http://purl.org/aiaontology#usedInActivity -:usedInActivity rdf:type owl:ObjectProperty ; - owl:inverseOf :usesResource ; - rdfs:domain :Resource ; - rdfs:range :Activity ; - rdfs:comment "EDIT"@en . - - -### http://purl.org/aiaontology#usedToPerform -:usedToPerform rdf:type owl:ObjectProperty ; - rdfs:domain :Instrument ; - rdfs:range :Activity . - - -### http://purl.org/aiaontology#usesResource -:usesResource rdf:type owl:ObjectProperty ; - rdfs:domain :Activity ; - rdfs:range :Resource ; - rdfs:comment "EDIT"@en . - - -### http://purl.org/aiaontology#usesSymbol -:usesSymbol rdf:type owl:ObjectProperty ; - rdfs:domain :Formula ; - rdfs:range :ExpressionSymbol . - - -### http://purl.org/aiaontology#verifies -:verifies rdf:type owl:ObjectProperty ; - rdfs:domain :Agent ; - rdfs:range :Claim ; - rdfs:comment "FIX: this does not work while Role exists/Auditor etc. is not a subClassOf Agent."@en . - - -################################################################# -# Data properties -################################################################# - -### http://purl.org/aiaontology#appliesToParameters -:appliesToParameters rdf:type owl:DatatypeProperty ; - rdfs:range xsd:string ; - rdfs:comment "The parameters to which this methodology applies."@en . - - -### http://purl.org/aiaontology#hasAccuracy -:hasAccuracy rdf:type owl:DatatypeProperty ; - rdfs:domain :MeasurementInstrument ; - rdfs:range xsd:float . - - -### http://purl.org/aiaontology#hasActivityCode -:hasActivityCode rdf:type owl:DatatypeProperty ; - rdfs:domain :ActivityClass ; - rdfs:range xsd:string . - - -### http://purl.org/aiaontology#hasCodeInRegistry -:hasCodeInRegistry rdf:type owl:DatatypeProperty ; - rdfs:domain :ActivityClass , - :Parameter ; - rdfs:range xsd:string . - - -### http://purl.org/aiaontology#hasConfLowerBound -:hasConfLowerBound rdf:type owl:DatatypeProperty ; - rdfs:domain :State ; - rdfs:range xsd:float . - - -### http://purl.org/aiaontology#hasConfUpperBound -:hasConfUpperBound rdf:type owl:DatatypeProperty ; - rdfs:domain :State ; - rdfs:range xsd:float . - - -### http://purl.org/aiaontology#hasConfidenceLevel -:hasConfidenceLevel rdf:type owl:DatatypeProperty ; - rdfs:domain :State ; - rdfs:range xsd:float . - - -### http://purl.org/aiaontology#hasDefinition -:hasDefinition rdf:type owl:DatatypeProperty ; - rdfs:domain :Parameter ; - rdfs:range xsd:string . - - -### http://purl.org/aiaontology#hasDescription -:hasDescription rdf:type owl:DatatypeProperty ; - rdfs:domain :Environment , - :Instrument ; - rdfs:range xsd:string . - - -### http://purl.org/aiaontology#hasExpression -:hasExpression rdf:type owl:DatatypeProperty ; - rdfs:domain :Formula ; - rdfs:range xsd:string . - - -### http://purl.org/aiaontology#hasLabel -:hasLabel rdf:type owl:DatatypeProperty ; - rdfs:domain :Location ; - rdfs:range xsd:string ; - rdfs:comment "A optional human-understandable label for an entity of type Location, eg. a street adress."@en . - - -### http://purl.org/aiaontology#hasLogicalOperator -:hasLogicalOperator rdf:type owl:DatatypeProperty ; - rdfs:domain :Control ; - rdfs:range xsd:string ; - rdfs:comment """Less than, greater than, equal to, include, exclude, etc. -Used to relate the subject and value of a Control, for example: - -C a Control ; - hasSubject ActivityB.startDate ; - hasValue ActivityA.endDate ; - hasOperator >= . - -is equivalent to the condition (Control) that Activity B only commence after the end of Activity A."""@en . - - -### http://purl.org/aiaontology#hasMake -:hasMake rdf:type owl:DatatypeProperty ; - rdfs:domain :Instrument ; - rdfs:range xsd:string . - - -### http://purl.org/aiaontology#hasModality -:hasModality rdf:type owl:DatatypeProperty ; - rdfs:range xsd:boolean ; - rdfs:comment "Counterfactual (FALSE) or real (TRUE)."@en . - - -### http://purl.org/aiaontology#hasModel -:hasModel rdf:type owl:DatatypeProperty ; - rdfs:domain :Instrument ; - rdfs:range xsd:string . - - -### http://purl.org/aiaontology#hasName -:hasName rdf:type owl:DatatypeProperty ; - rdfs:domain :Agent ; - rdfs:range xsd:string . - - -### http://purl.org/aiaontology#hasPrecision -:hasPrecision rdf:type owl:DatatypeProperty ; - rdfs:domain :MeasurementInstrument , - :Parameter ; - rdfs:range xsd:float . - - -### http://purl.org/aiaontology#hasRationale -:hasRationale rdf:type owl:DatatypeProperty ; - rdfs:domain :Parameter ; - rdfs:range xsd:string . - - -### http://purl.org/aiaontology#hasReferenceSystem -:hasReferenceSystem rdf:type owl:DatatypeProperty ; - rdfs:domain :Location ; - rdfs:range xsd:string ; - rdfs:comment "EDIT for use with Location"@en . - - -### http://purl.org/aiaontology#hasRegistry -:hasRegistry rdf:type owl:DatatypeProperty ; - rdfs:domain :ActivityClass , - :Instrument , - :Parameter ; - rdfs:range xsd:string . - - -### http://purl.org/aiaontology#hasRegistryVersion -:hasRegistryVersion rdf:type owl:DatatypeProperty ; - rdfs:domain :Instrument , - :Parameter ; - rdfs:range xsd:string . - - -### http://purl.org/aiaontology#hasSource -:hasSource rdf:type owl:DatatypeProperty ; - rdfs:range xsd:string . - - -### http://purl.org/aiaontology#hasSymbol -:hasSymbol rdf:type owl:DatatypeProperty ; - rdfs:range xsd:string . - - -### http://purl.org/aiaontology#hasTimestamp -:hasTimestamp rdf:type owl:DatatypeProperty ; - rdfs:domain :State ; - rdfs:range xsd:dateTime ; - rdfs:comment "Format: YYYY-MM-DDThh:mm:ss"@en , - "The moment of measurement of the value of a Parameter that defines the State."@en . - - -### http://purl.org/aiaontology#hasUnitOfMeasure -:hasUnitOfMeasure rdf:type owl:DatatypeProperty ; - rdfs:domain :Parameter ; - rdfs:range rdf:PlainLiteral . - - -### http://purl.org/aiaontology#hasValue -:hasValue rdf:type owl:DatatypeProperty ; - rdfs:domain :Control , - :State ; - rdfs:range rdfs:Resource . - - -### http://purl.org/aiaontology#isBinding -:isBinding rdf:type owl:DatatypeProperty ; - rdfs:domain :Control ; - rdfs:range xsd:boolean ; - rdfs:comment "Used to indicate whether a Control is obligatory (TRUE) or non-obligatory (FALSE)"@en . - - -### http://purl.org/aiaontology#isSymbol -:isSymbol rdf:type owl:DatatypeProperty ; - rdfs:domain :ExpressionSymbol ; - rdfs:range xsd:string . - - -### http://purl.org/aiaontology#pointHasAltitude -:pointHasAltitude rdf:type owl:DatatypeProperty ; - rdfs:domain :Point ; - rdfs:range xsd:string . - - -### http://purl.org/aiaontology#pointHasLatitude -:pointHasLatitude rdf:type owl:DatatypeProperty ; - rdfs:domain :Point ; - rdfs:range xsd:string . - - -### http://purl.org/aiaontology#pointHasLongtitude -:pointHasLongtitude rdf:type owl:DatatypeProperty ; - rdfs:domain :Point ; - rdfs:range xsd:string . - - -### http://purl.org/aiaontology#wasCalibratedOn -:wasCalibratedOn rdf:type owl:DatatypeProperty ; - rdfs:domain :MeasurementInstrument ; - rdfs:range xsd:dateTime ; - rdfs:comment "Format: YYYY-MM-DDThh:mm:ss"@en . - - -### http://purl.org/aiaontology#wasManufacturedOn -:wasManufacturedOn rdf:type owl:DatatypeProperty ; - rdfs:domain :Instrument ; - rdfs:range xsd:date ; - rdfs:comment "Format: eg. 2022-01-16"@en . - - -### http://www.w3.org/2006/time#hasDuration -time:hasDuration rdf:type owl:DatatypeProperty ; - rdfs:domain :Period . - - -### http://www.w3.org/ns/prov#endedAtTime -prov:endedAtTime rdf:type owl:DatatypeProperty ; - rdfs:domain :Period ; - rdfs:range xsd:dateTime ; - rdfs:comment "Format: YYYY-MM-DDThh:mm:ss"@en . - - -### http://www.w3.org/ns/prov#startedAtTime -prov:startedAtTime rdf:type owl:DatatypeProperty ; - rdfs:domain :Period ; - rdfs:range xsd:dateTime ; - rdfs:comment "Format: YYYY-MM-DDThh:mm:ss"@en . - - -################################################################# -# Classes -################################################################# - -### http://purl.org/aiaontology#AccountingPeriod -:AccountingPeriod rdf:type owl:Class ; - rdfs:subClassOf :Period ; - rdfs:label "AccountingPeriod"@en . - - -### http://purl.org/aiaontology#Activity -:Activity rdf:type owl:Class ; - owl:equivalentClass prov:Activity ; - owl:disjointWith :Event ; - rdfs:comment "An Activity may comprise other Activity/ies, e.g. a project (an Activity) consists of many Activities. Use the 'comprises' property to indicate this."@en , - "NOT FINAL A thing that an agent does, which impacts an environment."@en ; - owl:equivalentClass "FIX: does an Activity, like an ImpactClaim, need to have a value for every predicate for which it is in the domain (see protobufs)"@en ; - skos:altLabel "Action"@en . - - -### http://purl.org/aiaontology#ActivityClass -:ActivityClass rdf:type owl:Class ; - rdfs:comment """EDIT aia could also have its own registry, hosted online as referenced, for example, as follows: - -Name: AIAO Value Determination Activities - Version = 1.0.0 - Contents: - Activity | Code - CALCULATE 1 - MEASURE 2 - SOURCE 3 - ESTIMATE 4"""@en , - "USE: First specify the registry from which the activity code should be read (hasRegistry and hasRegistryVersion), the specify the activity code (hasCodeInRegistry). Then an Activity has an ActivityClass, with these properties specified."@en . - - -### http://purl.org/aiaontology#Agent -:Agent rdf:type owl:Class ; - rdfs:subClassOf [ rdf:type owl:Class ; - owl:unionOf ( :LegalPerson - :NaturalPerson - ) - ] ; - rdfs:comment "\"An agent is something that bears some form of responsibility for an activity taking place, for the existence of an entity, or for another agent's activity.\" (http://www.w3.org/ns/prov#Agent)"@en ; - rdfs:label "Agent"@en . - - -### http://purl.org/aiaontology#Audit -:Audit rdf:type owl:Class ; - rdfs:subClassOf :Activity ; - rdfs:comment "EDIT: audit is the act of verifying a claim"@en . - - -### http://purl.org/aiaontology#Auditor -:Auditor rdf:type owl:Class ; - owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; - owl:onProperty :compliesWithRequirements ; - owl:someValuesFrom :Control - ] - [ rdf:type owl:Restriction ; - owl:onProperty :isVerifierOf ; - owl:someValuesFrom :Claim - ] - ) ; - rdf:type owl:Class - ] ; - rdfs:subClassOf :Verifier ; - rdfs:comment "\"[A] person who conducts an audit.\" (OED, Google)"@en , - "FIX: auditor vs verifier"@en . - -[ rdf:type owl:Axiom ; - owl:annotatedSource :Auditor ; - owl:annotatedProperty owl:equivalentClass ; - owl:annotatedTarget [ owl:intersectionOf ( [ rdf:type owl:Restriction ; - owl:onProperty :compliesWithRequirements ; - owl:someValuesFrom :Control - ] - [ rdf:type owl:Restriction ; - owl:onProperty :isVerifierOf ; - owl:someValuesFrom :Claim - ] - ) ; - rdf:type owl:Class - ] ; - rdfs:comment "The requirement for an Agent to fulfill the Role of Auditor is that they verify some Claim AND complies with the (legal) Controls for being an Auditor"@en - ] . - - -### http://purl.org/aiaontology#CRS -:CRS rdf:type owl:Class ; - rdfs:comment "EDIT"@en ; - rdfs:label "Coordinate Reference System"@en . - - -### http://purl.org/aiaontology#Calculation -:Calculation rdf:type owl:Class ; - rdfs:label "Calculation"@en . - - -### http://purl.org/aiaontology#Calibrator -:Calibrator rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty :calibrates ; - owl:someValuesFrom :MeasurementInstrument - ] ; - rdfs:subClassOf :Role . - - -### http://purl.org/aiaontology#Claim -:Claim rdf:type owl:Class ; - rdfs:comment "A claim is a statement about a (some specific) thing."@en ; - rdfs:label "A Claim may comprise other Claim/s, e.g. a report (a Claim) consists of many Claims. Use the 'comprises' property to indicate this."@en , - "Claim (noun)"@en ; - rdfs:seeAlso ; - skos:altLabel "Assertion"@en . - - -### http://purl.org/aiaontology#ClaimAct -:ClaimAct rdf:type owl:Class ; - rdfs:subClassOf :Activity ; - rdfs:comment "The activity of making a statement about a (specific) thing."@en ; - rdfs:label "Claim (verb)"@en ; - skos:altLabel "Assert"@en . - - -### http://purl.org/aiaontology#Claimant -:Claimant rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty :makesClaim ; - owl:someValuesFrom :Claim - ] ; - rdfs:subClassOf :Role ; - rdfs:comment "NOT FINAL [A] person making a claim, especially in a lawsuit or for a state benefit.\" (OED, Google)"@en . - -[ rdf:type owl:Axiom ; - owl:annotatedSource :Claimant ; - owl:annotatedProperty owl:equivalentClass ; - owl:annotatedTarget [ rdf:type owl:Restriction ; - owl:onProperty :makesClaim ; - owl:someValuesFrom :Claim - ] ; - rdfs:comment "The requirement for an Agent to fulfill the Role of Claimant is that they make some Claim."@en - ] . - - -### http://purl.org/aiaontology#Control -:Control rdf:type owl:Class ; - rdfs:comment "A Control may comprise other Controls, e.g. a methodology (a Control) defines many conditions to be met (themselves Controls). Use the 'comprises' property to indicate this."@en , - "EDIT Procedures, plans, objectives/goals, processes, requirements, specifications, standards are all Controls"@en , - "NOT FINAL: A Control limits or directs a thing"@en . - - -### http://purl.org/aiaontology#CreditingPeriod -:CreditingPeriod rdf:type owl:Class ; - rdfs:subClassOf :Period . - - -### http://purl.org/aiaontology#Developer -:Developer rdf:type owl:Class ; - rdfs:subClassOf :Role ; - rdfs:comment "NOT FINAL \"[A] person or thing that develops something.\" (OED, Google)"@en . - - -### http://purl.org/aiaontology#DriverIPP -:DriverIPP rdf:type owl:Class ; - rdfs:subClassOf :IPP . - - -### http://purl.org/aiaontology#EffectIPP -:EffectIPP rdf:type owl:Class ; - rdfs:subClassOf :IPP . - - -### http://purl.org/aiaontology#Environment -:Environment rdf:type owl:Class ; - rdfs:comment "NOT FINAL The surroundings and conditions in which a thing exists."@en ; - rdfs:label "Environment"@en . - - -### http://purl.org/aiaontology#Event -:Event rdf:type owl:Class ; - owl:equivalentClass , - prov:InstantaneousEvent ; - rdfs:comment "\"[A] thing that happens or takes place,...\" (OED, Google)"@en , - "EDIT: A change in the environment that is not brought about the willful act of an agent."@en ; - rdfs:label "Event"@en . - - -### http://purl.org/aiaontology#ExposureIPP -:ExposureIPP rdf:type owl:Class ; - rdfs:subClassOf :IPP . - - -### http://purl.org/aiaontology#ExpressionSymbol -:ExpressionSymbol rdf:type owl:Class . - - -### http://purl.org/aiaontology#Formula -:Formula rdf:type owl:Class . - - -### http://purl.org/aiaontology#IPP -:IPP rdf:type owl:Class ; - rdfs:comment "FIX according to DPSEEA model"@en ; - rdfs:label "Impact Pathway Position (according to DPSEEA model)"@en ; - rdfs:seeAlso . - - -### http://purl.org/aiaontology#ImpactClaim -:ImpactClaim rdf:type owl:Class ; - owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; - owl:onProperty :comprises ; - owl:someValuesFrom :ImpactClaim - ] - [ rdf:type owl:Restriction ; - owl:onProperty :hasActivity ; - owl:someValuesFrom :Activity - ] - [ rdf:type owl:Restriction ; - owl:onProperty :hasClaimant ; - owl:someValuesFrom :Agent - ] - [ rdf:type owl:Restriction ; - owl:onProperty :hasIPP ; - owl:someValuesFrom :IPP - ] - [ rdf:type owl:Restriction ; - owl:onProperty :hasMethodology ; - owl:someValuesFrom :Control - ] - [ rdf:type owl:Restriction ; - owl:onProperty :hasPeriod ; - owl:someValuesFrom :Period - ] - [ rdf:type owl:Restriction ; - owl:onProperty :hasStateDiff ; - owl:someValuesFrom :StateDiff - ] - ) ; - rdf:type owl:Class - ] ; - rdfs:subClassOf :Claim ; - rdfs:label "Impact claim"@en . - -[ rdf:type owl:Axiom ; - owl:annotatedSource :ImpactClaim ; - owl:annotatedProperty owl:equivalentClass ; - owl:annotatedTarget [ owl:intersectionOf ( [ rdf:type owl:Restriction ; - owl:onProperty :comprises ; - owl:someValuesFrom :ImpactClaim - ] - [ rdf:type owl:Restriction ; - owl:onProperty :hasActivity ; - owl:someValuesFrom :Activity - ] - [ rdf:type owl:Restriction ; - owl:onProperty :hasClaimant ; - owl:someValuesFrom :Agent - ] - [ rdf:type owl:Restriction ; - owl:onProperty :hasIPP ; - owl:someValuesFrom :IPP - ] - [ rdf:type owl:Restriction ; - owl:onProperty :hasMethodology ; - owl:someValuesFrom :Control - ] - [ rdf:type owl:Restriction ; - owl:onProperty :hasPeriod ; - owl:someValuesFrom :Period - ] - [ rdf:type owl:Restriction ; - owl:onProperty :hasStateDiff ; - owl:someValuesFrom :StateDiff - ] - ) ; - rdf:type owl:Class - ] ; - rdfs:comment "An instance of ImpactClaim should have an associated object for each predicate for which ImpactClaim is defined to be the subject."@en - ] . - - -### http://purl.org/aiaontology#Input -:Input rdf:type owl:Class ; - owl:disjointWith :Instrument , - :Output ; - rdfs:comment "NOT FINAL \"[W]hat is put in, taken in, or operated on by any process or system.\" (OED, Google)"@en ; - rdfs:label "Input"@en . - - -### http://purl.org/aiaontology#Instrument -:Instrument rdf:type owl:Class ; - rdfs:comment """EDIT An instrument is used by an agent to perform an Activity. -Differs from Input; Input is consumed during the Activity, while an Instrument is not."""@en , - "NOT FINAL \"[A] tool or implement, especially one for precision work.\" (OED, Google)"@en ; - rdfs:label "Instrument"@en . - - -### http://purl.org/aiaontology#LegalPerson -:LegalPerson rdf:type owl:Class ; - owl:equivalentClass . - - -### http://purl.org/aiaontology#Line -:Line rdf:type owl:Class ; - rdfs:subClassOf :Location . - - -### http://purl.org/aiaontology#Location -:Location rdf:type owl:Class ; - owl:equivalentClass ; - rdfs:comment "An entity of type Location can be a Point, Line, Path, Polygon, or Volume. A point has a x and y (and optional z) coordinate. If no z coordinate is specified, sea level is assumed. A line comprises exactly two points. A path is two or more continuous lines. A polygon is the area enclosed by three or more points. A volume is the area enclosed by four or more polygons where each edge is shared by exactly two polygons. Length can be derived from a given Line, area from a given Polygon, and volume from a given Volume."@en , - "EDIT"@en ; - rdfs:label "Location"@en . - - -### http://purl.org/aiaontology#Measure -:Measure rdf:type owl:Class ; - rdfs:subClassOf :Activity ; - rdfs:comment "The activity of ascertaining the value of a parameter defining a state."@en . - - -### http://purl.org/aiaontology#MeasurementInstrument -:MeasurementInstrument rdf:type owl:Class ; - rdfs:subClassOf :Instrument . - - -### http://purl.org/aiaontology#NaturalPerson -:NaturalPerson rdf:type owl:Class ; - owl:equivalentClass . - - -### http://purl.org/aiaontology#Operator -:Operator rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty :operates ; - owl:someValuesFrom :Instrument - ] ; - rdfs:subClassOf :Role ; - rdfs:comment "NOT FINAL \"[A] person who operates equipment or a machine.\" (OED, Google)"@en . - -[ rdf:type owl:Axiom ; - owl:annotatedSource :Operator ; - owl:annotatedProperty owl:equivalentClass ; - owl:annotatedTarget [ rdf:type owl:Restriction ; - owl:onProperty :operates ; - owl:someValuesFrom :Instrument - ] ; - rdfs:comment "The requirement for an Agent to fulfill the Role of Operator is that they operate some Instrument."@en - ] . - - -### http://purl.org/aiaontology#Output -:Output rdf:type owl:Class ; - rdfs:comment "NOT FINAL \"[R]esult of a process.\" (ISO 9000:2015(E))"@en ; - rdfs:label "Output"@en ; - skos:altLabel "Result"@en . - - -### http://purl.org/aiaontology#Owner -:Owner rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty :owns ; - owl:someValuesFrom owl:Thing - ] ; - rdfs:subClassOf :Role ; - rdfs:comment "NOT FINAL An agent who owns a thing."@en . - -[ rdf:type owl:Axiom ; - owl:annotatedSource :Owner ; - owl:annotatedProperty owl:equivalentClass ; - owl:annotatedTarget [ rdf:type owl:Restriction ; - owl:onProperty :owns ; - owl:someValuesFrom owl:Thing - ] ; - rdfs:comment "The requirement for an Agent to fulfill the Role of Owner is that they own some owl:Thing."@en - ] . - - -### http://purl.org/aiaontology#Parameter -:Parameter rdf:type owl:Class ; - rdfs:comment "NOT FINAL A numerical or other measurable quality or feature forming one of a set that defines a thing or sets the conditions of its existence or operation."@en ; - skos:altLabel "Attribute"@en . - - -### http://purl.org/aiaontology#Path -:Path rdf:type owl:Class ; - rdfs:subClassOf :Location . - - -### http://purl.org/aiaontology#Period -:Period rdf:type owl:Class ; - owl:equivalentClass , - time:Interval ; - rdfs:comment """Activity, Project, and Event are in the domain of hasPeriod; the range is Period. -Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDuration predicates."""@en , - "EDIT"@en ; - rdfs:label "Period"@en . - - -### http://purl.org/aiaontology#Point -:Point rdf:type owl:Class ; - rdfs:subClassOf :Location . - - -### http://purl.org/aiaontology#Polygon -:Polygon rdf:type owl:Class ; - rdfs:subClassOf :Location . - - -### http://purl.org/aiaontology#PressureIPP -:PressureIPP rdf:type owl:Class ; - rdfs:subClassOf :IPP . - - -### http://purl.org/aiaontology#ProjectPeriod -:ProjectPeriod rdf:type owl:Class ; - rdfs:subClassOf :Period . - - -### http://purl.org/aiaontology#Reputation -:Reputation rdf:type owl:Class ; - rdfs:comment "FIX: Define a Credentials Class"@en , - "NOT FINAL \"[T]he beliefs or opinions that are generally held about someone or something.\" (OED, Google)"@en ; - rdfs:label "Reputation"@en . - - -### http://purl.org/aiaontology#Resource -:Resource rdf:type owl:Class ; - rdfs:comment "NOT FINAL \"[A] stock or supply of money, materials, staff, and other assets that can be drawn on by a person or organization in order to function effectively.\" (OED, Google)"@en ; - rdfs:label "Resource"@en ; - skos:narrower , - . - - -### http://purl.org/aiaontology#Role -:Role rdf:type owl:Class ; - owl:equivalentClass prov:Role ; - rdfs:comment "FIX: subClassOf Agent?"@en , - "NOT FINAL \"[T]he function assumed or part played by a person or thing in a particular situation.\" (OED, Google)"@en ; - rdfs:label "Role"@en ; - rdfs:seeAlso . - - -### http://purl.org/aiaontology#State -:State rdf:type owl:Class ; - rdfs:comment "NOT FINAL A State is the value of a parameter P at time t."@en , - "The State of an Environment comprises the collection of the States (i.e. the values) of that Environment's defining parameters."@en ; - rdfs:label "State"@en . - - -### http://purl.org/aiaontology#StateDiff -:StateDiff rdf:type owl:Class ; - rdfs:label "Difference in State"@en . - - -### http://purl.org/aiaontology#StateIPP -:StateIPP rdf:type owl:Class ; - rdfs:subClassOf :IPP . - - -### http://purl.org/aiaontology#Variable -:Variable rdf:type owl:Class . - - -### http://purl.org/aiaontology#Verifier -:Verifier rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty :isVerifierOf ; - owl:someValuesFrom :Claim - ] ; - rdfs:subClassOf :Role . - -[ rdf:type owl:Axiom ; - owl:annotatedSource :Verifier ; - owl:annotatedProperty owl:equivalentClass ; - owl:annotatedTarget [ rdf:type owl:Restriction ; - owl:onProperty :isVerifierOf ; - owl:someValuesFrom :Claim - ] ; - rdfs:comment "FIX: more complex and complete Controls for Agents to fulfill certain Roles to be added"@en - ] . - - -### http://purl.org/aiaontology#Volume -:Volume rdf:type owl:Class ; - rdfs:subClassOf :Location . - - -### http://purl.org/dc/dcmitype/Event - rdf:type owl:Class . - - -### http://purl.org/dc/terms/AgentClass - rdf:type owl:Class . - - -### http://purl.org/dc/terms/Location - rdf:type owl:Class . - - -### http://purl.org/dc/terms/PeriodOfTime - rdf:type owl:Class . - - -### http://www.w3.org/2002/07/owl#Thing -owl:Thing rdf:type owl:Class ; - owl:equivalentClass prov:Entity ; - rdfs:comment """\"Anything perceivable or conceivable.\" (\"object\" - ISO 9000:2015(E)) - -\"An entity is a physical, digital, conceptual, or other kind of thing with some fixed aspects; entities may be real or imaginary.\" (https://www.w3.org/ns/prov#Entity)"""@en ; - skos:altLabel "Entity"@en , - "Item"@en , - "Object"@en . - - -### http://www.w3.org/2006/time#Duration -time:Duration rdf:type owl:Class . - - -### http://www.w3.org/2006/time#Interval -time:Interval rdf:type owl:Class . - - -### http://www.w3.org/ns/prov#Activity -prov:Activity rdf:type owl:Class . - - -### http://www.w3.org/ns/prov#Agent -prov:Agent rdf:type owl:Class . - - -### http://www.w3.org/ns/prov#Entity -prov:Entity rdf:type owl:Class . - - -### http://www.w3.org/ns/prov#InstantaneousEvent -prov:InstantaneousEvent rdf:type owl:Class . - - -### http://www.w3.org/ns/prov#Role -prov:Role rdf:type owl:Class . - - -### http://www.wikidata.org/wiki/Q154954 - rdf:type owl:Class . - - -### http://www.wikidata.org/wiki/Q215627 - rdf:type owl:Class . - - -### http://www.wikidata.org/wiki/Q3778211 - rdf:type owl:Class . - - -################################################################# -# Individuals -################################################################# - -### http://purl.org/aiaontology#GPS -:GPS rdf:type owl:NamedIndividual , - :CRS ; - rdfs:comment "This is but one example of a CRS (Coordinate Reference System) - there are many more that may be defined in implementation"@en . - - -################################################################# -# General axioms -################################################################# - -[ rdf:type owl:Axiom ; - owl:annotatedSource [ owl:intersectionOf ( :Claim - [ rdf:type owl:Restriction ; - owl:onProperty :regardsVeracity ; - owl:someValuesFrom :Claim - ] - ) ; - rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty :verifies ; - owl:someValuesFrom :Claim - ] - ] ; - owl:annotatedProperty owl:equivalentClass ; - owl:annotatedTarget [ rdf:type owl:Restriction ; - owl:onProperty :verifies ; - owl:someValuesFrom :Claim - ] ; - rdfs:comment """(Auditor makesClaim Claim1) ^ (Claim1 regardsVeracity Claim2) iff (Auditor verifies Claim2); -i.e. if the statements on the left/right are true, those on the right/left are as well."""@en -] . - - -[ rdf:type owl:Axiom ; - owl:annotatedSource [ rdf:type owl:Restriction ; - owl:onProperty :hasDuration ; - owl:someValuesFrom time:Duration ; - rdfs:subClassOf [ owl:intersectionOf ( [ rdf:type owl:Restriction ; - owl:onProperty prov:endedAtTime ; - owl:someValuesFrom xsd:dateTime - ] - [ rdf:type owl:Restriction ; - owl:onProperty prov:startedAtTime ; - owl:someValuesFrom xsd:dateTime - ] - ) ; - rdf:type owl:Class - ] - ] ; - owl:annotatedProperty rdfs:subClassOf ; - owl:annotatedTarget [ owl:intersectionOf ( [ rdf:type owl:Restriction ; - owl:onProperty prov:endedAtTime ; - owl:someValuesFrom xsd:dateTime - ] - [ rdf:type owl:Restriction ; - owl:onProperty prov:startedAtTime ; - owl:someValuesFrom xsd:dateTime - ] - ) ; - rdf:type owl:Class - ] ; - rdfs:comment "The class of all things that have a duration is a subclass of the set of all things that have a start as well as end time. In other words, everything which has a duration must have started at some time and ended at some time."@en -] . - - -[ rdf:type owl:Axiom ; - owl:annotatedSource [ rdf:type owl:Restriction ; - owl:onProperty :isStateDiffFrom ; - owl:someValuesFrom :State ; - rdfs:subClassOf :StateDiff - ] ; - owl:annotatedProperty rdfs:subClassOf ; - owl:annotatedTarget :StateDiff ; - rdfs:comment "Two different States of the same Environment (asserted by using isStateDiffFrom) is an StateDiff entity."@en -] . - - -[ rdf:type owl:Axiom ; - owl:annotatedSource [ rdf:type owl:Restriction ; - owl:onProperty :hasCRS ; - owl:hasValue :GPS ; - rdfs:subClassOf [ rdf:type owl:Restriction ; - owl:onProperty :hasType ; - owl:someValuesFrom :Point - ] - ] ; - owl:annotatedProperty rdfs:subClassOf ; - owl:annotatedTarget [ rdf:type owl:Restriction ; - owl:onProperty :hasType ; - owl:someValuesFrom :Point - ] ; - rdfs:comment "This is just an example of a specific CRS corresponding to a specific Location Type (Point, Line, Path, Polygon, Volume). Many more may be added."@en -] . - - -### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi From f1d9706ff4508a076b9263df8f33a2ab0a24b0b5 Mon Sep 17 00:00:00 2001 From: LuciaPauw Date: Tue, 11 Jun 2024 14:13:10 +0200 Subject: [PATCH 02/27] Remove .DS_Store files --- Schemas/.DS_Store | Bin 6148 -> 0 bytes Schemas/OWL/.DS_Store | Bin 6148 -> 0 bytes 2 files changed, 0 insertions(+), 0 deletions(-) delete mode 100644 Schemas/.DS_Store delete mode 100644 Schemas/OWL/.DS_Store diff --git a/Schemas/.DS_Store b/Schemas/.DS_Store deleted file mode 100644 index 68bdeee7747a804dd76718a86636c17f914347e3..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKJ5Iwu5S>XhuKoQFpkOm>NN8lE;oC0wX?!lX# zC9!3b5}{~Dntki}?5^KR9uE=mWH}!bjfg0L3igH=Iz;@UE$KyzI9b*hPiJLO1?!Km zm1Ks0#em#hpDyT%&K9@z`}5ChPf=!Bz9@58lGlT$m*d@!le%}l!CT$cSA9ns4XL7g zD(MlL(~@rJp|Lkz?sZ4i&++zo{&l41=vc2P*Js)s**G5`%K1!;0b{@z*med`vqh2} zMH`I)W55_#F(BUu2Ng^sdd2YRzz}}(fdiO>U@pCcj4-EpllL;`5=oMjs*pEPH1@V-^m;4Wg<&0T*E43hX&L&p$$qDprKhvt+--jT7}7np#A3 zem<@ulZcFPQ@L2!n>{z**++&mCkOWA81W14cNZlEfg7;MkzE(HCqgga^y>{tEnwC%0;vJ&^%eQ zLs35+`xjp>T0 Date: Tue, 11 Jun 2024 14:41:45 +0200 Subject: [PATCH 03/27] Correct ontology IRI --- Schemas/OWL/Ontology-ImpactAccounting.ttl.owl | 555 ++++++++++++++++++ 1 file changed, 555 insertions(+) create mode 100644 Schemas/OWL/Ontology-ImpactAccounting.ttl.owl diff --git a/Schemas/OWL/Ontology-ImpactAccounting.ttl.owl b/Schemas/OWL/Ontology-ImpactAccounting.ttl.owl new file mode 100644 index 0000000..b8ee59d --- /dev/null +++ b/Schemas/OWL/Ontology-ImpactAccounting.ttl.owl @@ -0,0 +1,555 @@ +@prefix : . +@prefix owl: . +@prefix rdf: . +@prefix xml: . +@prefix xsd: . +@prefix rdfs: . +@base . + + rdf:type owl:Ontology ; + rdfs:comment "https://wiki.hyperledger.org/display/CASIG/Standards+WG" . + +################################################################# +# Datatypes +################################################################# + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#AgentType + rdf:type rdfs:Datatype ; + owl:equivalentClass [ rdf:type rdfs:Datatype ; + owl:oneOf [ rdf:type rdf:List ; + rdf:first "LEGAL_PERSON" ; + rdf:rest [ rdf:type rdf:List ; + rdf:first "NATURAL_PERSON" ; + rdf:rest rdf:nil + ] + ] + ] . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#ImpactPathwayPosition + rdf:type rdfs:Datatype ; + owl:equivalentClass [ rdf:type rdfs:Datatype ; + owl:oneOf [ rdf:type rdf:List ; + rdf:first "DRIVER" ; + rdf:rest [ rdf:type rdf:List ; + rdf:first "EFFECT" ; + rdf:rest [ rdf:type rdf:List ; + rdf:first "EXPOSURE" ; + rdf:rest [ rdf:type rdf:List ; + rdf:first "PRESSURE" ; + rdf:rest [ rdf:type rdf:List ; + rdf:first "STATE" ; + rdf:rest rdf:nil + ] + ] + ] + ] + ] + ] . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#MethodologyType + rdf:type rdfs:Datatype ; + owl:equivalentClass [ rdf:type rdfs:Datatype ; + owl:oneOf [ rdf:type rdf:List ; + rdf:first "CALCULATION" ; + rdf:rest [ rdf:type rdf:List ; + rdf:first "MEASUREMENT" ; + rdf:rest [ rdf:type rdf:List ; + rdf:first "SOURCE" ; + rdf:rest rdf:nil + ] + ] + ] + ] . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#Modality + rdf:type rdfs:Datatype ; + owl:equivalentClass [ rdf:type rdfs:Datatype ; + owl:oneOf [ rdf:type rdf:List ; + rdf:first "COUNTERFACTUAL" ; + rdf:rest [ rdf:type rdf:List ; + rdf:first "REAL" ; + rdf:rest rdf:nil + ] + ] + ] . + + +################################################################# +# Object Properties +################################################################# + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#auditsClaim + rdf:type owl:ObjectProperty ; + rdfs:domain ; + rdfs:range . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#enactsRole + rdf:type owl:ObjectProperty ; + rdfs:domain ; + rdfs:range . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#engagesInActivity + rdf:type owl:ObjectProperty ; + rdfs:domain ; + rdfs:range . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#guidesActivity + rdf:type owl:ObjectProperty ; + rdfs:range . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#guidesClaim + rdf:type owl:ObjectProperty ; + rdfs:domain ; + rdfs:range . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#hasInputParameters + rdf:type owl:ObjectProperty ; + rdfs:domain ; + rdfs:range . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#hasOutputParameters + rdf:type owl:ObjectProperty ; + rdfs:domain ; + rdfs:range . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#impactsEnvironment + rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf owl:topObjectProperty ; + rdfs:domain , + ; + rdfs:range . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#isDefinedByParameters + rdf:type owl:ObjectProperty ; + rdfs:domain ; + rdfs:range . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#isPerformedWithInstrument + rdf:type owl:ObjectProperty ; + rdfs:domain ; + rdfs:range . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#isStatementAboutThing + rdf:type owl:ObjectProperty ; + rdfs:domain ; + rdfs:range owl:Thing . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#isTimeDependentValueOfParameter + rdf:type owl:ObjectProperty ; + rdfs:domain ; + rdfs:range . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#makesClaim + rdf:type owl:ObjectProperty ; + rdfs:domain ; + rdfs:range . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#operatesInstrument + rdf:type owl:ObjectProperty ; + rdfs:domain ; + rdfs:range . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#ownsThing + rdf:type owl:ObjectProperty ; + rdfs:domain ; + rdfs:range owl:Thing . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#usesInstrument + rdf:type owl:ObjectProperty ; + rdfs:domain ; + rdfs:range . + + +### http://www.w3.org/2002/07/owl#topObjectProperty +owl:topObjectProperty rdfs:domain ; + rdfs:range . + + +################################################################# +# Data properties +################################################################# + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#agentType + rdf:type owl:DatatypeProperty ; + rdfs:domain ; + rdfs:range [ rdf:type rdfs:Datatype ; + owl:oneOf [ rdf:type rdf:List ; + rdf:first "LEGAL_PERSON" ; + rdf:rest [ rdf:type rdf:List ; + rdf:first "NATURAL_PERSON" ; + rdf:rest rdf:nil + ] + ] + ] . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#hasAccountingPeriod + rdf:type owl:DatatypeProperty ; + rdfs:range xsd:dateTime . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#name + rdf:type owl:DatatypeProperty ; + rdfs:domain ; + rdfs:range xsd:string . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#parameterDefinition + rdf:type owl:DatatypeProperty ; + rdfs:domain ; + rdfs:range xsd:string . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#unitOfMeasure + rdf:type owl:DatatypeProperty ; + rdfs:subPropertyOf owl:topDataProperty ; + rdfs:domain ; + rdfs:range xsd:string . + + +################################################################# +# Classes +################################################################# + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#activity + rdf:type owl:Class . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#agent + rdf:type owl:Class . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#area + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#auditor + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#calculate + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#calibrator + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#claimant + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#class + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#classification_system + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#duration + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#environment + rdf:type owl:Class . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#event + rdf:type owl:Class . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#extent + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#formula + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#geocentric_datum + rdf:type owl:Class ; + rdfs:subClassOf ; + owl:disjointWith . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#geodetic_datum + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#identity_claim + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#indicator + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#instant + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#instrument + rdf:type owl:Class . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#line + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#location + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#measurement_instrument + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#measurement_system + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#natural_process + rdf:type owl:Class ; + rdfs:subClassOf ; + owl:disjointWith . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#operator + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#owner + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#parameter + rdf:type owl:Class . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#period + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#project + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#project_developer + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#role + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#spatial_parameter + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#spatial_reference_system + rdf:type owl:Class ; + rdfs:subClassOf ; + owl:disjointWith . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#state + rdf:type owl:Class . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#temporal_parameter + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#temporal_reference_system + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#time_position + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#validate + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#verifier + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#volume + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#audit_(n) + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#audit_(v) + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#claim_(n) + rdf:type owl:Class . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#claim_(v) + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#control_(n) + rdf:type owl:Class . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#impact_claim_(n) + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#measure_(v) + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#process_(n) + rdf:type owl:Class . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#report_(n) + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#report_(v) + rdf:type owl:Class ; + rdfs:subClassOf . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#verify_(v) + rdf:type owl:Class ; + rdfs:subClassOf . + + +################################################################# +# Individuals +################################################################# + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#amount_of_co2_in_atmosphere + rdf:type owl:NamedIndividual , + . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#amount_of_wood_burned_per_person + rdf:type owl:NamedIndividual , + . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#distance + rdf:type owl:NamedIndividual , + . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#duration + rdf:type owl:NamedIndividual , + . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#humidity + rdf:type owl:NamedIndividual , + . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#location + rdf:type owl:NamedIndividual , + . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#temperature + rdf:type owl:NamedIndividual , + . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#temperature_sensor + rdf:type owl:NamedIndividual . + + +### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#time + rdf:type owl:NamedIndividual , + . + + +################################################################# +# General axioms +################################################################# + +[ rdf:type owl:AllDisjointClasses ; + owl:members ( + + + ) +] . + + +[ rdf:type owl:AllDisjointClasses ; + owl:members ( + + + + + ) +] . + + +### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi From 5970d3b68fe1165bddca24b91a7b03febafcebd1 Mon Sep 17 00:00:00 2001 From: LuciaPauw Date: Wed, 12 Jun 2024 08:12:29 +0200 Subject: [PATCH 04/27] Change Ontology-ImpactAccounting's ontology URI temporarily until reconciled with aia.owl --- .gitignore | 3 ++- Schemas/OWL/Ontology-ImpactAccounting.owl | 6 +++--- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/.gitignore b/.gitignore index 5223818..c1a01c4 100644 --- a/.gitignore +++ b/.gitignore @@ -5,4 +5,5 @@ *.pptx *.docx *.pdf -*.Rhistory \ No newline at end of file +*.Rhistory +.DS_Store diff --git a/Schemas/OWL/Ontology-ImpactAccounting.owl b/Schemas/OWL/Ontology-ImpactAccounting.owl index 581e9f0..6211db1 100644 --- a/Schemas/OWL/Ontology-ImpactAccounting.owl +++ b/Schemas/OWL/Ontology-ImpactAccounting.owl @@ -1,12 +1,12 @@ - + ontologyIRI="https://raw.githubusercontent.com/aartum/CA2-SIG-StandardsWG/main/Schemas/OWL/Ontology-ImpactAccounting.owl"> + From 9e4b175131ec12a567635e7de3afbd90eec931c4 Mon Sep 17 00:00:00 2001 From: LuciaPauw Date: Tue, 9 Jul 2024 09:16:45 +0200 Subject: [PATCH 05/27] Incorporates most recent class hierarchy --- Schemas/OWL/aia.owl | 2704 +++++++++++++++++++++++++------------------ Schemas/OWL/aia.ttl | 1292 +++++++++++++++++++++ 2 files changed, 2873 insertions(+), 1123 deletions(-) create mode 100644 Schemas/OWL/aia.ttl diff --git a/Schemas/OWL/aia.owl b/Schemas/OWL/aia.owl index 0da0108..fc5fee4 100644 --- a/Schemas/OWL/aia.owl +++ b/Schemas/OWL/aia.owl @@ -1,1441 +1,1899 @@ -@prefix : . -@prefix owl: . -@prefix rdf: . -@prefix xml: . -@prefix xsd: . -@prefix prov: . -@prefix rdfs: . -@prefix skos: . -@prefix time: . -@base . + + + + The aim of this ontology is to provide a general and exhaustive standard for the accounting of human impact on their environment/s + + An Ontology for Anthropogenic Impact Accounting + + - rdf:type owl:Ontology . -################################################################# -# Annotation properties -################################################################# + -### http://www.w3.org/2002/07/owl#equivalentClass -owl:equivalentClass rdf:type owl:AnnotationProperty . + -### http://www.w3.org/2002/07/owl#equivalentProperty -owl:equivalentProperty rdf:type owl:AnnotationProperty . + + + -### http://www.w3.org/2002/07/owl#sameAs -owl:sameAs rdf:type owl:AnnotationProperty . + -### http://www.w3.org/2004/02/skos/core#altLabel -skos:altLabel rdf:type owl:AnnotationProperty . + + -### http://www.w3.org/2004/02/skos/core#broader -skos:broader rdf:type owl:AnnotationProperty . + + + -### http://www.w3.org/2004/02/skos/core#narrower -skos:narrower rdf:type owl:AnnotationProperty . + -### http://www.w3.org/2004/02/skos/core#related -skos:related rdf:type owl:AnnotationProperty . + + -################################################################# -# Datatypes -################################################################# + -### http://dbpedia.org/ontology/person - rdf:type rdfs:Datatype . + + -### http://purl.org/dc/terms/date - rdf:type rdfs:Datatype . + + + -### http://www.w3.org/2000/01/rdf-schema#Resource -rdfs:Resource rdf:type rdfs:Datatype . + -### http://www.w3.org/2001/XMLSchema#date -xsd:date rdf:type rdfs:Datatype ; - owl:equivalentClass . + + -################################################################# -# Object Properties -################################################################# + -### http://purl.org/aiaontology#calibratedBy -:calibratedBy rdf:type owl:ObjectProperty ; - owl:inverseOf :calibrates ; - rdfs:domain :MeasurementInstrument ; - rdfs:range :Calibrator . + + -### http://purl.org/aiaontology#calibrates -:calibrates rdf:type owl:ObjectProperty ; - rdfs:domain :Calibrator ; - rdfs:range :MeasurementInstrument . + + + -### http://purl.org/aiaontology#compliesWithRequirements -:compliesWithRequirements rdf:type owl:ObjectProperty ; - rdfs:domain :Auditor ; - rdfs:range :Control . + -### http://purl.org/aiaontology#comprises -:comprises rdf:type owl:ObjectProperty , - owl:TransitiveProperty , - owl:ReflexiveProperty ; - rdfs:comment "USE: For Activity, Control, Agent"@en . + + -### http://purl.org/aiaontology#defines -:defines rdf:type owl:ObjectProperty ; - owl:inverseOf :isDefinedBy ; - rdfs:range :Environment ; - rdfs:comment "A collection of Parameters defines an Environment."@en . + + + -### http://purl.org/aiaontology#enacts -:enacts rdf:type owl:ObjectProperty ; - owl:inverseOf :isEnactedBy ; - rdfs:domain :Agent ; - rdfs:range :Role . + -### http://purl.org/aiaontology#engagesIn -:engagesIn rdf:type owl:ObjectProperty ; - owl:inverseOf :isPerformedBy ; - rdfs:domain :Agent ; - rdfs:range :Activity . + + -### http://purl.org/aiaontology#forParameter -:forParameter rdf:type owl:ObjectProperty ; - rdfs:domain :ExpressionSymbol ; - rdfs:range :Parameter . + + -### http://purl.org/aiaontology#fromImpactClaim -:fromImpactClaim rdf:type owl:ObjectProperty ; - owl:inverseOf :hasIPP ; - rdfs:domain :IPP ; - rdfs:range :ImpactClaim . + -### http://purl.org/aiaontology#hasActivity -:hasActivity rdf:type owl:ObjectProperty ; - rdfs:domain :ImpactClaim ; - rdfs:range :Activity . + + -### http://purl.org/aiaontology#hasActivityClass -:hasActivityClass rdf:type owl:ObjectProperty ; - rdfs:domain :Activity ; - rdfs:range :ActivityClass . + + + -### http://purl.org/aiaontology#hasCRS -:hasCRS rdf:type owl:ObjectProperty ; - rdfs:domain :Location ; - rdfs:comment "EDIT"@en . + -### http://purl.org/aiaontology#hasCalculation -:hasCalculation rdf:type owl:ObjectProperty ; - rdfs:range :Calculation . + + -### http://purl.org/aiaontology#hasClaimant -:hasClaimant rdf:type owl:ObjectProperty ; - owl:inverseOf :makesClaim ; - rdfs:domain ; - rdfs:range :Agent . + + + + + -### http://purl.org/aiaontology#hasCondition -:hasCondition rdf:type owl:ObjectProperty ; - rdfs:domain :Control ; - rdfs:range :State ; - rdfs:comment "Indicates the State that must exist for the specific Control to be applicable."@en . + -### http://purl.org/aiaontology#hasControl -:hasControl rdf:type owl:ObjectProperty ; - rdfs:range :Control . + -### http://purl.org/aiaontology#hasDuration -:hasDuration rdf:type owl:ObjectProperty ; - rdfs:domain :Period ; - rdfs:range time:Duration . + + + + + + -### http://purl.org/aiaontology#hasEnvironment -:hasEnvironment rdf:type owl:ObjectProperty ; - rdfs:domain :State ; - rdfs:range :Environment ; - rdfs:comment "The Environment for which the Parameter's value was measured/calculated"@en . + -### http://purl.org/aiaontology#hasFormula -:hasFormula rdf:type owl:ObjectProperty ; - rdfs:domain :Calculation ; - rdfs:range :Formula . + + + + + + -### http://purl.org/aiaontology#hasIPP -:hasIPP rdf:type owl:ObjectProperty ; - rdfs:domain :ImpactClaim ; - rdfs:range :IPP . + + + + + + -### http://purl.org/aiaontology#hasInput -:hasInput rdf:type owl:ObjectProperty ; - rdfs:domain :Activity ; - rdfs:range :Input . + -### http://purl.org/aiaontology#hasInstrument -:hasInstrument rdf:type owl:ObjectProperty ; - rdfs:domain :Activity ; - rdfs:range :Instrument . + + + + + -### http://purl.org/aiaontology#hasLocation -:hasLocation rdf:type owl:ObjectProperty ; - rdfs:range :Location . + + + + + USE: For Activity, Control, Agent + + -### http://purl.org/aiaontology#hasMethodology -:hasMethodology rdf:type owl:ObjectProperty ; - rdfs:domain :ImpactClaim ; - rdfs:range :Control . + -### http://purl.org/aiaontology#hasOutput -:hasOutput rdf:type owl:ObjectProperty ; - rdfs:domain :Activity ; - rdfs:range :Output . + + + + A collection of Parameters defines an Environment. + + -### http://purl.org/aiaontology#hasParVal -:hasParVal rdf:type owl:ObjectProperty ; - owl:inverseOf :isParValOf ; - rdfs:domain :Parameter , - :Variable ; - rdfs:range :State . + + + + + + + -### http://purl.org/aiaontology#hasPeriod -:hasPeriod rdf:type owl:ObjectProperty ; - rdfs:range :Period . + -### http://purl.org/aiaontology#hasPoint -:hasPoint rdf:type owl:ObjectProperty ; - rdfs:domain :Location . + + + + + + -### http://purl.org/aiaontology#hasProvenance -:hasProvenance rdf:type owl:ObjectProperty ; - rdfs:domain :State ; - rdfs:range :Activity . + + + + + -### http://purl.org/aiaontology#hasReputation -:hasReputation rdf:type owl:ObjectProperty ; - rdfs:domain :Agent ; - rdfs:range :Reputation ; - rdfs:comment "EDIT"@en . + -### http://purl.org/aiaontology#hasRole -:hasRole rdf:type owl:ObjectProperty ; - rdfs:domain :Agent ; - rdfs:range :Role ; - rdfs:comment "EDIT"@en . + + + + -### http://purl.org/aiaontology#hasStateDiff -:hasStateDiff rdf:type owl:ObjectProperty ; - rdfs:domain :ImpactClaim ; - rdfs:range :StateDiff . + + + + + -### http://purl.org/aiaontology#hasSubject -:hasSubject rdf:type owl:ObjectProperty ; - rdfs:domain :Control . + -### http://purl.org/aiaontology#hasSymbol -:hasSymbol rdf:type owl:ObjectProperty ; - rdfs:domain :ExpressionSymbol , - :Variable ; - rdfs:range :ExpressionSymbol . + + + + + + -### http://purl.org/aiaontology#hasType -:hasType rdf:type owl:ObjectProperty ; - rdfs:domain :Location ; - rdfs:range :Location . + + + + + Indicates the State that must exist for the specific Control to be applicable. + + -### http://purl.org/aiaontology#hasVariable -:hasVariable rdf:type owl:ObjectProperty ; - rdfs:domain :Calculation ; - rdfs:range :Variable . + -### http://purl.org/aiaontology#impacts -:impacts rdf:type owl:ObjectProperty ; - owl:inverseOf :isImpactedBy ; - rdfs:domain :Activity , - :Event ; - rdfs:range :Environment . + + + + -### http://purl.org/aiaontology#impliesType -:impliesType rdf:type owl:ObjectProperty ; - rdfs:range :Location ; - rdfs:comment "EDIT"@en . + + + + + + -### http://purl.org/aiaontology#isDefinedBy -:isDefinedBy rdf:type owl:ObjectProperty ; - rdfs:domain :Environment ; - rdfs:range :Parameter . + -### http://purl.org/aiaontology#isEnactedBy -:isEnactedBy rdf:type owl:ObjectProperty ; - rdfs:domain :Role ; - rdfs:range :Agent . + + + + The Environment for which the Parameter's value was measured/calculated + + -### http://purl.org/aiaontology#isImpactedBy -:isImpactedBy rdf:type owl:ObjectProperty ; - rdfs:domain :Environment ; - rdfs:range :Activity , - :Event . + + + + + + -### http://purl.org/aiaontology#isLimitedOrDirectedBy -:isLimitedOrDirectedBy rdf:type owl:ObjectProperty ; - owl:inverseOf :limitsOrDirects ; - rdfs:domain owl:Thing ; - rdfs:range :Control . + -### http://purl.org/aiaontology#isOperatedBy -:isOperatedBy rdf:type owl:ObjectProperty ; - owl:inverseOf :operates ; - rdfs:domain :Instrument ; - rdfs:range :Operator . + + + + + -### http://purl.org/aiaontology#isOwnedBy -:isOwnedBy rdf:type owl:ObjectProperty ; - owl:inverseOf :owns ; - rdfs:domain owl:Thing ; - rdfs:range :Owner . + + + + + -### http://purl.org/aiaontology#isParValOf -:isParValOf rdf:type owl:ObjectProperty , - owl:AsymmetricProperty ; - rdfs:domain :State ; - rdfs:range :Parameter . + -### http://purl.org/aiaontology#isPerformedBy -:isPerformedBy rdf:type owl:ObjectProperty ; - rdfs:domain :Activity ; - rdfs:range :Agent . + + + + -### http://purl.org/aiaontology#isStateDiffFrom -:isStateDiffFrom rdf:type owl:ObjectProperty ; - rdfs:domain :State ; - rdfs:range :State . + + + + + + + -### http://purl.org/aiaontology#isStatementAbout -:isStatementAbout rdf:type owl:ObjectProperty ; - rdfs:domain ; - rdfs:range owl:Thing . + -### http://purl.org/aiaontology#isVerifiedBy -:isVerifiedBy rdf:type owl:ObjectProperty ; - owl:inverseOf :isVerifierOf ; - rdfs:domain ; - rdfs:range :Auditor . + + + + -### http://purl.org/aiaontology#isVerifierOf -:isVerifierOf rdf:type owl:ObjectProperty ; - rdfs:domain :Auditor ; - rdfs:range . + + + + + -### http://purl.org/aiaontology#limitsOrDirects -:limitsOrDirects rdf:type owl:ObjectProperty , - owl:AsymmetricProperty ; - rdfs:domain :Control ; - rdfs:range owl:Thing . + -### http://purl.org/aiaontology#makesClaim -:makesClaim rdf:type owl:ObjectProperty ; - rdfs:domain :Agent ; - rdfs:range ; - rdfs:comment "FIX: this does not work while Role exists/Auditor etc. is not a subClassOf Agent."@en . + + + + + -### http://purl.org/aiaontology#makesImpactClaim -:makesImpactClaim rdf:type owl:ObjectProperty ; - rdfs:domain :Agent ; - rdfs:range :ImpactClaim . + + + + + EDIT + + -### http://purl.org/aiaontology#operates -:operates rdf:type owl:ObjectProperty ; - rdfs:domain :Operator ; - rdfs:range :Instrument . + -### http://purl.org/aiaontology#owns -:owns rdf:type owl:ObjectProperty ; - rdfs:domain :Owner ; - rdfs:range owl:Thing . + + + + EDIT + + -### http://purl.org/aiaontology#performedWith -:performedWith rdf:type owl:ObjectProperty ; - owl:inverseOf :usedToPerform ; - rdfs:domain :Activity ; - rdfs:range :Instrument . + + + + + -### http://purl.org/aiaontology#regardsVeracity -:regardsVeracity rdf:type owl:ObjectProperty ; - rdfs:domain ; - rdfs:range ; - rdfs:comment "FIX: this does not work while Role exists/Auditor etc. is not a subClassOf Agent."@en . + -### http://purl.org/aiaontology#usedInActivity -:usedInActivity rdf:type owl:ObjectProperty ; - owl:inverseOf :usesResource ; - rdfs:domain :Resource ; - rdfs:range :Activity ; - rdfs:comment "EDIT"@en . + + -### http://purl.org/aiaontology#usedToPerform -:usedToPerform rdf:type owl:ObjectProperty ; - rdfs:domain :Instrument ; - rdfs:range :Activity . + + + + + + -### http://purl.org/aiaontology#usesResource -:usesResource rdf:type owl:ObjectProperty ; - rdfs:domain :Activity ; - rdfs:range :Resource ; - rdfs:comment "EDIT"@en . + -### http://purl.org/aiaontology#usesSymbol -:usesSymbol rdf:type owl:ObjectProperty ; - rdfs:domain :Formula ; - rdfs:range :ExpressionSymbol . + + + + -### http://purl.org/aiaontology#verifies -:verifies rdf:type owl:ObjectProperty ; - rdfs:domain :Agent ; - rdfs:range ; - rdfs:comment "FIX: this does not work while Role exists/Auditor etc. is not a subClassOf Agent."@en . + + + + + + + + -################################################################# -# Data properties -################################################################# -### http://purl.org/aiaontology#appliesToParameters -:appliesToParameters rdf:type owl:DatatypeProperty ; - rdfs:range xsd:string ; - rdfs:comment "The parameters to which this methodology applies."@en . + + + + + + -### http://purl.org/aiaontology#hasAccuracy -:hasAccuracy rdf:type owl:DatatypeProperty ; - rdfs:domain :MeasurementInstrument ; - rdfs:range xsd:float . + -### http://purl.org/aiaontology#hasActivityCode -:hasActivityCode rdf:type owl:DatatypeProperty ; - rdfs:domain :ActivityClass ; - rdfs:range xsd:string . + + + + + -### http://purl.org/aiaontology#hasCodeInRegistry -:hasCodeInRegistry rdf:type owl:DatatypeProperty ; - rdfs:domain :ActivityClass , - :Parameter ; - rdfs:range xsd:string . + + + + + + + -### http://purl.org/aiaontology#hasConfLowerBound -:hasConfLowerBound rdf:type owl:DatatypeProperty ; - rdfs:domain :State ; - rdfs:range xsd:float . + -### http://purl.org/aiaontology#hasConfUpperBound -:hasConfUpperBound rdf:type owl:DatatypeProperty ; - rdfs:domain :State ; - rdfs:range xsd:float . + + + + + + -### http://purl.org/aiaontology#hasConfidenceLevel -:hasConfidenceLevel rdf:type owl:DatatypeProperty ; - rdfs:domain :State ; - rdfs:range xsd:float . + + + + + + + -### http://purl.org/aiaontology#hasDefinition -:hasDefinition rdf:type owl:DatatypeProperty ; - rdfs:domain :Parameter ; - rdfs:range xsd:string . + -### http://purl.org/aiaontology#hasDescription -:hasDescription rdf:type owl:DatatypeProperty ; - rdfs:domain :Environment , - :Instrument ; - rdfs:range xsd:string . + + + + + + -### http://purl.org/aiaontology#hasExpression -:hasExpression rdf:type owl:DatatypeProperty ; - rdfs:domain :Formula ; - rdfs:range xsd:string . + + + + + + + -### http://purl.org/aiaontology#hasLabel -:hasLabel rdf:type owl:DatatypeProperty ; - rdfs:domain :Location ; - rdfs:range xsd:string ; - rdfs:comment "A optional human-understandable label for an entity of type Location, eg. a street adress."@en . + -### http://purl.org/aiaontology#hasLogicalOperator -:hasLogicalOperator rdf:type owl:DatatypeProperty ; - rdfs:domain :Control ; - rdfs:range xsd:string ; - rdfs:comment """Less than, greater than, equal to, include, exclude, etc. + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + FIX: this does not work while Role exists/Auditor etc. is not a subClassOf Agent. + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + The parameters to which this methodology applies. + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + A optional human-understandable label for an entity of type Location, eg. a street adress. + + + + + + + + + + Less than, greater than, equal to, include, exclude, etc. Used to relate the subject and value of a Control, for example: C a Control ; hasSubject ActivityB.startDate ; hasValue ActivityA.endDate ; - hasOperator >= . + hasOperator >= . + +is equivalent to the condition (Control) that Activity B only commence after the end of Activity A. + + + + + + + + + + + + + + + + + + Counterfactual (FALSE) or real (TRUE). + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + EDIT for use with Location + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Format: YYYY-MM-DDThh:mm:ss + The moment of measurement of the value of a Parameter that defines the State. + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Used to indicate whether a Control is obligatory (TRUE) or non-obligatory (FALSE) + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Format: YYYY-MM-DDThh:mm:ss + + + + + + + + + + Format: eg. 2022-01-16 + + + + + + + + + + + + + + + + + + Format: YYYY-MM-DDThh:mm:ss + + + + + + + + + + Format: YYYY-MM-DDThh:mm:ss + + + + + + + + + + + + + + AccountingPeriod + + + + + + + + + + A thing that an agent does, which impacts an environment. + An Activity may comprise other Activity/ies, e.g. a project (an Activity) consists of many Activities. Use the 'comprises' property to indicate this. + Action + + + + + + + + + + "An agent is something that bears some form of responsibility for an activity taking place, for the existence of an entity, or for another agent's activity." (http://www.w3.org/ns/prov#Agent) + + Agent + + + + + + + + + + TODO: definition + + + + + + + + + TODO definition + Attest + + + + + + + + A claim that is validated by formal statement of an official authority + TODO: definition + Attestation(n) + + + + + + + + + + + + + + + + + + + + + + + Auditor + A set of predefined behaviours for a certified agent who conducts an audit. + + + + + + + + + + + + + + + + + + + The requirement for an Agent to fulfill the Role of Auditor is that they verify some Claim AND complies with the (legal) Controls for being an Auditor + + + + + + + + + + + + + + + + + Calculation + + + + + + + + + + + + + + + Calibrator + A set of predefined behaviours for an agent who calibrates a measurement instrument. + + + + + + + + + A means of representation though a control:format + +Media can be digital or physical + TODO: definition + Claim Medium + + + + + + + + + + + + + + + Claimant + A set of predefined behaviours for an agent who makes a claim in the context of a specific activity. + + + + + + + + + + + The requirement for an Agent to fulfill the Role of Claimant is that they make some Claim. + + + + + + + + + TODO: definition + + + + + + + + + TODO: definition + Classification System + + + + + + + + + + + + + + + + + CyberPersona + + + + + + + + (PROPOSED) The surroundings and conditions in which a thing exists. + Environment + + + + + + + + + + Event + A thing that happens or takes place and which impacts an environment. An event is differentiated from an activity by the absence of explicit human intention. + + + + + + + + + TODO: definition + + + + + + + + + TODO: definition + + + + + + + + + TODO:definition + + + + + + + + + TODO: definition + + + + + + + + + Indicator + A calculated interpretation of measured parameters that indicates the state or level of something. + + + + + + + + + + + + + + + + Instrument + A thing used to perform an activity. + + + + + + + + + + + + + + + + + + TODO: definition + + + + + + + + + + An entity of type Location can be a Point, Line, Path, Polygon, or Volume. A point has a x and y (and optional z) coordinate. If no z coordinate is specified, sea level is assumed. A line comprises exactly two points. A path is two or more continuous lines. A polygon is the area enclosed by three or more points. A volume is the area enclosed by four or more polygons where each edge is shared by exactly two polygons. Length can be derived from a given Line, area from a given Polygon, and volume from a given Volume. + TODO: definition + Location + + + + + + + + + TODO: definition + Measurement + + + + + + + + + + + + + + + + + Measurement System + A measurement system allows the expression of the state of a parameter. + + + + + + + + TODO: definition + Medium + + + + + + + + + + + + + + + + + + Natural Process + A series of interrelated or interacting natural events without a primary human cause. + + + + + + + + + Objective + Goal + "[R]esult to be achieved." (ISO Annex SL Appendix 2) + + + -is equivalent to the condition (Control) that Activity B only commence after the end of Activity A."""@en . + + + + + + + + + + Operator + A set of predefined behaviours for an agent who operates a specific thing (e.g., an instrument) in the context of a specific activity. + + + + + + + + + + + The requirement for an Agent to fulfill the Role of Operator is that they operate some Instrument. + + -### http://purl.org/aiaontology#hasMake -:hasMake rdf:type owl:DatatypeProperty ; - rdfs:domain :Instrument ; - rdfs:range xsd:string . + -### http://purl.org/aiaontology#hasModality -:hasModality rdf:type owl:DatatypeProperty ; - rdfs:range xsd:boolean ; - rdfs:comment "Counterfactual (FALSE) or real (TRUE)."@en . + + + + + + + + + Owner + A set of predefined behaviours for an agent who owns a specific thing in the context of a specific activity + + + + + + + + + + + The requirement for an Agent to fulfill the Role of Owner is that they own some owl:Thing. + + -### http://purl.org/aiaontology#hasModel -:hasModel rdf:type owl:DatatypeProperty ; - rdfs:domain :Instrument ; - rdfs:range xsd:string . + + + Parameter + Attribute + A quality or feature forming one of a set that defines something or sets the conditions of its existence or operation. + + -### http://purl.org/aiaontology#hasName -:hasName rdf:type owl:DatatypeProperty ; - rdfs:domain :Agent ; - rdfs:range xsd:string . + -### http://purl.org/aiaontology#hasPrecision -:hasPrecision rdf:type owl:DatatypeProperty ; - rdfs:domain :MeasurementInstrument , - :Parameter ; - rdfs:range xsd:float . + + + + Activity, Project, and Event are in the domain of hasPeriod; the range is Period. +Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDuration predicates. + Period + + -### http://purl.org/aiaontology#hasRationale -:hasRationale rdf:type owl:DatatypeProperty ; - rdfs:domain :Parameter ; - rdfs:range xsd:string . + + + Process (n) + A series of interrelated or interacting events or activities. + + -### http://purl.org/aiaontology#hasReferenceSystem -:hasReferenceSystem rdf:type owl:DatatypeProperty ; - rdfs:domain :Location ; - rdfs:range xsd:string ; - rdfs:comment "EDIT for use with Location"@en . + -### http://purl.org/aiaontology#hasRegistry -:hasRegistry rdf:type owl:DatatypeProperty ; - rdfs:domain :ActivityClass , - :Instrument , - :Parameter ; - rdfs:range xsd:string . + + + Project + A unique process, consisting of a set of coordinated activities, undertaken to achieve an objective under specific controls. + + -### http://purl.org/aiaontology#hasRegistryVersion -:hasRegistryVersion rdf:type owl:DatatypeProperty ; - rdfs:domain :Instrument , - :Parameter ; - rdfs:range xsd:string . + + + + Project Developer + A set of predefined behaviours for an agent who defines and prepares the conditions for an activity or a set of activities. + + -### http://purl.org/aiaontology#hasSource -:hasSource rdf:type owl:DatatypeProperty ; - rdfs:range xsd:string . + -### http://purl.org/aiaontology#hasSymbol -:hasSymbol rdf:type owl:DatatypeProperty ; - rdfs:range xsd:string . + + + + -### http://purl.org/aiaontology#hasTimestamp -:hasTimestamp rdf:type owl:DatatypeProperty ; - rdfs:domain :State ; - rdfs:range xsd:dateTime ; - rdfs:comment "Format: YYYY-MM-DDThh:mm:ss"@en , - "The moment of measurement of the value of a Parameter that defines the State."@en . + + + + NOT FINAL "[T]he beliefs or opinions that are generally held about someone or something." (OED, Google) + TODO: definition + Reputation + + -### http://purl.org/aiaontology#hasUnitOfMeasure -:hasUnitOfMeasure rdf:type owl:DatatypeProperty ; - rdfs:domain :Parameter ; - rdfs:range rdf:PlainLiteral . + -### http://purl.org/aiaontology#hasValue -:hasValue rdf:type owl:DatatypeProperty ; - rdfs:domain :Control , - :State ; - rdfs:range rdfs:Resource . + + + Role + A set of predefined behaviours for an agent with regards to a specific activity. + + -### http://purl.org/aiaontology#isBinding -:isBinding rdf:type owl:DatatypeProperty ; - rdfs:domain :Control ; - rdfs:range xsd:boolean ; - rdfs:comment "Used to indicate whether a Control is obligatory (TRUE) or non-obligatory (FALSE)"@en . + + + + TODO: definition + + -### http://purl.org/aiaontology#isSymbol -:isSymbol rdf:type owl:DatatypeProperty ; - rdfs:domain :ExpressionSymbol ; - rdfs:range xsd:string . + -### http://purl.org/aiaontology#pointHasAltitude -:pointHasAltitude rdf:type owl:DatatypeProperty ; - rdfs:range xsd:string . + + + TODO: definition + + -### http://purl.org/aiaontology#pointHasLatitude -:pointHasLatitude rdf:type owl:DatatypeProperty ; - rdfs:range xsd:string . - - -### http://purl.org/aiaontology#pointHasLongtitude -:pointHasLongtitude rdf:type owl:DatatypeProperty ; - rdfs:range xsd:string . + + + The State of an Environment comprises the collection of the States (i.e. the values) of that Environment's defining parameters. + State + A state is the value of a parameter at a specific time position. + + -### http://purl.org/aiaontology#wasCalibratedOn -:wasCalibratedOn rdf:type owl:DatatypeProperty ; - rdfs:domain :MeasurementInstrument ; - rdfs:range xsd:dateTime ; - rdfs:comment "Format: YYYY-MM-DDThh:mm:ss"@en . - - -### http://purl.org/aiaontology#wasManufacturedOn -:wasManufacturedOn rdf:type owl:DatatypeProperty ; - rdfs:domain :Instrument ; - rdfs:range xsd:date ; - rdfs:comment "Format: eg. 2022-01-16"@en . - - -### http://www.w3.org/2006/time#hasDuration -time:hasDuration rdf:type owl:DatatypeProperty ; - rdfs:domain :Period . - - -### http://www.w3.org/ns/prov#endedAtTime -prov:endedAtTime rdf:type owl:DatatypeProperty ; - rdfs:domain :Period ; - rdfs:range xsd:dateTime ; - rdfs:comment "Format: YYYY-MM-DDThh:mm:ss"@en . - - -### http://www.w3.org/ns/prov#startedAtTime -prov:startedAtTime rdf:type owl:DatatypeProperty ; - rdfs:domain :Period ; - rdfs:range xsd:dateTime ; - rdfs:comment "Format: YYYY-MM-DDThh:mm:ss"@en . - - -################################################################# -# Classes -################################################################# - -### http://purl.org/aiaontology#AccountingPeriod -:AccountingPeriod rdf:type owl:Class ; - rdfs:subClassOf :Period ; - rdfs:label "AccountingPeriod"@en . - - -### http://purl.org/aiaontology#Activity -:Activity rdf:type owl:Class ; - owl:equivalentClass prov:Activity , - [ owl:intersectionOf ( [ rdf:type owl:Restriction ; - owl:onProperty :hasInput ; - owl:someValuesFrom owl:Thing - ] - [ rdf:type owl:Restriction ; - owl:onProperty :hasOutput ; - owl:someValuesFrom owl:Thing - ] - [ rdf:type owl:Restriction ; - owl:onProperty :isPerformedBy ; - owl:someValuesFrom :Agent - ] - [ rdf:type owl:Restriction ; - owl:onProperty :performedWith ; - owl:someValuesFrom :Instrument - ] - ) ; - rdf:type owl:Class - ] ; - owl:disjointWith :Event ; - rdfs:comment "A thing that an agent does, which impacts an environment."@en , - "An Activity may comprise other Activity/ies, e.g. a project (an Activity) consists of many Activities. Use the 'comprises' property to indicate this."@en ; - owl:equivalentClass "FIX: does an Activity, like an ImpactClaim, need to have a value for every predicate for which it is in the domain (see protobufs)"@en ; - skos:altLabel "Action"@en . - -[ rdf:type owl:Axiom ; - owl:annotatedSource :Activity ; - owl:annotatedProperty owl:equivalentClass ; - owl:annotatedTarget [ owl:intersectionOf ( [ rdf:type owl:Restriction ; - owl:onProperty :hasInput ; - owl:someValuesFrom owl:Thing - ] - [ rdf:type owl:Restriction ; - owl:onProperty :hasOutput ; - owl:someValuesFrom owl:Thing - ] - [ rdf:type owl:Restriction ; - owl:onProperty :isPerformedBy ; - owl:someValuesFrom :Agent - ] - [ rdf:type owl:Restriction ; - owl:onProperty :performedWith ; - owl:someValuesFrom :Instrument - ] - ) ; - rdf:type owl:Class - ] ; - rdfs:comment "EDIT These four axioms define an activity. A valid activity requires specification of an agent, instrument, input, and output."@en - ] . - - -### http://purl.org/aiaontology#ActivityClass -:ActivityClass rdf:type owl:Class ; - rdfs:comment """EDIT aia could also have its own registry, hosted online as referenced, for example, as follows: - -Name: AIAO Value Determination Activities - Version = 1.0.0 - Contents: - Activity | Code - CALCULATE 1 - MEASURE 2 - SOURCE 3 - ESTIMATE 4"""@en , - "USE: First specify the registry from which the activity code should be read (hasRegistry and hasRegistryVersion), the specify the activity code (hasCodeInRegistry). Then an Activity has an ActivityClass, with these properties specified."@en . - - -### http://purl.org/aiaontology#Agent -:Agent rdf:type owl:Class ; - rdfs:comment "\"An agent is something that bears some form of responsibility for an activity taking place, for the existence of an entity, or for another agent's activity.\" (http://www.w3.org/ns/prov#Agent)"@en ; - rdfs:isDefinedBy prov:Agent ; - rdfs:label "Agent"@en . - - -### http://purl.org/aiaontology#Area -:Area rdf:type owl:Class ; - rdfs:subClassOf :Extent . - - -### http://purl.org/aiaontology#Auditor -:Auditor rdf:type owl:Class ; - owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; - owl:onProperty :compliesWithRequirements ; - owl:someValuesFrom :Control - ] - [ rdf:type owl:Restriction ; - owl:onProperty :isVerifierOf ; - owl:someValuesFrom - ] - ) ; - rdf:type owl:Class - ] ; - rdfs:subClassOf :Verifier ; - rdfs:comment "An agent certified to conduct an audit."@en . - -[ rdf:type owl:Axiom ; - owl:annotatedSource :Auditor ; - owl:annotatedProperty owl:equivalentClass ; - owl:annotatedTarget [ owl:intersectionOf ( [ rdf:type owl:Restriction ; - owl:onProperty :compliesWithRequirements ; - owl:someValuesFrom :Control - ] - [ rdf:type owl:Restriction ; - owl:onProperty :isVerifierOf ; - owl:someValuesFrom - ] - ) ; - rdf:type owl:Class - ] ; - rdfs:comment "The requirement for an Agent to fulfill the Role of Auditor is that they verify some Claim AND complies with the (legal) Controls for being an Auditor"@en - ] . - - -### http://purl.org/aiaontology#Calculate -:Calculate rdf:type owl:Class ; - rdfs:subClassOf :Activity . - - -### http://purl.org/aiaontology#Calculation -:Calculation rdf:type owl:Class ; - rdfs:label "Calculation"@en . - - -### http://purl.org/aiaontology#Calibrator -:Calibrator rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty :calibrates ; - owl:someValuesFrom :MeasurementInstrument - ] ; - rdfs:subClassOf :Role ; - rdfs:comment "FIX add definition"@en . - - -### http://purl.org/aiaontology#Claimant -:Claimant rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty :makesClaim ; - owl:someValuesFrom - ] ; - rdfs:subClassOf :Role ; - rdfs:comment "NOT FINAL [A] person making a claim, especially in a lawsuit or for a state benefit.\" (OED, Google)"@en . - -[ rdf:type owl:Axiom ; - owl:annotatedSource :Claimant ; - owl:annotatedProperty owl:equivalentClass ; - owl:annotatedTarget [ rdf:type owl:Restriction ; - owl:onProperty :makesClaim ; - owl:someValuesFrom - ] ; - rdfs:comment "The requirement for an Agent to fulfill the Role of Claimant is that they make some Claim."@en - ] . + -### http://purl.org/aiaontology#Class -:Class rdf:type owl:Class ; - rdfs:subClassOf :Parameter ; - rdfs:comment "FIX: add definition"@en . + + + + -### http://purl.org/aiaontology#ClassificationSystem -:ClassificationSystem rdf:type owl:Class ; - rdfs:subClassOf :Control . + + + + TODO: definition + + -### http://purl.org/aiaontology#Control -:Control rdf:type owl:Class ; - rdfs:comment "A Control may comprise other Controls, e.g. a methodology (a Control) defines many conditions to be met (themselves Controls). Use the 'comprises' property to indicate this."@en , - "EDIT Procedures, plans, objectives/goals, processes, requirements, specifications, standards are all Controls"@en , - "NOT FINAL: A Control limits or directs a thing"@en . + -### http://purl.org/aiaontology#CreditingPeriod -:CreditingPeriod rdf:type owl:Class ; - rdfs:subClassOf :Period . - - -### http://purl.org/aiaontology#Developer -:Developer rdf:type owl:Class ; - rdfs:subClassOf :Role ; - rdfs:comment "NOT FINAL \"[A] person or thing that develops something.\" (OED, Google)"@en . - - -### http://purl.org/aiaontology#DriverIPP -:DriverIPP rdf:type owl:Class ; - rdfs:subClassOf :IPP . - - -### http://purl.org/aiaontology#EffectIPP -:EffectIPP rdf:type owl:Class ; - rdfs:subClassOf :IPP . - - -### http://purl.org/aiaontology#Environment -:Environment rdf:type owl:Class ; - rdfs:comment "(PROPOSED) The surroundings and conditions in which a thing exists."@en ; - rdfs:label "Environment"@en . - - -### http://purl.org/aiaontology#Event -:Event rdf:type owl:Class ; - owl:equivalentClass , - prov:InstantaneousEvent ; - rdfs:comment "\"[A] thing that happens or takes place,...\" (OED, Google)"@en , - "EDIT: A change in the environment that is not brought about the willful act of an agent."@en ; - rdfs:label "Event"@en . - - -### http://purl.org/aiaontology#ExposureIPP -:ExposureIPP rdf:type owl:Class ; - rdfs:subClassOf :IPP . - - -### http://purl.org/aiaontology#ExpressionSymbol -:ExpressionSymbol rdf:type owl:Class . - - -### http://purl.org/aiaontology#Extent -:Extent rdf:type owl:Class ; - rdfs:subClassOf :SpatialParameter . - - -### http://purl.org/aiaontology#Formula -:Formula rdf:type owl:Class ; - rdfs:subClassOf :Control . - - -### http://purl.org/aiaontology#GeocentricDatum -:GeocentricDatum rdf:type owl:Class ; - rdfs:subClassOf :SpatialReferenceSystem . - - -### http://purl.org/aiaontology#GeodeticDatum -:GeodeticDatum rdf:type owl:Class ; - rdfs:subClassOf :SpatialReferenceSystem . - - -### http://purl.org/aiaontology#IPP -:IPP rdf:type owl:Class ; - rdfs:comment "FIX according to DPSEEA model"@en ; - rdfs:label "Impact Pathway Position (according to DPSEEA model)"@en ; - rdfs:seeAlso . - - -### http://purl.org/aiaontology#IdentityClaim -:IdentityClaim rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://purl.org/aiaontology#ImpactClaim -:ImpactClaim rdf:type owl:Class ; - owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; - owl:onProperty :comprises ; - owl:someValuesFrom :ImpactClaim - ] - [ rdf:type owl:Restriction ; - owl:onProperty :hasActivity ; - owl:someValuesFrom :Activity - ] - [ rdf:type owl:Restriction ; - owl:onProperty :hasClaimant ; - owl:someValuesFrom :Agent - ] - [ rdf:type owl:Restriction ; - owl:onProperty :hasIPP ; - owl:someValuesFrom :IPP - ] - [ rdf:type owl:Restriction ; - owl:onProperty :hasMethodology ; - owl:someValuesFrom :Control - ] - [ rdf:type owl:Restriction ; - owl:onProperty :hasPeriod ; - owl:someValuesFrom :Period - ] - [ rdf:type owl:Restriction ; - owl:onProperty :hasStateDiff ; - owl:someValuesFrom :StateDiff - ] - ) ; - rdf:type owl:Class - ] ; - rdfs:subClassOf ; - rdfs:label "Impact claim"@en . - -[ rdf:type owl:Axiom ; - owl:annotatedSource :ImpactClaim ; - owl:annotatedProperty owl:equivalentClass ; - owl:annotatedTarget [ owl:intersectionOf ( [ rdf:type owl:Restriction ; - owl:onProperty :comprises ; - owl:someValuesFrom :ImpactClaim - ] - [ rdf:type owl:Restriction ; - owl:onProperty :hasActivity ; - owl:someValuesFrom :Activity - ] - [ rdf:type owl:Restriction ; - owl:onProperty :hasClaimant ; - owl:someValuesFrom :Agent - ] - [ rdf:type owl:Restriction ; - owl:onProperty :hasIPP ; - owl:someValuesFrom :IPP - ] - [ rdf:type owl:Restriction ; - owl:onProperty :hasMethodology ; - owl:someValuesFrom :Control - ] - [ rdf:type owl:Restriction ; - owl:onProperty :hasPeriod ; - owl:someValuesFrom :Period - ] - [ rdf:type owl:Restriction ; - owl:onProperty :hasStateDiff ; - owl:someValuesFrom :StateDiff - ] - ) ; - rdf:type owl:Class - ] ; - rdfs:comment "An instance of ImpactClaim should have an associated object for each predicate for which ImpactClaim is defined to be the subject."@en - ] . - - -### http://purl.org/aiaontology#Input -:Input rdf:type owl:Class ; - owl:disjointWith :Instrument , - :Output ; - rdfs:comment "NOT FINAL \"[W]hat is put in, taken in, or operated on by any process or system.\" (OED, Google)"@en ; - rdfs:label "Input"@en . - - -### http://purl.org/aiaontology#Instant -:Instant rdf:type owl:Class ; - rdfs:subClassOf :TemporalParameter . - - -### http://purl.org/aiaontology#Instrument -:Instrument rdf:type owl:Class ; - rdfs:comment """EDIT An instrument is used by an agent to perform an Activity. -Differs from Input; Input is consumed during the Activity, while an Instrument is not."""@en , - "NOT FINAL \"[A] tool or implement, especially one for precision work.\" (OED, Google)"@en ; - rdfs:label "Instrument"@en . - - -### http://purl.org/aiaontology#LegalPerson -:LegalPerson rdf:type owl:Class ; - owl:equivalentClass ; - rdfs:subClassOf :Agent . - - -### http://purl.org/aiaontology#Line -:Line rdf:type owl:Class ; - rdfs:subClassOf :Extent . - - -### http://purl.org/aiaontology#Location -:Location rdf:type owl:Class ; - owl:equivalentClass ; - rdfs:subClassOf :SpatialParameter ; - rdfs:comment "An entity of type Location can be a Point, Line, Path, Polygon, or Volume. A point has a x and y (and optional z) coordinate. If no z coordinate is specified, sea level is assumed. A line comprises exactly two points. A path is two or more continuous lines. A polygon is the area enclosed by three or more points. A volume is the area enclosed by four or more polygons where each edge is shared by exactly two polygons. Length can be derived from a given Line, area from a given Polygon, and volume from a given Volume."@en , - "EDIT"@en ; - rdfs:label "Location"@en . - - -### http://purl.org/aiaontology#Measure -:Measure rdf:type owl:Class ; - rdfs:subClassOf :Activity ; - rdfs:comment "The activity of ascertaining the value of a parameter defining a state."@en . - - -### http://purl.org/aiaontology#MeasurementInstrument -:MeasurementInstrument rdf:type owl:Class ; - rdfs:subClassOf :Instrument . - - -### http://purl.org/aiaontology#MeasurementSystem -:MeasurementSystem rdf:type owl:Class ; - rdfs:subClassOf :Control ; - rdfs:comment "NOT FINAL: A measurement system controls the expression of the state of a parameter."@en . - - -### http://purl.org/aiaontology#Move -:Move rdf:type owl:Class ; - rdfs:subClassOf :Activity . - - -### http://purl.org/aiaontology#NaturalPerson -:NaturalPerson rdf:type owl:Class ; - owl:equivalentClass ; - rdfs:subClassOf :Agent . - - -### http://purl.org/aiaontology#Operator -:Operator rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty :operates ; - owl:someValuesFrom :Instrument - ] ; - rdfs:subClassOf :Role ; - rdfs:comment "NOT FINAL \"[A] person who operates equipment or a machine.\" (OED, Google)"@en . + + + TimePosition + + -[ rdf:type owl:Axiom ; - owl:annotatedSource :Operator ; - owl:annotatedProperty owl:equivalentClass ; - owl:annotatedTarget [ rdf:type owl:Restriction ; - owl:onProperty :operates ; - owl:someValuesFrom :Instrument - ] ; - rdfs:comment "The requirement for an Agent to fulfill the Role of Operator is that they operate some Instrument."@en - ] . + -### http://purl.org/aiaontology#Output -:Output rdf:type owl:Class ; - rdfs:comment "NOT FINAL \"[R]esult of a process.\" (ISO 9000:2015(E))"@en ; - rdfs:label "Output"@en ; - skos:altLabel "Result"@en . + + + Validate (v) + The activity of confirming or demonstrating that something satisfies a specification + + -### http://purl.org/aiaontology#Owner -:Owner rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty :owns ; - owl:someValuesFrom owl:Thing - ] ; - rdfs:subClassOf :Role ; - rdfs:comment "NOT FINAL An agent who owns a thing."@en . + -[ rdf:type owl:Axiom ; - owl:annotatedSource :Owner ; - owl:annotatedProperty owl:equivalentClass ; - owl:annotatedTarget [ rdf:type owl:Restriction ; - owl:onProperty :owns ; - owl:someValuesFrom owl:Thing - ] ; - rdfs:comment "The requirement for an Agent to fulfill the Role of Owner is that they own some owl:Thing."@en - ] . + + + + + + + + + Verifier + A set of predefined behaviours for an agent who verifies a claim. + + + + + + + + + + + FIX: more complex and complete Controls for Agents to fulfill certain Roles to be added + + -### http://purl.org/aiaontology#Parameter -:Parameter rdf:type owl:Class ; - rdfs:comment "NOT FINAL A numerical or other measurable quality or feature forming one of a set that defines a thing or sets the conditions of its existence or operation."@en ; - skos:altLabel "Attribute"@en . + + + + TODO: definition + + -### http://purl.org/aiaontology#Period -:Period rdf:type owl:Class ; - owl:equivalentClass , - time:Interval ; - rdfs:subClassOf :TemporalParameter ; - rdfs:comment """Activity, Project, and Event are in the domain of hasPeriod; the range is Period. -Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDuration predicates."""@en , - "EDIT"@en , - "NEEDED?"@en ; - rdfs:label "Period"@en . + -### http://purl.org/aiaontology#PressureIPP -:PressureIPP rdf:type owl:Class ; - rdfs:subClassOf :IPP . + + + Audit (n) + The result of an auditing process. + + -### http://purl.org/aiaontology#Produce -:Produce rdf:type owl:Class ; - rdfs:subClassOf :Activity . + + + + Audit (v) + The activity of performing a systematic, independent, objective and documented evaluation of a claim and its supporting evidence to determine the extent to which it complies with specific criteria (thing:control) + + -### http://purl.org/aiaontology#ProjectPeriod -:ProjectPeriod rdf:type owl:Class ; - rdfs:subClassOf :Period . + -### http://purl.org/aiaontology#Reputation -:Reputation rdf:type owl:Class ; - rdfs:comment "FIX: Define a Credentials Class"@en , - "NOT FINAL \"[T]he beliefs or opinions that are generally held about someone or something.\" (OED, Google)"@en ; - rdfs:label "Reputation"@en . + + A Claim may comprise other Claim/s, e.g. a report (a Claim) consists of many Claims. Use the 'comprises' property to indicate this. + Claim (n) + + Assertion + A claim is a statement about a (some specific) thing expressed in a claim medium. + + -### http://purl.org/aiaontology#Resource -:Resource rdf:type owl:Class ; - rdfs:comment "NOT FINAL \"[A] stock or supply of money, materials, staff, and other assets that can be drawn on by a person or organization in order to function effectively.\" (OED, Google)"@en ; - rdfs:label "Resource"@en ; - skos:narrower , - . + + + + Claim (v) + Assert + The activity of making a statement about a (specific) thing. + + -### http://purl.org/aiaontology#Role -:Role rdf:type owl:Class ; - owl:equivalentClass prov:Role ; - rdfs:comment "NOT FINAL \"[T]he function assumed or part played by a person or thing in a particular situation.\" (OED, Google)"@en ; - rdfs:label "Role"@en ; - rdfs:seeAlso . + -### http://purl.org/aiaontology#SpatialParameter -:SpatialParameter rdf:type owl:Class ; - rdfs:subClassOf :Parameter . + + A Control may comprise other Controls, e.g. a methodology (a Control) defines many conditions to be met (themselves Controls). Use the 'comprises' property to indicate this. + A means of limiting or directing a thing. + + -### http://purl.org/aiaontology#SpatialReferenceSystem -:SpatialReferenceSystem rdf:type owl:Class ; - rdfs:subClassOf :MeasurementSystem . + + + + TODO: definition + Identity claim (n) + + -### http://purl.org/aiaontology#State -:State rdf:type owl:Class ; - rdfs:comment "NOT FINAL A State is the value of a parameter P at time t."@en , - "The State of an Environment comprises the collection of the States (i.e. the values) of that Environment's defining parameters."@en ; - rdfs:label "State"@en . + -### http://purl.org/aiaontology#StateDiff -:StateDiff rdf:type owl:Class ; - rdfs:label "Difference in State"@en . + + + Impact Claim (n) + An impact claim is a statement about the relation between an activity and a state change, typically following an impact accounting methodology (thing:control). + + -### http://purl.org/aiaontology#StateIPP -:StateIPP rdf:type owl:Class ; - rdfs:subClassOf :IPP . + + + + Measure(v) + The activity of ascertaining the value of a parameter defining a state. + + -### http://purl.org/aiaontology#TemporalParameter -:TemporalParameter rdf:type owl:Class ; - rdfs:subClassOf :Parameter . + -### http://purl.org/aiaontology#TemporalReferenceSystem -:TemporalReferenceSystem rdf:type owl:Class ; - rdfs:subClassOf :MeasurementSystem . + + + Report (n) + A report is a claim that satisfies a specification about an activity or event. + + -### http://purl.org/aiaontology#Variable -:Variable rdf:type owl:Class . + + + + Report (v) + The activity of making a claim about an activity or event according to a specification. + + -### http://purl.org/aiaontology#Verifier -:Verifier rdf:type owl:Class ; - owl:equivalentClass [ rdf:type owl:Restriction ; - owl:onProperty :isVerifierOf ; - owl:someValuesFrom - ] ; - rdfs:subClassOf :Role ; - rdfs:comment "NOT FINAL [S]omeone who vouches for another or for the correctness of a statement. (\"verifier\")"@en . -[ rdf:type owl:Axiom ; - owl:annotatedSource :Verifier ; - owl:annotatedProperty owl:equivalentClass ; - owl:annotatedTarget [ rdf:type owl:Restriction ; - owl:onProperty :isVerifierOf ; - owl:someValuesFrom - ] ; - rdfs:comment "FIX: more complex and complete Controls for Agents to fulfill certain Roles to be added"@en - ] . + + + + Verify(v) + The activity of confirming or demonstrating that something is true, accurate, or justified. + + -### http://purl.org/aiaontology#Verify -:Verify rdf:type owl:Class ; - rdfs:subClassOf :Activity ; - rdfs:comment "The activity of confirming or demonstrating that something is true, accurate, or justified."@en . + -### http://purl.org/aiaontology#Volume -:Volume rdf:type owl:Class ; - rdfs:subClassOf :Extent . + + -### http://purl.org/aiaontology#Audit(v) - rdf:type owl:Class ; - rdfs:subClassOf :Verify ; - rdfs:comment "The activity of performing a systematic, independent, objective and documented evaluation of a claim and its supporting evidence to determine the extent to which it complies with specific criteria. [control]"@en . + + + -### http://purl.org/aiaontology#Claim(n) - rdf:type owl:Class ; - rdfs:comment "A claim is a statement about a (some specific) thing."@en ; - rdfs:label "A Claim may comprise other Claim/s, e.g. a report (a Claim) consists of many Claims. Use the 'comprises' property to indicate this."@en , - "Claim (noun)"@en ; - rdfs:seeAlso ; - skos:altLabel "Assertion"@en . + -### http://purl.org/aiaontology#Claim(v) - rdf:type owl:Class ; - rdfs:subClassOf :Activity ; - rdfs:comment "The activity of making a statement about a (specific) thing."@en ; - rdfs:label "Claim (verb)"@en ; - skos:altLabel "Assert"@en . + + -### http://purl.org/dc/dcmitype/Event - rdf:type owl:Class . + + + -### http://purl.org/dc/terms/AgentClass - rdf:type owl:Class . + -### http://purl.org/dc/terms/Location - rdf:type owl:Class . + + + "Anything perceivable or conceivable." ("object" - ISO 9000:2015(E)) +"An entity is a physical, digital, conceptual, or other kind of thing with some fixed aspects; entities may be real or imaginary." (https://www.w3.org/ns/prov#Entity) + Entity + Item + Object + + -### http://purl.org/dc/terms/PeriodOfTime - rdf:type owl:Class . + -### http://www.w3.org/2002/07/owl#Thing -owl:Thing rdf:type owl:Class ; - owl:equivalentClass prov:Entity ; - rdfs:comment """\"Anything perceivable or conceivable.\" (\"object\" - ISO 9000:2015(E)) + + + + -\"An entity is a physical, digital, conceptual, or other kind of thing with some fixed aspects; entities may be real or imaginary.\" (https://www.w3.org/ns/prov#Entity)"""@en , - "Note: an organisation, for example, is also an agent - an agent consisting of multiple other agents."@en ; - skos:altLabel "Entity"@en , - "Item"@en , - "Object"@en . + -### http://www.w3.org/2006/time#Duration -time:Duration rdf:type owl:Class ; - rdfs:subClassOf :TemporalParameter . + + -### http://www.w3.org/2006/time#Interval -time:Interval rdf:type owl:Class ; - rdfs:subClassOf :TemporalParameter . + + + -### http://www.w3.org/ns/prov#Activity -prov:Activity rdf:type owl:Class . + -### http://www.w3.org/ns/prov#Agent -prov:Agent rdf:type owl:Class . + + -### http://www.w3.org/ns/prov#Entity -prov:Entity rdf:type owl:Class . + + + -### http://www.w3.org/ns/prov#InstantaneousEvent -prov:InstantaneousEvent rdf:type owl:Class . + -### http://www.w3.org/ns/prov#Role -prov:Role rdf:type owl:Class ; - rdfs:comment "\"A role is the function of an entity or agent with respect to an activity, in the context of a usage, generation, invalidation, association, start, and end.\" (https://www.w3.org/ns/prov#Role)"@en ; - rdfs:isDefinedBy . + + "real human being as opposed to a non-human legal person" (https://www.wikidata.org/wiki/Q154954) + + Natural Person + + -### http://www.wikidata.org/wiki/Q154954 - rdf:type owl:Class ; - rdfs:comment "\"real human being as opposed to a non-human legal person\" (https://www.wikidata.org/wiki/Q154954)"@en ; - rdfs:isDefinedBy . + + + "any human or non-human entity that is recognized as having privileges and obligations; a legal fiction which is used to abstract away the differences between natural persons, juridical persons and other entities such as countries" (https://www.wikidata.org/wiki/Q3778211) + + Legal Person + + -### http://www.wikidata.org/wiki/Q215627 - rdf:type owl:Class ; - rdfs:comment "Wikidata: Person"@en . + -### http://www.wikidata.org/wiki/Q3778211 - rdf:type owl:Class ; - rdfs:comment "\"any human or non-human entity that is recognized as having privileges and obligations; a legal fiction which is used to abstract away the differences between natural persons, juridical persons and other entities such as countries\" (https://www.wikidata.org/wiki/Q3778211)"@en ; - rdfs:isDefinedBy . + -################################################################# -# Individuals -################################################################# + -### http://purl.org/aiaontology#GPS -:GPS rdf:type owl:NamedIndividual ; - rdfs:comment "This is but one example of a CRS (Coordinate Reference System) - there are many more that may be defined in implementation"@en . + + This is but one example of a CRS (Coordinate Reference System) - there are many more that may be defined in implementation + + -################################################################# -# General axioms -################################################################# + -[ rdf:type owl:Axiom ; - owl:annotatedSource [ rdf:type owl:Restriction ; - owl:onProperty :hasDuration ; - owl:someValuesFrom time:Duration ; - rdfs:subClassOf [ owl:intersectionOf ( [ rdf:type owl:Restriction ; - owl:onProperty prov:endedAtTime ; - owl:someValuesFrom xsd:dateTime - ] - [ rdf:type owl:Restriction ; - owl:onProperty prov:startedAtTime ; - owl:someValuesFrom xsd:dateTime - ] - ) ; - rdf:type owl:Class - ] - ] ; - owl:annotatedProperty rdfs:subClassOf ; - owl:annotatedTarget [ owl:intersectionOf ( [ rdf:type owl:Restriction ; - owl:onProperty prov:endedAtTime ; - owl:someValuesFrom xsd:dateTime - ] - [ rdf:type owl:Restriction ; - owl:onProperty prov:startedAtTime ; - owl:someValuesFrom xsd:dateTime - ] - ) ; - rdf:type owl:Class - ] ; - rdfs:comment "The class of all things that have a duration is a subclass of the set of all things that have a start as well as end time. In other words, everything which has a duration must have started at some time and ended at some time."@en -] . + + equivalentClass + + -[ rdf:type owl:Axiom ; - owl:annotatedSource [ rdf:type owl:Restriction ; - owl:onProperty :isStateDiffFrom ; - owl:someValuesFrom :State ; - rdfs:subClassOf :StateDiff - ] ; - owl:annotatedProperty rdfs:subClassOf ; - owl:annotatedTarget :StateDiff ; - rdfs:comment "Two different States of the same Environment (asserted by using isStateDiffFrom) is an StateDiff entity."@en -] . + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + The class of all things that have a duration is a subclass of the set of all things that have a start as well as end time. In other words, everything which has a duration must have started at some time and ended at some time. + + + + + + -### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi diff --git a/Schemas/OWL/aia.ttl b/Schemas/OWL/aia.ttl new file mode 100644 index 0000000..3ca3aff --- /dev/null +++ b/Schemas/OWL/aia.ttl @@ -0,0 +1,1292 @@ +@prefix : . +@prefix owl: . +@prefix rdf: . +@prefix xml: . +@prefix xsd: . +@prefix rdfs: . +@prefix skos: . +@prefix terms: . +@base . + + rdf:type owl:Ontology ; + terms:description "The aim of this ontology is to provide a general and exhaustive standard for the accounting of human impact on their environment/s"@en ; + terms:source ; + terms:title "An Ontology for Anthropogenic Impact Accounting"@en . + +################################################################# +# Annotation properties +################################################################# + +### http://purl.org/dc/terms/description +terms:description rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/source +terms:source rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/title +terms:title rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/1999/02/22-rdf-syntax-ns#type +rdf:type rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2002/07/owl#equivalentClass +owl:equivalentClass rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2002/07/owl#equivalentProperty +owl:equivalentProperty rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2002/07/owl#sameAs +owl:sameAs rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#altLabel +skos:altLabel rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#broader +skos:broader rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#definition +skos:definition rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#narrower +skos:narrower rdf:type owl:AnnotationProperty . + + +### http://www.w3.org/2004/02/skos/core#related +skos:related rdf:type owl:AnnotationProperty . + + +################################################################# +# Datatypes +################################################################# + +### http://dbpedia.org/ontology/person + rdf:type rdfs:Datatype . + + +### http://purl.org/dc/terms/date +terms:date rdf:type rdfs:Datatype . + + +### http://www.w3.org/2000/01/rdf-schema#Resource +rdfs:Resource rdf:type rdfs:Datatype . + + +### http://www.w3.org/2001/XMLSchema#date +xsd:date rdf:type rdfs:Datatype ; + owl:equivalentClass terms:date . + + +################################################################# +# Object Properties +################################################################# + +### http://purl.org/aiaontology#calculateHasResult +:calculateHasResult rdf:type owl:ObjectProperty ; + rdfs:domain :Calculate ; + rdfs:range :Calculation . + + +### http://purl.org/aiaontology#calibratedBy +:calibratedBy rdf:type owl:ObjectProperty ; + owl:inverseOf :calibrates ; + rdfs:domain :MeasurementInstrument ; + rdfs:range :Calibrator . + + +### http://purl.org/aiaontology#calibrates +:calibrates rdf:type owl:ObjectProperty ; + rdfs:domain :Calibrator ; + rdfs:range :MeasurementInstrument . + + +### http://purl.org/aiaontology#compliesWithRequirements +:compliesWithRequirements rdf:type owl:ObjectProperty ; + rdfs:domain :Auditor ; + rdfs:range . + + +### http://purl.org/aiaontology#comprises +:comprises rdf:type owl:ObjectProperty , + owl:TransitiveProperty , + owl:ReflexiveProperty ; + rdfs:comment "USE: For Activity, Control, Agent"@en . + + +### http://purl.org/aiaontology#defines +:defines rdf:type owl:ObjectProperty ; + owl:inverseOf :isDefinedBy ; + rdfs:range :Environment ; + rdfs:comment "A collection of Parameters defines an Environment."@en . + + +### http://purl.org/aiaontology#enacts +:enacts rdf:type owl:ObjectProperty ; + owl:inverseOf :isEnactedBy ; + rdfs:domain :Agent ; + rdfs:range :Role . + + +### http://purl.org/aiaontology#engagesIn +:engagesIn rdf:type owl:ObjectProperty ; + owl:inverseOf :isPerformedBy ; + rdfs:domain :Agent ; + rdfs:range :Activity . + + +### http://purl.org/aiaontology#forParameter +:forParameter rdf:type owl:ObjectProperty ; + rdfs:range :Parameter . + + +### http://purl.org/aiaontology#hasActivity +:hasActivity rdf:type owl:ObjectProperty ; + rdfs:range :Activity . + + +### http://purl.org/aiaontology#hasCalculation +:hasCalculation rdf:type owl:ObjectProperty ; + rdfs:range :Calculation . + + +### http://purl.org/aiaontology#hasClaimant +:hasClaimant rdf:type owl:ObjectProperty ; + owl:inverseOf :makesClaim ; + rdfs:domain ; + rdfs:range :Agent . + + +### http://purl.org/aiaontology#hasCondition +:hasCondition rdf:type owl:ObjectProperty ; + rdfs:domain ; + rdfs:range :State ; + rdfs:comment "Indicates the State that must exist for the specific Control to be applicable."@en . + + +### http://purl.org/aiaontology#hasControl +:hasControl rdf:type owl:ObjectProperty ; + rdfs:range . + + +### http://purl.org/aiaontology#hasDuration +:hasDuration rdf:type owl:ObjectProperty ; + rdfs:domain :Period ; + rdfs:range . + + +### http://purl.org/aiaontology#hasEnvironment +:hasEnvironment rdf:type owl:ObjectProperty ; + rdfs:domain :State ; + rdfs:range :Environment ; + rdfs:comment "The Environment for which the Parameter's value was measured/calculated"@en . + + +### http://purl.org/aiaontology#hasFormula +:hasFormula rdf:type owl:ObjectProperty ; + rdfs:domain :Calculation ; + rdfs:range :Formula . + + +### http://purl.org/aiaontology#hasInstrument +:hasInstrument rdf:type owl:ObjectProperty ; + rdfs:domain :Activity ; + rdfs:range :Instrument . + + +### http://purl.org/aiaontology#hasLocation +:hasLocation rdf:type owl:ObjectProperty ; + rdfs:range :Location . + + +### http://purl.org/aiaontology#hasMethodology +:hasMethodology rdf:type owl:ObjectProperty ; + rdfs:range . + + +### http://purl.org/aiaontology#hasParVal +:hasParVal rdf:type owl:ObjectProperty ; + owl:inverseOf :isParValOf ; + rdfs:domain :Parameter ; + rdfs:range :State . + + +### http://purl.org/aiaontology#hasPeriod +:hasPeriod rdf:type owl:ObjectProperty ; + rdfs:range :Period . + + +### http://purl.org/aiaontology#hasPoint +:hasPoint rdf:type owl:ObjectProperty ; + rdfs:domain :Location . + + +### http://purl.org/aiaontology#hasProvenance +:hasProvenance rdf:type owl:ObjectProperty ; + rdfs:domain :State ; + rdfs:range :Activity . + + +### http://purl.org/aiaontology#hasReputation +:hasReputation rdf:type owl:ObjectProperty ; + rdfs:domain :Agent ; + rdfs:range :Reputation ; + rdfs:comment "EDIT"@en . + + +### http://purl.org/aiaontology#hasRole +:hasRole rdf:type owl:ObjectProperty ; + rdfs:domain :Agent ; + rdfs:range :Role ; + rdfs:comment "EDIT"@en . + + +### http://purl.org/aiaontology#hasSubject +:hasSubject rdf:type owl:ObjectProperty ; + rdfs:domain . + + +### http://purl.org/aiaontology#hasSymbol +:hasSymbol rdf:type owl:ObjectProperty . + + +### http://purl.org/aiaontology#hasType +:hasType rdf:type owl:ObjectProperty ; + rdfs:domain :Location ; + rdfs:range :Location . + + +### http://purl.org/aiaontology#hasVariable +:hasVariable rdf:type owl:ObjectProperty ; + rdfs:domain :Calculation . + + +### http://purl.org/aiaontology#impacts +:impacts rdf:type owl:ObjectProperty ; + owl:inverseOf :isImpactedBy ; + rdfs:domain :Activity , + :Event ; + rdfs:range :Environment . + + +### http://purl.org/aiaontology#isDefinedBy +:isDefinedBy rdf:type owl:ObjectProperty ; + rdfs:domain :Environment ; + rdfs:range :Parameter . + + +### http://purl.org/aiaontology#isEnactedBy +:isEnactedBy rdf:type owl:ObjectProperty ; + rdfs:domain :Role ; + rdfs:range :Agent . + + +### http://purl.org/aiaontology#isImpactedBy +:isImpactedBy rdf:type owl:ObjectProperty ; + rdfs:domain :Environment ; + rdfs:range :Activity , + :Event . + + +### http://purl.org/aiaontology#isLimitedOrDirectedBy +:isLimitedOrDirectedBy rdf:type owl:ObjectProperty ; + owl:inverseOf :limitsOrDirects ; + rdfs:domain owl:Thing ; + rdfs:range . + + +### http://purl.org/aiaontology#isOperatedBy +:isOperatedBy rdf:type owl:ObjectProperty ; + owl:inverseOf :operates ; + rdfs:domain :Instrument ; + rdfs:range :Operator . + + +### http://purl.org/aiaontology#isOwnedBy +:isOwnedBy rdf:type owl:ObjectProperty ; + owl:inverseOf :owns ; + rdfs:domain owl:Thing ; + rdfs:range :Owner . + + +### http://purl.org/aiaontology#isParValOf +:isParValOf rdf:type owl:ObjectProperty , + owl:AsymmetricProperty ; + rdfs:domain :State ; + rdfs:range :Parameter . + + +### http://purl.org/aiaontology#isPerformedBy +:isPerformedBy rdf:type owl:ObjectProperty ; + rdfs:domain :Activity ; + rdfs:range :Agent . + + +### http://purl.org/aiaontology#isStateDiffFrom +:isStateDiffFrom rdf:type owl:ObjectProperty ; + rdfs:domain :State ; + rdfs:range :State . + + +### http://purl.org/aiaontology#isStatementAbout +:isStatementAbout rdf:type owl:ObjectProperty ; + rdfs:domain ; + rdfs:range owl:Thing . + + +### http://purl.org/aiaontology#isVerifiedBy +:isVerifiedBy rdf:type owl:ObjectProperty ; + owl:inverseOf :isVerifierOf ; + rdfs:domain ; + rdfs:range :Auditor . + + +### http://purl.org/aiaontology#isVerifierOf +:isVerifierOf rdf:type owl:ObjectProperty ; + rdfs:domain :Auditor ; + rdfs:range . + + +### http://purl.org/aiaontology#limitsOrDirects +:limitsOrDirects rdf:type owl:ObjectProperty , + owl:AsymmetricProperty ; + rdfs:domain ; + rdfs:range owl:Thing . + + +### http://purl.org/aiaontology#makesClaim +:makesClaim rdf:type owl:ObjectProperty ; + rdfs:domain :Agent ; + rdfs:range ; + rdfs:comment "FIX: this does not work while Role exists/Auditor etc. is not a subClassOf Agent."@en . + + +### http://purl.org/aiaontology#makesImpactClaim +:makesImpactClaim rdf:type owl:ObjectProperty ; + rdfs:domain :Agent ; + rdfs:range . + + +### http://purl.org/aiaontology#operates +:operates rdf:type owl:ObjectProperty ; + rdfs:domain :Operator ; + rdfs:range :Instrument . + + +### http://purl.org/aiaontology#owns +:owns rdf:type owl:ObjectProperty ; + rdfs:domain :Owner ; + rdfs:range owl:Thing . + + +### http://purl.org/aiaontology#performedWith +:performedWith rdf:type owl:ObjectProperty ; + owl:inverseOf :usedToPerform ; + rdfs:domain :Activity ; + rdfs:range :Instrument . + + +### http://purl.org/aiaontology#usedToPerform +:usedToPerform rdf:type owl:ObjectProperty ; + rdfs:domain :Instrument ; + rdfs:range :Activity . + + +### http://purl.org/aiaontology#usesSymbol +:usesSymbol rdf:type owl:ObjectProperty ; + rdfs:domain :Formula . + + +### http://www.w3.org/2002/07/owl#equivalentClass +owl:equivalentClass rdf:type owl:ObjectProperty . + + +################################################################# +# Data properties +################################################################# + +### http://purl.org/aiaontology#appliesToParameters +:appliesToParameters rdf:type owl:DatatypeProperty ; + rdfs:range xsd:string ; + rdfs:comment "The parameters to which this methodology applies."@en . + + +### http://purl.org/aiaontology#hasAccuracy +:hasAccuracy rdf:type owl:DatatypeProperty ; + rdfs:domain :MeasurementInstrument ; + rdfs:range xsd:float . + + +### http://purl.org/aiaontology#hasActivityCode +:hasActivityCode rdf:type owl:DatatypeProperty ; + rdfs:range xsd:string . + + +### http://purl.org/aiaontology#hasCodeInRegistry +:hasCodeInRegistry rdf:type owl:DatatypeProperty ; + rdfs:domain :Parameter ; + rdfs:range xsd:string . + + +### http://purl.org/aiaontology#hasConfLowerBound +:hasConfLowerBound rdf:type owl:DatatypeProperty ; + rdfs:domain :State ; + rdfs:range xsd:float . + + +### http://purl.org/aiaontology#hasConfUpperBound +:hasConfUpperBound rdf:type owl:DatatypeProperty ; + rdfs:domain :State ; + rdfs:range xsd:float . + + +### http://purl.org/aiaontology#hasConfidenceLevel +:hasConfidenceLevel rdf:type owl:DatatypeProperty ; + rdfs:domain :State ; + rdfs:range xsd:float . + + +### http://purl.org/aiaontology#hasDefinition +:hasDefinition rdf:type owl:DatatypeProperty ; + rdfs:domain :Parameter ; + rdfs:range xsd:string . + + +### http://purl.org/aiaontology#hasDescription +:hasDescription rdf:type owl:DatatypeProperty ; + rdfs:domain :Environment , + :Instrument ; + rdfs:range xsd:string . + + +### http://purl.org/aiaontology#hasExpression +:hasExpression rdf:type owl:DatatypeProperty ; + rdfs:domain :Formula ; + rdfs:range xsd:string . + + +### http://purl.org/aiaontology#hasLabel +:hasLabel rdf:type owl:DatatypeProperty ; + rdfs:domain :Location ; + rdfs:range xsd:string ; + rdfs:comment "A optional human-understandable label for an entity of type Location, eg. a street adress."@en . + + +### http://purl.org/aiaontology#hasLogicalOperator +:hasLogicalOperator rdf:type owl:DatatypeProperty ; + rdfs:domain ; + rdfs:range xsd:string ; + rdfs:comment """Less than, greater than, equal to, include, exclude, etc. +Used to relate the subject and value of a Control, for example: + +C a Control ; + hasSubject ActivityB.startDate ; + hasValue ActivityA.endDate ; + hasOperator >= . + +is equivalent to the condition (Control) that Activity B only commence after the end of Activity A."""@en . + + +### http://purl.org/aiaontology#hasMake +:hasMake rdf:type owl:DatatypeProperty ; + rdfs:domain :Instrument ; + rdfs:range xsd:string . + + +### http://purl.org/aiaontology#hasModality +:hasModality rdf:type owl:DatatypeProperty ; + rdfs:range xsd:boolean ; + rdfs:comment "Counterfactual (FALSE) or real (TRUE)."@en . + + +### http://purl.org/aiaontology#hasModel +:hasModel rdf:type owl:DatatypeProperty ; + rdfs:domain :Instrument ; + rdfs:range xsd:string . + + +### http://purl.org/aiaontology#hasName +:hasName rdf:type owl:DatatypeProperty ; + rdfs:domain :Agent ; + rdfs:range xsd:string . + + +### http://purl.org/aiaontology#hasPrecision +:hasPrecision rdf:type owl:DatatypeProperty ; + rdfs:domain :MeasurementInstrument , + :Parameter ; + rdfs:range xsd:float . + + +### http://purl.org/aiaontology#hasRationale +:hasRationale rdf:type owl:DatatypeProperty ; + rdfs:domain :Parameter ; + rdfs:range xsd:string . + + +### http://purl.org/aiaontology#hasReferenceSystem +:hasReferenceSystem rdf:type owl:DatatypeProperty ; + rdfs:domain :Location ; + rdfs:range xsd:string ; + rdfs:comment "EDIT for use with Location"@en . + + +### http://purl.org/aiaontology#hasRegistry +:hasRegistry rdf:type owl:DatatypeProperty ; + rdfs:domain :Instrument , + :Parameter ; + rdfs:range xsd:string . + + +### http://purl.org/aiaontology#hasRegistryVersion +:hasRegistryVersion rdf:type owl:DatatypeProperty ; + rdfs:domain :Instrument , + :Parameter ; + rdfs:range xsd:string . + + +### http://purl.org/aiaontology#hasSource +:hasSource rdf:type owl:DatatypeProperty ; + rdfs:range xsd:string . + + +### http://purl.org/aiaontology#hasSymbol +:hasSymbol rdf:type owl:DatatypeProperty ; + rdfs:range xsd:string . + + +### http://purl.org/aiaontology#hasTimestamp +:hasTimestamp rdf:type owl:DatatypeProperty ; + rdfs:domain :State ; + rdfs:range xsd:dateTime ; + rdfs:comment "Format: YYYY-MM-DDThh:mm:ss"@en , + "The moment of measurement of the value of a Parameter that defines the State."@en . + + +### http://purl.org/aiaontology#hasUnitOfMeasure +:hasUnitOfMeasure rdf:type owl:DatatypeProperty ; + rdfs:domain :Parameter ; + rdfs:range rdf:PlainLiteral . + + +### http://purl.org/aiaontology#hasValue +:hasValue rdf:type owl:DatatypeProperty ; + rdfs:domain :State , + ; + rdfs:range rdfs:Resource . + + +### http://purl.org/aiaontology#isBinding +:isBinding rdf:type owl:DatatypeProperty ; + rdfs:domain ; + rdfs:range xsd:boolean ; + rdfs:comment "Used to indicate whether a Control is obligatory (TRUE) or non-obligatory (FALSE)"@en . + + +### http://purl.org/aiaontology#isSymbol +:isSymbol rdf:type owl:DatatypeProperty ; + rdfs:range xsd:string . + + +### http://purl.org/aiaontology#pointHasAltitude +:pointHasAltitude rdf:type owl:DatatypeProperty ; + rdfs:range xsd:string . + + +### http://purl.org/aiaontology#pointHasLatitude +:pointHasLatitude rdf:type owl:DatatypeProperty ; + rdfs:range xsd:string . + + +### http://purl.org/aiaontology#pointHasLongtitude +:pointHasLongtitude rdf:type owl:DatatypeProperty ; + rdfs:range xsd:string . + + +### http://purl.org/aiaontology#wasCalibratedOn +:wasCalibratedOn rdf:type owl:DatatypeProperty ; + rdfs:domain :MeasurementInstrument ; + rdfs:range xsd:dateTime ; + rdfs:comment "Format: YYYY-MM-DDThh:mm:ss"@en . + + +### http://purl.org/aiaontology#wasManufacturedOn +:wasManufacturedOn rdf:type owl:DatatypeProperty ; + rdfs:domain :Instrument ; + rdfs:range xsd:date ; + rdfs:comment "Format: eg. 2022-01-16"@en . + + +### http://www.w3.org/2006/time#hasDuration + rdf:type owl:DatatypeProperty ; + rdfs:domain :Period . + + +### http://www.w3.org/ns/prov#endedAtTime + rdf:type owl:DatatypeProperty ; + rdfs:domain :Period ; + rdfs:range xsd:dateTime ; + rdfs:comment "Format: YYYY-MM-DDThh:mm:ss"@en . + + +### http://www.w3.org/ns/prov#startedAtTime + rdf:type owl:DatatypeProperty ; + rdfs:domain :Period ; + rdfs:range xsd:dateTime ; + rdfs:comment "Format: YYYY-MM-DDThh:mm:ss"@en . + + +################################################################# +# Classes +################################################################# + +### http://purl.org/aiaontology#AccountingPeriod +:AccountingPeriod rdf:type owl:Class ; + rdfs:subClassOf :Period ; + rdfs:label "AccountingPeriod"@en . + + +### http://purl.org/aiaontology#Activity +:Activity rdf:type owl:Class ; + owl:equivalentClass ; + owl:disjointWith :Event ; + rdfs:comment "A thing that an agent does, which impacts an environment."@en , + "An Activity may comprise other Activity/ies, e.g. a project (an Activity) consists of many Activities. Use the 'comprises' property to indicate this."@en ; + skos:altLabel "Action"@en . + + +### http://purl.org/aiaontology#Agent +:Agent rdf:type owl:Class ; + owl:equivalentClass terms:AgentClass , + ; + rdfs:comment "\"An agent is something that bears some form of responsibility for an activity taking place, for the existence of an entity, or for another agent's activity.\" (http://www.w3.org/ns/prov#Agent)"@en ; + rdfs:isDefinedBy ; + rdfs:label "Agent"@en ; + rdfs:seeAlso . + + +### http://purl.org/aiaontology#Area +:Area rdf:type owl:Class ; + rdfs:subClassOf :Extent ; + rdfs:comment "TODO: definition"^^xsd:string . + + +### http://purl.org/aiaontology#Attest +:Attest rdf:type owl:Class ; + rdfs:subClassOf :Activity ; + rdfs:comment "TODO definition"^^xsd:string ; + rdfs:label "Attest" . + + +### http://purl.org/aiaontology#Attestation +:Attestation rdf:type owl:Class ; + rdfs:comment "A claim that is validated by formal statement of an official authority"^^xsd:string , + "TODO: definition"^^xsd:string ; + rdfs:label "Attestation(n)" . + + +### http://purl.org/aiaontology#Auditor +:Auditor rdf:type owl:Class ; + owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; + owl:onProperty :compliesWithRequirements ; + owl:someValuesFrom + ] + [ rdf:type owl:Restriction ; + owl:onProperty :isVerifierOf ; + owl:someValuesFrom + ] + ) ; + rdf:type owl:Class + ] ; + rdfs:subClassOf :Verifier ; + rdfs:label "Auditor"^^xsd:string ; + skos:definition "A set of predefined behaviours for a certified agent who conducts an audit."^^xsd:string . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :Auditor ; + owl:annotatedProperty owl:equivalentClass ; + owl:annotatedTarget [ owl:intersectionOf ( [ rdf:type owl:Restriction ; + owl:onProperty :compliesWithRequirements ; + owl:someValuesFrom + ] + [ rdf:type owl:Restriction ; + owl:onProperty :isVerifierOf ; + owl:someValuesFrom + ] + ) ; + rdf:type owl:Class + ] ; + rdfs:comment "The requirement for an Agent to fulfill the Role of Auditor is that they verify some Claim AND complies with the (legal) Controls for being an Auditor"@en + ] . + + +### http://purl.org/aiaontology#Calculate +:Calculate rdf:type owl:Class ; + rdfs:subClassOf :Activity . + + +### http://purl.org/aiaontology#Calculation +:Calculation rdf:type owl:Class ; + rdfs:subClassOf ; + rdfs:label "Calculation"@en . + + +### http://purl.org/aiaontology#Calibrator +:Calibrator rdf:type owl:Class ; + owl:equivalentClass [ rdf:type owl:Restriction ; + owl:onProperty :calibrates ; + owl:someValuesFrom :MeasurementInstrument + ] ; + rdfs:subClassOf :Role ; + rdfs:label "Calibrator"^^xsd:string ; + skos:definition "A set of predefined behaviours for an agent who calibrates a measurement instrument."^^xsd:string . + + +### http://purl.org/aiaontology#ClaimMedium +:ClaimMedium rdf:type owl:Class ; + rdfs:subClassOf :Medium ; + rdfs:comment """A means of representation though a control:format + +Media can be digital or physical"""^^xsd:string , + "TODO: definition"^^xsd:string ; + rdfs:label "Claim Medium" . + + +### http://purl.org/aiaontology#Claimant +:Claimant rdf:type owl:Class ; + owl:equivalentClass [ rdf:type owl:Restriction ; + owl:onProperty :makesClaim ; + owl:someValuesFrom + ] ; + rdfs:subClassOf :Role ; + rdfs:label "Claimant"^^xsd:string ; + skos:definition "A set of predefined behaviours for an agent who makes a claim in the context of a specific activity."^^xsd:string . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :Claimant ; + owl:annotatedProperty owl:equivalentClass ; + owl:annotatedTarget [ rdf:type owl:Restriction ; + owl:onProperty :makesClaim ; + owl:someValuesFrom + ] ; + rdfs:comment "The requirement for an Agent to fulfill the Role of Claimant is that they make some Claim."@en + ] . + + +### http://purl.org/aiaontology#Class +:Class rdf:type owl:Class ; + rdfs:subClassOf :Parameter ; + rdfs:comment "TODO: definition"@en . + + +### http://purl.org/aiaontology#ClassificationSystem +:ClassificationSystem rdf:type owl:Class ; + rdfs:subClassOf ; + rdfs:comment "TODO: definition"^^xsd:string ; + rdfs:label "Classification System"^^xsd:string . + + +### http://purl.org/aiaontology#CreditingPeriod +:CreditingPeriod rdf:type owl:Class ; + rdfs:subClassOf :Period . + + +### http://purl.org/aiaontology#CyberPersona +:CyberPersona rdf:type owl:Class ; + rdfs:subClassOf :Agent ; + rdfs:label "CyberPersona" . + + +### http://purl.org/aiaontology#Environment +:Environment rdf:type owl:Class ; + rdfs:comment "(PROPOSED) The surroundings and conditions in which a thing exists."@en ; + rdfs:label "Environment"@en . + + +### http://purl.org/aiaontology#Event +:Event rdf:type owl:Class ; + owl:equivalentClass , + ; + rdfs:label "Event"@en ; + skos:definition "A thing that happens or takes place and which impacts an environment. An event is differentiated from an activity by the absence of explicit human intention."^^xsd:string . + + +### http://purl.org/aiaontology#Extent +:Extent rdf:type owl:Class ; + rdfs:subClassOf :SpatialParameter ; + rdfs:comment "TODO: definition"^^xsd:string . + + +### http://purl.org/aiaontology#Formula +:Formula rdf:type owl:Class ; + rdfs:subClassOf ; + rdfs:comment "TODO: definition"^^xsd:string . + + +### http://purl.org/aiaontology#GeocentricDatum +:GeocentricDatum rdf:type owl:Class ; + rdfs:subClassOf :SpatialReferenceSystem ; + rdfs:comment "TODO:definition"^^xsd:string . + + +### http://purl.org/aiaontology#GeodeticDatum +:GeodeticDatum rdf:type owl:Class ; + rdfs:subClassOf :SpatialReferenceSystem ; + rdfs:comment "TODO: definition"^^xsd:string . + + +### http://purl.org/aiaontology#Indicator +:Indicator rdf:type owl:Class ; + rdfs:subClassOf ; + rdfs:label "Indicator" ; + skos:definition "A calculated interpretation of measured parameters that indicates the state or level of something."^^xsd:string . + + +### http://purl.org/aiaontology#Instant +:Instant rdf:type owl:Class ; + rdfs:subClassOf :TemporalParameter . + + +### http://purl.org/aiaontology#Instrument +:Instrument rdf:type owl:Class ; + rdfs:label "Instrument"@en ; + skos:definition "A thing used to perform an activity."^^xsd:string . + + +### http://purl.org/aiaontology#LegalPerson +:LegalPerson rdf:type owl:Class ; + owl:equivalentClass ; + rdfs:subClassOf :Agent . + + +### http://purl.org/aiaontology#Line +:Line rdf:type owl:Class ; + rdfs:subClassOf :Extent ; + rdfs:comment "TODO: definition"^^xsd:string . + + +### http://purl.org/aiaontology#Location +:Location rdf:type owl:Class ; + owl:equivalentClass terms:Location ; + rdfs:subClassOf :SpatialParameter ; + rdfs:comment "An entity of type Location can be a Point, Line, Path, Polygon, or Volume. A point has a x and y (and optional z) coordinate. If no z coordinate is specified, sea level is assumed. A line comprises exactly two points. A path is two or more continuous lines. A polygon is the area enclosed by three or more points. A volume is the area enclosed by four or more polygons where each edge is shared by exactly two polygons. Length can be derived from a given Line, area from a given Polygon, and volume from a given Volume."@en , + "TODO: definition"^^xsd:string ; + rdfs:label "Location"@en . + + +### http://purl.org/aiaontology#Measurement +:Measurement rdf:type owl:Class ; + rdfs:subClassOf ; + rdfs:comment "TODO: definition"^^xsd:string ; + rdfs:label "Measurement" . + + +### http://purl.org/aiaontology#MeasurementInstrument +:MeasurementInstrument rdf:type owl:Class ; + rdfs:subClassOf :Instrument . + + +### http://purl.org/aiaontology#MeasurementSystem +:MeasurementSystem rdf:type owl:Class ; + rdfs:subClassOf ; + rdfs:label "Measurement System"^^xsd:string ; + skos:definition "A measurement system allows the expression of the state of a parameter."^^xsd:string . + + +### http://purl.org/aiaontology#Medium +:Medium rdf:type owl:Class ; + rdfs:comment "TODO: definition"^^xsd:string ; + rdfs:label "Medium" . + + +### http://purl.org/aiaontology#NaturalPerson +:NaturalPerson rdf:type owl:Class ; + owl:equivalentClass ; + rdfs:subClassOf :Agent . + + +### http://purl.org/aiaontology#NaturalProcess +:NaturalProcess rdf:type owl:Class ; + rdfs:subClassOf :Process ; + rdfs:label "Natural Process" ; + skos:definition "A series of interrelated or interacting natural events without a primary human cause."^^xsd:string . + + +### http://purl.org/aiaontology#Objective +:Objective rdf:type owl:Class ; + rdfs:subClassOf ; + rdfs:label "Objective" ; + skos:altLabel "Goal"^^xsd:string ; + skos:definition "\"[R]esult to be achieved.\" (ISO Annex SL Appendix 2)"^^xsd:string . + + +### http://purl.org/aiaontology#Operator +:Operator rdf:type owl:Class ; + owl:equivalentClass [ rdf:type owl:Restriction ; + owl:onProperty :operates ; + owl:someValuesFrom :Instrument + ] ; + rdfs:subClassOf :Role ; + rdfs:label "Operator"^^xsd:string ; + skos:definition "A set of predefined behaviours for an agent who operates a specific thing (e.g., an instrument) in the context of a specific activity."^^xsd:string . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :Operator ; + owl:annotatedProperty owl:equivalentClass ; + owl:annotatedTarget [ rdf:type owl:Restriction ; + owl:onProperty :operates ; + owl:someValuesFrom :Instrument + ] ; + rdfs:comment "The requirement for an Agent to fulfill the Role of Operator is that they operate some Instrument."@en + ] . + + +### http://purl.org/aiaontology#Owner +:Owner rdf:type owl:Class ; + owl:equivalentClass [ rdf:type owl:Restriction ; + owl:onProperty :owns ; + owl:someValuesFrom owl:Thing + ] ; + rdfs:subClassOf :Role ; + rdfs:label "Owner"^^xsd:string ; + skos:definition "A set of predefined behaviours for an agent who owns a specific thing in the context of a specific activity"^^xsd:string . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :Owner ; + owl:annotatedProperty owl:equivalentClass ; + owl:annotatedTarget [ rdf:type owl:Restriction ; + owl:onProperty :owns ; + owl:someValuesFrom owl:Thing + ] ; + rdfs:comment "The requirement for an Agent to fulfill the Role of Owner is that they own some owl:Thing."@en + ] . + + +### http://purl.org/aiaontology#Parameter +:Parameter rdf:type owl:Class ; + rdfs:label "Parameter"^^xsd:string ; + skos:altLabel "Attribute"@en ; + skos:definition "A quality or feature forming one of a set that defines something or sets the conditions of its existence or operation."^^xsd:string . + + +### http://purl.org/aiaontology#Period +:Period rdf:type owl:Class ; + owl:equivalentClass terms:PeriodOfTime ; + rdfs:subClassOf :TemporalParameter ; + rdfs:comment """Activity, Project, and Event are in the domain of hasPeriod; the range is Period. +Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDuration predicates."""@en ; + rdfs:label "Period"@en . + + +### http://purl.org/aiaontology#Process +:Process rdf:type owl:Class ; + rdfs:label "Process (n)" ; + skos:definition "A series of interrelated or interacting events or activities."^^xsd:string . + + +### http://purl.org/aiaontology#Project +:Project rdf:type owl:Class ; + rdfs:subClassOf :Process ; + rdfs:label "Project" ; + skos:definition "A unique process, consisting of a set of coordinated activities, undertaken to achieve an objective under specific controls."^^xsd:string . + + +### http://purl.org/aiaontology#ProjectDeveloper +:ProjectDeveloper rdf:type owl:Class ; + rdfs:subClassOf :Role ; + rdfs:label "Project Developer"^^xsd:string ; + skos:definition "A set of predefined behaviours for an agent who defines and prepares the conditions for an activity or a set of activities."^^xsd:string . + + +### http://purl.org/aiaontology#ProjectPeriod +:ProjectPeriod rdf:type owl:Class ; + rdfs:subClassOf :Period . + + +### http://purl.org/aiaontology#Reputation +:Reputation rdf:type owl:Class ; + rdfs:subClassOf :Parameter ; + rdfs:comment "NOT FINAL \"[T]he beliefs or opinions that are generally held about someone or something.\" (OED, Google)"@en , + "TODO: definition"^^xsd:string ; + rdfs:label "Reputation"@en . + + +### http://purl.org/aiaontology#Role +:Role rdf:type owl:Class ; + rdfs:subClassOf ; + rdfs:label "Role"@en ; + skos:definition "A set of predefined behaviours for an agent with regards to a specific activity."^^xsd:string . + + +### http://purl.org/aiaontology#SpatialParameter +:SpatialParameter rdf:type owl:Class ; + rdfs:subClassOf :Parameter ; + rdfs:comment "TODO: definition"^^xsd:string . + + +### http://purl.org/aiaontology#SpatialReferenceSystem +:SpatialReferenceSystem rdf:type owl:Class ; + rdfs:subClassOf :MeasurementSystem ; + rdfs:comment "TODO: definition"^^xsd:string . + + +### http://purl.org/aiaontology#State +:State rdf:type owl:Class ; + rdfs:comment "The State of an Environment comprises the collection of the States (i.e. the values) of that Environment's defining parameters."@en ; + rdfs:label "State"@en ; + skos:definition "A state is the value of a parameter at a specific time position."^^xsd:string . + + +### http://purl.org/aiaontology#TemporalParameter +:TemporalParameter rdf:type owl:Class ; + rdfs:subClassOf :Parameter . + + +### http://purl.org/aiaontology#TemporalReferenceSystem +:TemporalReferenceSystem rdf:type owl:Class ; + rdfs:subClassOf :MeasurementSystem ; + rdfs:comment "TODO: definition"^^xsd:string . + + +### http://purl.org/aiaontology#TimePosition +:TimePosition rdf:type owl:Class ; + rdfs:subClassOf :TemporalParameter ; + rdfs:label "TimePosition" . + + +### http://purl.org/aiaontology#Validate +:Validate rdf:type owl:Class ; + rdfs:subClassOf :Activity ; + rdfs:label "Validate (v)"^^xsd:string ; + skos:definition "The activity of confirming or demonstrating that something satisfies a specification"^^xsd:string . + + +### http://purl.org/aiaontology#Verifier +:Verifier rdf:type owl:Class ; + owl:equivalentClass [ rdf:type owl:Restriction ; + owl:onProperty :isVerifierOf ; + owl:someValuesFrom + ] ; + rdfs:subClassOf :Role ; + rdfs:label "Verifier"^^xsd:string ; + skos:definition "A set of predefined behaviours for an agent who verifies a claim."^^xsd:string . + +[ rdf:type owl:Axiom ; + owl:annotatedSource :Verifier ; + owl:annotatedProperty owl:equivalentClass ; + owl:annotatedTarget [ rdf:type owl:Restriction ; + owl:onProperty :isVerifierOf ; + owl:someValuesFrom + ] ; + rdfs:comment "FIX: more complex and complete Controls for Agents to fulfill certain Roles to be added"@en + ] . + + +### http://purl.org/aiaontology#Volume +:Volume rdf:type owl:Class ; + rdfs:subClassOf :Extent ; + rdfs:comment "TODO: definition"^^xsd:string . + + +### http://purl.org/aiaontology#Audit(n) + rdf:type owl:Class ; + rdfs:subClassOf ; + rdfs:label "Audit (n)"^^xsd:string ; + skos:definition "The result of an auditing process."^^xsd:string . + + +### http://purl.org/aiaontology#Audit(v) + rdf:type owl:Class ; + rdfs:subClassOf ; + rdfs:label "Audit (v)"^^xsd:string ; + skos:definition "The activity of performing a systematic, independent, objective and documented evaluation of a claim and its supporting evidence to determine the extent to which it complies with specific criteria (thing:control)"^^xsd:string . + + +### http://purl.org/aiaontology#Claim(n) + rdf:type owl:Class ; + rdfs:comment "A Claim may comprise other Claim/s, e.g. a report (a Claim) consists of many Claims. Use the 'comprises' property to indicate this."@en ; + rdfs:label "Claim (n)"@en ; + rdfs:seeAlso ; + skos:altLabel "Assertion"@en ; + skos:definition "A claim is a statement about a (some specific) thing expressed in a claim medium."^^xsd:string . + + +### http://purl.org/aiaontology#Claim(v) + rdf:type owl:Class ; + rdfs:subClassOf :Activity ; + rdfs:label "Claim (v)"@en ; + skos:altLabel "Assert"@en ; + skos:definition "The activity of making a statement about a (specific) thing."@en . + + +### http://purl.org/aiaontology#Control(n) + rdf:type owl:Class ; + rdfs:comment "A Control may comprise other Controls, e.g. a methodology (a Control) defines many conditions to be met (themselves Controls). Use the 'comprises' property to indicate this."@en ; + skos:definition "A means of limiting or directing a thing."^^xsd:string . + + +### http://purl.org/aiaontology#IdentityClaim(n) + rdf:type owl:Class ; + rdfs:subClassOf ; + rdfs:comment "TODO: definition"^^xsd:string ; + rdfs:label "Identity claim (n)" . + + +### http://purl.org/aiaontology#ImpactClaim(n) + rdf:type owl:Class ; + rdfs:subClassOf ; + rdfs:label "Impact Claim (n)"^^xsd:string ; + skos:definition "An impact claim is a statement about the relation between an activity and a state change, typically following an impact accounting methodology (thing:control)."^^xsd:string . + + +### http://purl.org/aiaontology#Measure(v) + rdf:type owl:Class ; + rdfs:subClassOf :Activity ; + rdfs:label "Measure(v)" ; + skos:definition "The activity of ascertaining the value of a parameter defining a state."^^xsd:string . + + +### http://purl.org/aiaontology#Report(n) + rdf:type owl:Class ; + rdfs:subClassOf ; + rdfs:label "Report (n)" ; + skos:definition "A report is a claim that satisfies a specification about an activity or event."^^xsd:string . + + +### http://purl.org/aiaontology#Report(v) + rdf:type owl:Class ; + rdfs:subClassOf ; + rdfs:label "Report (v)"^^xsd:string ; + skos:definition "The activity of making a claim about an activity or event according to a specification."^^xsd:string . + + +### http://purl.org/aiaontology#Verify(v) + rdf:type owl:Class ; + rdfs:subClassOf :Activity ; + rdfs:label "Verify(v)" ; + skos:definition "The activity of confirming or demonstrating that something is true, accurate, or justified."^^xsd:string . + + +### http://purl.org/dc/dcmitype/Event + rdf:type owl:Class . + + +### http://purl.org/dc/terms/AgentClass +terms:AgentClass rdf:type owl:Class . + + +### http://purl.org/dc/terms/Location +terms:Location rdf:type owl:Class . + + +### http://purl.org/dc/terms/PeriodOfTime +terms:PeriodOfTime rdf:type owl:Class . + + +### http://www.w3.org/2002/07/owl#Thing +owl:Thing rdf:type owl:Class ; + owl:equivalentClass ; + rdfs:comment """\"Anything perceivable or conceivable.\" (\"object\" - ISO 9000:2015(E)) + +\"An entity is a physical, digital, conceptual, or other kind of thing with some fixed aspects; entities may be real or imaginary.\" (https://www.w3.org/ns/prov#Entity)"""@en ; + skos:altLabel "Entity"@en , + "Item"@en , + "Object"@en . + + +### http://www.w3.org/2006/time#Duration + rdf:type owl:Class ; + rdfs:subClassOf :TemporalParameter . + + +### http://www.w3.org/ns/prov#Activity + rdf:type owl:Class . + + +### http://www.w3.org/ns/prov#Agent + rdf:type owl:Class . + + +### http://www.w3.org/ns/prov#Entity + rdf:type owl:Class . + + +### http://www.w3.org/ns/prov#InstantaneousEvent + rdf:type owl:Class . + + +### http://www.wikidata.org/wiki/Q154954 + rdf:type owl:Class ; + rdfs:comment "\"real human being as opposed to a non-human legal person\" (https://www.wikidata.org/wiki/Q154954)"@en ; + rdfs:isDefinedBy ; + rdfs:label "Natural Person"^^xsd:string . + + +### http://www.wikidata.org/wiki/Q3778211 + rdf:type owl:Class ; + rdfs:comment "\"any human or non-human entity that is recognized as having privileges and obligations; a legal fiction which is used to abstract away the differences between natural persons, juridical persons and other entities such as countries\" (https://www.wikidata.org/wiki/Q3778211)"@en ; + rdfs:isDefinedBy ; + rdfs:label "Legal Person"^^xsd:string . + + +################################################################# +# Individuals +################################################################# + +### http://purl.org/aiaontology#GPS +:GPS rdf:type owl:NamedIndividual ; + rdfs:comment "This is but one example of a CRS (Coordinate Reference System) - there are many more that may be defined in implementation"@en . + + +################################################################# +# Annotations +################################################################# + +owl:equivalentClass rdfs:label "equivalentClass" . + + +################################################################# +# General axioms +################################################################# + +[ rdf:type owl:Axiom ; + owl:annotatedSource [ rdf:type owl:Restriction ; + owl:onProperty :hasDuration ; + owl:someValuesFrom ; + rdfs:subClassOf [ owl:intersectionOf ( [ rdf:type owl:Restriction ; + owl:onProperty ; + owl:someValuesFrom xsd:dateTime + ] + [ rdf:type owl:Restriction ; + owl:onProperty ; + owl:someValuesFrom xsd:dateTime + ] + ) ; + rdf:type owl:Class + ] + ] ; + owl:annotatedProperty rdfs:subClassOf ; + owl:annotatedTarget [ owl:intersectionOf ( [ rdf:type owl:Restriction ; + owl:onProperty ; + owl:someValuesFrom xsd:dateTime + ] + [ rdf:type owl:Restriction ; + owl:onProperty ; + owl:someValuesFrom xsd:dateTime + ] + ) ; + rdf:type owl:Class + ] ; + rdfs:comment "The class of all things that have a duration is a subclass of the set of all things that have a start as well as end time. In other words, everything which has a duration must have started at some time and ended at some time."@en +] . + + +### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi From a6eee0d2163f091530501c4f682780c21fbcced8 Mon Sep 17 00:00:00 2001 From: LuciaPauw Date: Tue, 9 Jul 2024 09:31:19 +0200 Subject: [PATCH 06/27] Add data_format and represent classes --- Schemas/OWL/aia.owl | 16 ++++++++++++++++ Schemas/OWL/aia.ttl | 10 ++++++++++ 2 files changed, 26 insertions(+) diff --git a/Schemas/OWL/aia.owl b/Schemas/OWL/aia.owl index fc5fee4..224aa89 100644 --- a/Schemas/OWL/aia.owl +++ b/Schemas/OWL/aia.owl @@ -1196,6 +1196,14 @@ Media can be digital or physical + + + + + + + + @@ -1712,6 +1720,14 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura + + + + + + + + diff --git a/Schemas/OWL/aia.ttl b/Schemas/OWL/aia.ttl index 3ca3aff..5385bea 100644 --- a/Schemas/OWL/aia.ttl +++ b/Schemas/OWL/aia.ttl @@ -805,6 +805,11 @@ Media can be digital or physical"""^^xsd:string , rdfs:label "CyberPersona" . +### http://purl.org/aiaontology#DataFormat +:DataFormat rdf:type owl:Class ; + rdfs:subClassOf . + + ### http://purl.org/aiaontology#Environment :Environment rdf:type owl:Class ; rdfs:comment "(PROPOSED) The surroundings and conditions in which a thing exists."@en ; @@ -1168,6 +1173,11 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura skos:definition "The activity of making a claim about an activity or event according to a specification."^^xsd:string . +### http://purl.org/aiaontology#Represent(v) + rdf:type owl:Class ; + rdfs:subClassOf :Activity . + + ### http://purl.org/aiaontology#Verify(v) rdf:type owl:Class ; rdfs:subClassOf :Activity ; From 4cfe4967c319a83b516ec14a3f8d6fd701d7470d Mon Sep 17 00:00:00 2001 From: LuciaPauw Date: Tue, 9 Jul 2024 09:57:51 +0200 Subject: [PATCH 07/27] Add documentation generated by pyLODE --- Documentation/LICENSE | 201 + Documentation/index.html | 7816 ++++++++++++++++++++++++++++++++++++++ 2 files changed, 8017 insertions(+) create mode 100644 Documentation/LICENSE create mode 100644 Documentation/index.html diff --git a/Documentation/LICENSE b/Documentation/LICENSE new file mode 100644 index 0000000..261eeb9 --- /dev/null +++ b/Documentation/LICENSE @@ -0,0 +1,201 @@ + Apache License + Version 2.0, January 2004 + http://www.apache.org/licenses/ + + TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION + + 1. Definitions. + + "License" shall mean the terms and conditions for use, reproduction, + and distribution as defined by Sections 1 through 9 of this document. + + "Licensor" shall mean the copyright owner or entity authorized by + the copyright owner that is granting the License. + + "Legal Entity" shall mean the union of the acting entity and all + other entities that control, are controlled by, or are under common + control with that entity. For the purposes of this definition, + "control" means (i) the power, direct or indirect, to cause the + direction or management of such entity, whether by contract or + otherwise, or (ii) ownership of fifty percent (50%) or more of the + outstanding shares, or (iii) beneficial ownership of such entity. + + "You" (or "Your") shall mean an individual or Legal Entity + exercising permissions granted by this License. + + "Source" form shall mean the preferred form for making modifications, + including but not limited to software source code, documentation + source, and configuration files. + + "Object" form shall mean any form resulting from mechanical + transformation or translation of a Source form, including but + not limited to compiled object code, generated documentation, + and conversions to other media types. + + "Work" shall mean the work of authorship, whether in Source or + Object form, made available under the License, as indicated by a + copyright notice that is included in or attached to the work + (an example is provided in the Appendix below). + + "Derivative Works" shall mean any work, whether in Source or Object + form, that is based on (or derived from) the Work and for which the + editorial revisions, annotations, elaborations, or other modifications + represent, as a whole, an original work of authorship. For the purposes + of this License, Derivative Works shall not include works that remain + separable from, or merely link (or bind by name) to the interfaces of, + the Work and Derivative Works thereof. + + "Contribution" shall mean any work of authorship, including + the original version of the Work and any modifications or additions + to that Work or Derivative Works thereof, that is intentionally + submitted to Licensor for inclusion in the Work by the copyright owner + or by an individual or Legal Entity authorized to submit on behalf of + the copyright owner. For the purposes of this definition, "submitted" + means any form of electronic, verbal, or written communication sent + to the Licensor or its representatives, including but not limited to + communication on electronic mailing lists, source code control systems, + and issue tracking systems that are managed by, or on behalf of, the + Licensor for the purpose of discussing and improving the Work, but + excluding communication that is conspicuously marked or otherwise + designated in writing by the copyright owner as "Not a Contribution." + + "Contributor" shall mean Licensor and any individual or Legal Entity + on behalf of whom a Contribution has been received by Licensor and + subsequently incorporated within the Work. + + 2. Grant of Copyright License. Subject to the terms and conditions of + this License, each Contributor hereby grants to You a perpetual, + worldwide, non-exclusive, no-charge, royalty-free, irrevocable + copyright license to reproduce, prepare Derivative Works of, + publicly display, publicly perform, sublicense, and distribute the + Work and such Derivative Works in Source or Object form. + + 3. Grant of Patent License. Subject to the terms and conditions of + this License, each Contributor hereby grants to You a perpetual, + worldwide, non-exclusive, no-charge, royalty-free, irrevocable + (except as stated in this section) patent license to make, have made, + use, offer to sell, sell, import, and otherwise transfer the Work, + where such license applies only to those patent claims licensable + by such Contributor that are necessarily infringed by their + Contribution(s) alone or by combination of their Contribution(s) + with the Work to which such Contribution(s) was submitted. If You + institute patent litigation against any entity (including a + cross-claim or counterclaim in a lawsuit) alleging that the Work + or a Contribution incorporated within the Work constitutes direct + or contributory patent infringement, then any patent licenses + granted to You under this License for that Work shall terminate + as of the date such litigation is filed. + + 4. Redistribution. You may reproduce and distribute copies of the + Work or Derivative Works thereof in any medium, with or without + modifications, and in Source or Object form, provided that You + meet the following conditions: + + (a) You must give any other recipients of the Work or + Derivative Works a copy of this License; and + + (b) You must cause any modified files to carry prominent notices + stating that You changed the files; and + + (c) You must retain, in the Source form of any Derivative Works + that You distribute, all copyright, patent, trademark, and + attribution notices from the Source form of the Work, + excluding those notices that do not pertain to any part of + the Derivative Works; and + + (d) If the Work includes a "NOTICE" text file as part of its + distribution, then any Derivative Works that You distribute must + include a readable copy of the attribution notices contained + within such NOTICE file, excluding those notices that do not + pertain to any part of the Derivative Works, in at least one + of the following places: within a NOTICE text file distributed + as part of the Derivative Works; within the Source form or + documentation, if provided along with the Derivative Works; or, + within a display generated by the Derivative Works, if and + wherever such third-party notices normally appear. The contents + of the NOTICE file are for informational purposes only and + do not modify the License. You may add Your own attribution + notices within Derivative Works that You distribute, alongside + or as an addendum to the NOTICE text from the Work, provided + that such additional attribution notices cannot be construed + as modifying the License. + + You may add Your own copyright statement to Your modifications and + may provide additional or different license terms and conditions + for use, reproduction, or distribution of Your modifications, or + for any such Derivative Works as a whole, provided Your use, + reproduction, and distribution of the Work otherwise complies with + the conditions stated in this License. + + 5. Submission of Contributions. Unless You explicitly state otherwise, + any Contribution intentionally submitted for inclusion in the Work + by You to the Licensor shall be under the terms and conditions of + this License, without any additional terms or conditions. + Notwithstanding the above, nothing herein shall supersede or modify + the terms of any separate license agreement you may have executed + with Licensor regarding such Contributions. + + 6. Trademarks. This License does not grant permission to use the trade + names, trademarks, service marks, or product names of the Licensor, + except as required for reasonable and customary use in describing the + origin of the Work and reproducing the content of the NOTICE file. + + 7. Disclaimer of Warranty. Unless required by applicable law or + agreed to in writing, Licensor provides the Work (and each + Contributor provides its Contributions) on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or + implied, including, without limitation, any warranties or conditions + of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A + PARTICULAR PURPOSE. You are solely responsible for determining the + appropriateness of using or redistributing the Work and assume any + risks associated with Your exercise of permissions under this License. + + 8. Limitation of Liability. In no event and under no legal theory, + whether in tort (including negligence), contract, or otherwise, + unless required by applicable law (such as deliberate and grossly + negligent acts) or agreed to in writing, shall any Contributor be + liable to You for damages, including any direct, indirect, special, + incidental, or consequential damages of any character arising as a + result of this License or out of the use or inability to use the + Work (including but not limited to damages for loss of goodwill, + work stoppage, computer failure or malfunction, or any and all + other commercial damages or losses), even if such Contributor + has been advised of the possibility of such damages. + + 9. Accepting Warranty or Additional Liability. While redistributing + the Work or Derivative Works thereof, You may choose to offer, + and charge a fee for, acceptance of support, warranty, indemnity, + or other liability obligations and/or rights consistent with this + License. However, in accepting such obligations, You may act only + on Your own behalf and on Your sole responsibility, not on behalf + of any other Contributor, and only if You agree to indemnify, + defend, and hold each Contributor harmless for any liability + incurred by, or claims asserted against, such Contributor by reason + of your accepting any such warranty or additional liability. + + END OF TERMS AND CONDITIONS + + APPENDIX: How to apply the Apache License to your work. + + To apply the Apache License to your work, attach the following + boilerplate notice, with the fields enclosed by brackets "[]" + replaced with your own identifying information. (Don't include + the brackets!) The text should be enclosed in the appropriate + comment syntax for the file format. We also recommend that a + file or class name and description of purpose be included on the + same "printed page" as the copyright notice for easier + identification within third-party archives. + + Copyright [yyyy] [name of copyright owner] + + Licensed under the Apache License, Version 2.0 (the "License"); + you may not use this file except in compliance with the License. + You may obtain a copy of the License at + + http://www.apache.org/licenses/LICENSE-2.0 + + Unless required by applicable law or agreed to in writing, software + distributed under the License is distributed on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + See the License for the specific language governing permissions and + limitations under the License. diff --git a/Documentation/index.html b/Documentation/index.html new file mode 100644 index 0000000..aa20b76 --- /dev/null +++ b/Documentation/index.html @@ -0,0 +1,7816 @@ + + + + An Ontology for Anthropogenic Impact Accounting + + + + + + + +
+
+

An Ontology for Anthropogenic Impact Accounting

+

Metadata

+
+
+
+ IRI +
+
+ http://purl.org/aiaontology +
+
+
+
+ Title +
+

An Ontology for Anthropogenic Impact Accounting

+
+ +
+
+ Description +
+

The aim of this ontology is to provide a general and exhaustive standard for the accounting of human impact on their environment/s

+
+
+
+
+

Classes

+
+

AccountingPeriod + c +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#AccountingPeriod +
+ Sub Class Of + + + Period + c + +
+
+
+

Activity + c +

+ + + + + + + + + + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Activity +
+ Description + +
    +

  • A thing that an agent does, which impacts an environment.

    • +

  • An Activity may comprise other Activity/ies, e.g. a project (an Activity) consists of many Activities. Use the 'comprises' property to indicate this.

    • +
+
+ Equivalentclass + + + Activity + c + +
+ In Domain Of + + +
+ In Range Of + + +
+ Super Class Of + + +
+
+
+

Agent + c +

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Agent +
+ Is Defined By + + + Agent + c + +
+ Description +

"An agent is something that bears some form of responsibility for an activity taking place, for the existence of an entity, or for another agent's activity." (http://www.w3.org/ns/prov#Agent)

+ Equivalentclass + + +
+ In Domain Of + + +
+ In Range Of + + +
+ Super Class Of + + +
+
+
+

Area + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Area +
+ Description +

TODO: definition

+ Sub Class Of + + + Extent + c + +
+
+
+

Attest + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Attest +
+ Description +

TODO definition

+ Sub Class Of + + + Activity + c + +
+
+
+

Attestation(n) + c +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#Attestation +
+ Description + +
    +

  • TODO: definition

    • +

  • A claim that is validated by formal statement of an official authority

    • +
+
+
+
+

Auditor + c +

+ + + + + + + + + + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Auditor +
+ Description +

A set of predefined behaviours for a certified agent who conducts an audit.

+ Sub Class Of + + + Verifier + c + +
+ Equivalentclass + + + + compliesWithRequirements + op + some
+ + and + + + isVerifierOf + op + some
+ +
+ In Domain Of + + +
+ In Range Of + + + isVerifiedBy + op + +
+
+
+

Calculate + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Calculate +
+ Sub Class Of + + + Activity + c + +
+ In Domain Of + + + calculateHasResult + op + +
+
+
+

Calculation + c +

+ + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Calculation +
+ Sub Class Of + + + Claim (n) + c + +
+ In Domain Of + + +
+ In Range Of + + +
+
+
+

Calibrator + c +

+ + + + + + + + + + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Calibrator +
+ Description +

A set of predefined behaviours for an agent who calibrates a measurement instrument.

+ Sub Class Of + + + Role + c + +
+ Equivalentclass + + + + + calibrates + op + some
+ + +
+ In Domain Of + + + calibrates + op + +
+ In Range Of + + + calibratedBy + op + +
+
+
+

Claim Medium + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#ClaimMedium +
+ Description + +
    +

  • TODO: definition

    • +

  • A means of representation though a control:format

    +

    Media can be digital or physical

    • +
+
+ Sub Class Of + + + Medium + c + +
+
+
+

Claimant + c +

+ + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Claimant +
+ Description +

A set of predefined behaviours for an agent who makes a claim in the context of a specific activity.

+ Sub Class Of + + + Role + c + +
+ Equivalentclass + + + + + makesClaim + op + some
+ + +
+
+
+

Class + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Class +
+ Description +

TODO: definition

+ Sub Class Of + + + Parameter + c + +
+
+
+

Classification System + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#ClassificationSystem +
+ Description +

TODO: definition

+ Sub Class Of + + + Control(n) + c + +
+
+
+

Crediting Period + c +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#CreditingPeriod +
+ Sub Class Of + + + Period + c + +
+
+
+

CyberPersona + c +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#CyberPersona +
+ Sub Class Of + + + Agent + c + +
+
+
+

Environment + c +

+ + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Environment +
+ Description +

(PROPOSED) The surroundings and conditions in which a thing exists.

+ In Domain Of + + +
+ In Range Of + + +
+
+
+

Event + c +

+ + + + + + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Event +
+ Description +

A thing that happens or takes place and which impacts an environment. An event is differentiated from an activity by the absence of explicit human intention.

+ Equivalentclass + + +
+ In Domain Of + + + impacts + op + +
+ In Range Of + + + isImpactedBy + op + +
+
+
+

Extent + c +

+ + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Extent +
+ Description +

TODO: definition

+ Sub Class Of + + + SpatialParameter + c + +
+ Super Class Of + + +
+
+
+

Formula + c +

+ + + + + + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Formula +
+ Description +

TODO: definition

+ Sub Class Of + + + Control(n) + c + +
+ In Domain Of + + +
+ In Range Of + + + hasFormula + op + +
+
+
+

Geocentric Datum + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#GeocentricDatum +
+ Description +

TODO:definition

+ Sub Class Of + + + SpatialReferenceSystem + c + +
+
+
+

Geodetic Datum + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#GeodeticDatum +
+ Description +

TODO: definition

+ Sub Class Of + + + SpatialReferenceSystem + c + +
+
+
+

Indicator + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Indicator +
+ Description +

A calculated interpretation of measured parameters that indicates the state or level of something.

+ Sub Class Of + + + Claim (n) + c + +
+
+
+

Instant + c +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#Instant +
+ Sub Class Of + + + TemporalParameter + c + +
+
+
+

Instrument + c +

+ + + + + + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Instrument +
+ Description +

A thing used to perform an activity.

+ In Domain Of + + +
+ In Range Of + + +
+ Super Class Of + + + MeasurementInstrument + c + +
+
+
+

Legal Person + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#LegalPerson +
+ Sub Class Of + + + Agent + c + +
+ Equivalentclass + + + Legal Person + c + +
+
+
+

Line + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Line +
+ Description +

TODO: definition

+ Sub Class Of + + + Extent + c + +
+
+
+

Location + c +

+ + + + + + + + + + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Location +
+ Description + +
    +

  • TODO: definition

    • +

  • An entity of type Location can be a Point, Line, Path, Polygon, or Volume. A point has a x and y (and optional z) coordinate. If no z coordinate is specified, sea level is assumed. A line comprises exactly two points. A path is two or more continuous lines. A polygon is the area enclosed by three or more points. A volume is the area enclosed by four or more polygons where each edge is shared by exactly two polygons. Length can be derived from a given Line, area from a given Polygon, and volume from a given Volume.

    • +
+
+ Sub Class Of + + + SpatialParameter + c + +
+ Equivalentclass + + + Location + c + +
+ In Domain Of + + +
+ In Range Of + + +
+
+
+

Measurement + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Measurement +
+ Description +

TODO: definition

+ Sub Class Of + + + Claim (n) + c + +
+
+
+

Measurement Instrument + c +

+ + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#MeasurementInstrument +
+ Sub Class Of + + + Instrument + c + +
+ In Domain Of + + +
+ In Range Of + + + calibrates + op + +
+
+
+

Measurement System + c +

+ + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#MeasurementSystem +
+ Description +

A measurement system allows the expression of the state of a parameter.

+ Sub Class Of + + + Control(n) + c + +
+ Super Class Of + + +
+
+
+

Medium + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Medium +
+ Description +

TODO: definition

+ Super Class Of + + + Claim Medium + c + +
+
+
+

Natural Person + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#NaturalPerson +
+ Sub Class Of + + + Agent + c + +
+ Equivalentclass + + + Natural Person + c + +
+
+
+

Natural Process + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#NaturalProcess +
+ Description +

A series of interrelated or interacting natural events without a primary human cause.

+ Sub Class Of + + + Process (n) + c + +
+
+
+

Objective + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Objective +
+ Description +

"[R]esult to be achieved." (ISO Annex SL Appendix 2)

+ Sub Class Of + + + Control(n) + c + +
+
+
+

Operator + c +

+ + + + + + + + + + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Operator +
+ Description +

A set of predefined behaviours for an agent who operates a specific thing (e.g., an instrument) in the context of a specific activity.

+ Sub Class Of + + + Role + c + +
+ Equivalentclass + + + + + operates + op + some
+ + +
+ In Domain Of + + + operates + op + +
+ In Range Of + + + isOperatedBy + op + +
+
+
+

Owner + c +

+ + + + + + + + + + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Owner +
+ Description +

A set of predefined behaviours for an agent who owns a specific thing in the context of a specific activity

+ Sub Class Of + + + Role + c + +
+ Equivalentclass + + + + + owns + op + some
+ + +
+ In Domain Of + + + owns + op + +
+ In Range Of + + + isOwnedBy + op + +
+
+
+

Parameter + c +

+ + + + + + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Parameter +
+ Description +

A quality or feature forming one of a set that defines something or sets the conditions of its existence or operation.

+ In Domain Of + + +
+ In Range Of + + +
+ Super Class Of + + +
+
+
+

Period + c +

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Period +
+ Description +

Activity, Project, and Event are in the domain of hasPeriod; the range is Period. +Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDuration predicates.

+ Sub Class Of + + + TemporalParameter + c + +
+ Equivalentclass + + + Period of Time + c + +
+ In Domain Of + + +
+ In Range Of + + + hasPeriod + op + +
+ Super Class Of + + +
+
+
+

Process (n) + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Process +
+ Description +

A series of interrelated or interacting events or activities.

+ Super Class Of + + +
+
+
+

Project + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Project +
+ Description +

A unique process, consisting of a set of coordinated activities, undertaken to achieve an objective under specific controls.

+ Sub Class Of + + + Process (n) + c + +
+
+
+

Project Developer + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#ProjectDeveloper +
+ Description +

A set of predefined behaviours for an agent who defines and prepares the conditions for an activity or a set of activities.

+ Sub Class Of + + + Role + c + +
+
+
+

Project Period + c +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#ProjectPeriod +
+ Sub Class Of + + + Period + c + +
+
+
+

Reputation + c +

+ + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Reputation +
+ Description + +
    +

  • TODO: definition

    • +

  • NOT FINAL "[T]he beliefs or opinions that are generally held about someone or something." (OED, Google)

    • +
+
+ Sub Class Of + + + Parameter + c + +
+ In Range Of + + + hasReputation + op + +
+
+
+

Role + c +

+ + + + + + + + + + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Role +
+ Description +

A set of predefined behaviours for an agent with regards to a specific activity.

+ Sub Class Of + + + Control(n) + c + +
+ In Domain Of + + + isEnactedBy + op + +
+ In Range Of + + +
+ Super Class Of + + +
+
+
+

Spatial Parameter + c +

+ + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#SpatialParameter +
+ Description +

TODO: definition

+ Sub Class Of + + + Parameter + c + +
+ Super Class Of + + +
+
+
+

Spatial Reference System + c +

+ + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#SpatialReferenceSystem +
+ Description +

TODO: definition

+ Sub Class Of + + + Measurement System + c + +
+ Super Class Of + + +
+
+
+

State + c +

+ + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#State +
+ Description + +
    +

  • The State of an Environment comprises the collection of the States (i.e. the values) of that Environment's defining parameters.

    • +

  • A state is the value of a parameter at a specific time position.

    • +
+
+ In Domain Of + + +
+ In Range Of + + +
+
+
+

Temporal Parameter + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#TemporalParameter +
+ Sub Class Of + + + Parameter + c + +
+ Super Class Of + + +
+
+
+

Temporal Reference System + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#TemporalReferenceSystem +
+ Description +

TODO: definition

+ Sub Class Of + + + Measurement System + c + +
+
+
+

TimePosition + c +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#TimePosition +
+ Sub Class Of + + + TemporalParameter + c + +
+
+
+

Validate (v) + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Validate +
+ Description +

The activity of confirming or demonstrating that something satisfies a specification

+ Sub Class Of + + + Activity + c + +
+
+
+

Verifier + c +

+ + + + + + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Verifier +
+ Description +

A set of predefined behaviours for an agent who verifies a claim.

+ Sub Class Of + + + Role + c + +
+ Equivalentclass + + + + + isVerifierOf + op + some
+ + +
+ Super Class Of + + + Auditor + c + +
+
+
+

Volume + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Volume +
+ Description +

TODO: definition

+ Sub Class Of + + + Extent + c + +
+
+
+

Audit (n) + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Audit(n) +
+ Description +

The result of an auditing process.

+ Sub Class Of + + + Claim (n) + c + +
+
+
+

Audit (v) + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Audit(v) +
+ Description +

The activity of performing a systematic, independent, objective and documented evaluation of a claim and its supporting evidence to determine the extent to which it complies with specific criteria (thing:control)

+ Sub Class Of + + + Verify(v) + c + +
+
+
+

Claim (n) + c +

+ + + + + + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Claim(n) +
+ Description + +
    +

  • A Claim may comprise other Claim/s, e.g. a report (a Claim) consists of many Claims. Use the 'comprises' property to indicate this.

    • +

  • A claim is a statement about a (some specific) thing expressed in a claim medium.

    • +
+
+ In Domain Of + + +
+ In Range Of + + +
+ Super Class Of + + +
+
+
+

Claim (v) + c +

+ + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Claim(v) +
+ Description +

The activity of making a statement about a (specific) thing.

+ Sub Class Of + + + Activity + c + +
+ Super Class Of + + + Report (v) + c + +
+
+
+

Control(N) + c +

+ + + + + + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Control(n) +
+ Description + +
    +

  • A Control may comprise other Controls, e.g. a methodology (a Control) defines many conditions to be met (themselves Controls). Use the 'comprises' property to indicate this.

    • +

  • A means of limiting or directing a thing.

    • +
+
+ In Domain Of + + +
+ In Range Of + + +
+ Super Class Of + + +
+
+
+

Identity claim (n) + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#IdentityClaim(n) +
+ Description +

TODO: definition

+ Sub Class Of + + + Claim (n) + c + +
+
+
+

Impact Claim (n) + c +

+ + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#ImpactClaim(n) +
+ Description +

An impact claim is a statement about the relation between an activity and a state change, typically following an impact accounting methodology (thing:control).

+ Sub Class Of + + + Claim (n) + c + +
+ In Range Of + + + makesImpactClaim + op + +
+
+
+

Measure(v) + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Measure(v) +
+ Description +

The activity of ascertaining the value of a parameter defining a state.

+ Sub Class Of + + + Activity + c + +
+
+
+

Report (n) + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Report(n) +
+ Description +

A report is a claim that satisfies a specification about an activity or event.

+ Sub Class Of + + + Claim (n) + c + +
+
+
+

Report (v) + c +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Report(v) +
+ Description +

The activity of making a claim about an activity or event according to a specification.

+ Sub Class Of + + + Claim (v) + c + +
+
+
+

Verify(v) + c +

+ + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#Verify(v) +
+ Description +

The activity of confirming or demonstrating that something is true, accurate, or justified.

+ Sub Class Of + + + Activity + c + +
+ Super Class Of + + + Audit (v) + c + +
+
+
+

Event + c +

+ + + + + +
IRI + http://purl.org/dc/dcmitype/Event +
+
+
+

Agent Class + c +

+ + + + + +
IRI + http://purl.org/dc/terms/AgentClass +
+
+
+

Location + c +

+ + + + + +
IRI + http://purl.org/dc/terms/Location +
+
+
+

Period Of Time + c +

+ + + + + +
IRI + http://purl.org/dc/terms/PeriodOfTime +
+
+
+

Thing + c +

+ + + + + + + + + + + + + + + + + + + + + +
IRI + http://www.w3.org/2002/07/owl#Thing +
+ Description +

"Anything perceivable or conceivable." ("object" - ISO 9000:2015(E))

+

"An entity is a physical, digital, conceptual, or other kind of thing with some fixed aspects; entities may be real or imaginary." (https://www.w3.org/ns/prov#Entity)

+ Equivalentclass + + + Entity + c + +
+ In Domain Of + + +
+ In Range Of + + +
+
+
+

Duration + c +

+ + + + + + + + + + + + + +
IRI + http://www.w3.org/2006/time#Duration +
+ Sub Class Of + + + TemporalParameter + c + +
+ In Range Of + + + hasDuration + op + +
+
+
+

Activity + c +

+ + + + + +
IRI + http://www.w3.org/ns/prov#Activity +
+
+
+

Agent + c +

+ + + + + +
IRI + http://www.w3.org/ns/prov#Agent +
+
+
+

Entity + c +

+ + + + + +
IRI + http://www.w3.org/ns/prov#Entity +
+
+
+

Instantaneous Event + c +

+ + + + + +
IRI + http://www.w3.org/ns/prov#InstantaneousEvent +
+
+
+

Natural Person + c +

+ + + + + + + + + + + + + +
IRI + http://www.wikidata.org/wiki/Q154954 +
+ Is Defined By + + https://www.wikidata.org/wiki/Q154954 +
+ Description +

"real human being as opposed to a non-human legal person" (https://www.wikidata.org/wiki/Q154954)

+
+
+

Legal Person + c +

+ + + + + + + + + + + + + +
IRI + http://www.wikidata.org/wiki/Q3778211 +
+ Is Defined By + + https://www.wikidata.org/wiki/Q3778211 +
+ Description +

"any human or non-human entity that is recognized as having privileges and obligations; a legal fiction which is used to abstract away the differences between natural persons, juridical persons and other entities such as countries" (https://www.wikidata.org/wiki/Q3778211)

+
+
+ + + + compliesWithRequirements + op + some
+ + + + + + isVerifierOf + op + some
+ + +
+

Object Properties

+
+

calculate has result + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#calculateHasResult +
+ Domain + + + Calculate + c + +
+ Range + + + Calculation + c + +
+
+
+

calibrated by + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#calibratedBy +
+ Domain + + + MeasurementInstrument + c + +
+ Range + + + Calibrator + c + +
+
+
+

calibrates + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#calibrates +
+ Domain + + + Calibrator + c + +
+ Range + + + MeasurementInstrument + c + +
+
+
+

complies with requirements + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#compliesWithRequirements +
+ Domain + + + Auditor + c + +
+ Range + + + Control(n) + c + +
+
+
+

comprises + op +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#comprises +
+ Description +

USE: For Activity, Control, Agent

+
+
+

defines + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#defines +
+ Description +

A collection of Parameters defines an Environment.

+ Range + + + Environment + c + +
+
+
+

enacts + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#enacts +
+ Domain + + + Agent + c + +
+ Range + + + Role + c + +
+
+
+

engages in + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#engagesIn +
+ Domain + + + Agent + c + +
+ Range + + + Activity + c + +
+
+
+

for parameter + op +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#forParameter +
+ Range + + + Parameter + c + +
+
+
+

has activity + op +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#hasActivity +
+ Range + + + Activity + c + +
+
+
+

has calculation + op +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#hasCalculation +
+ Range + + + Calculation + c + +
+
+
+

has claimant + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasClaimant +
+ Domain + + + Claim (n) + c + +
+ Range + + + Agent + c + +
+
+
+

has condition + op +

+ + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasCondition +
+ Description +

Indicates the State that must exist for the specific Control to be applicable.

+ Domain + + + Control(n) + c + +
+ Range + + + State + c + +
+
+
+

has control + op +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#hasControl +
+ Range + + + Control(n) + c + +
+
+
+

has duration + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasDuration +
+ Domain + + + Period + c + +
+ Range + + + time:Duration + c + +
+
+
+

has environment + op +

+ + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasEnvironment +
+ Description +

The Environment for which the Parameter's value was measured/calculated

+ Domain + + + State + c + +
+ Range + + + Environment + c + +
+
+
+

has formula + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasFormula +
+ Domain + + + Calculation + c + +
+ Range + + + Formula + c + +
+
+
+

has instrument + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasInstrument +
+ Domain + + + Activity + c + +
+ Range + + + Instrument + c + +
+
+
+

has location + op +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#hasLocation +
+ Range + + + Location + c + +
+
+
+

has methodology + op +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#hasMethodology +
+ Range + + + Control(n) + c + +
+
+
+

has par val + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasParVal +
+ Domain + + + Parameter + c + +
+ Range + + + State + c + +
+
+
+

has period + op +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#hasPeriod +
+ Range + + + Period + c + +
+
+
+

has point + op +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#hasPoint +
+ Domain + + + Location + c + +
+
+
+

has provenance + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasProvenance +
+ Domain + + + State + c + +
+ Range + + + Activity + c + +
+
+
+

has reputation + op +

+ + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasReputation +
+ Description +

EDIT

+ Domain + + + Agent + c + +
+ Range + + + Reputation + c + +
+
+
+

has role + op +

+ + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasRole +
+ Description +

EDIT

+ Domain + + + Agent + c + +
+ Range + + + Role + c + +
+
+
+

has subject + op +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#hasSubject +
+ Domain + + + Control(n) + c + +
+
+
+

has symbol + op +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#hasSymbol +
+ Range + + xsd:string +
+
+
+

has type + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasType +
+ Domain + + + Location + c + +
+ Range + + + Location + c + +
+
+
+

has variable + op +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#hasVariable +
+ Domain + + + Calculation + c + +
+
+
+

impacts + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#impacts +
+ Domain + + +
+ Range + + + Environment + c + +
+
+
+

is defined by + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#isDefinedBy +
+ Domain + + + Environment + c + +
+ Range + + + Parameter + c + +
+
+
+

is enacted by + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#isEnactedBy +
+ Domain + + + Role + c + +
+ Range + + + Agent + c + +
+
+
+

is impacted by + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#isImpactedBy +
+ Domain + + + Environment + c + +
+ Range + + +
+
+
+

is limited or directed by + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#isLimitedOrDirectedBy +
+ Domain + + + Thing + c + +
+ Range + + + Control(n) + c + +
+
+
+

is operated by + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#isOperatedBy +
+ Domain + + + Instrument + c + +
+ Range + + + Operator + c + +
+
+
+

is owned by + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#isOwnedBy +
+ Domain + + + Thing + c + +
+ Range + + + Owner + c + +
+
+
+

is par val of + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#isParValOf +
+ Domain + + + State + c + +
+ Range + + + Parameter + c + +
+
+
+

is performed by + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#isPerformedBy +
+ Domain + + + Activity + c + +
+ Range + + + Agent + c + +
+
+
+

is state diff from + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#isStateDiffFrom +
+ Domain + + + State + c + +
+ Range + + + State + c + +
+
+
+

is statement about + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#isStatementAbout +
+ Domain + + + Claim (n) + c + +
+ Range + + + Thing + c + +
+
+
+

is verified by + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#isVerifiedBy +
+ Domain + + + Claim (n) + c + +
+ Range + + + Auditor + c + +
+
+
+

is verifier of + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#isVerifierOf +
+ Domain + + + Auditor + c + +
+ Range + + + Claim (n) + c + +
+
+
+

limits or directs + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#limitsOrDirects +
+ Domain + + + Control(n) + c + +
+ Range + + + Thing + c + +
+
+
+

makes claim + op +

+ + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#makesClaim +
+ Description +

FIX: this does not work while Role exists/Auditor etc. is not a subClassOf Agent.

+ Domain + + + Agent + c + +
+ Range + + + Claim (n) + c + +
+
+
+

makes impact claim + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#makesImpactClaim +
+ Domain + + + Agent + c + +
+ Range + + + Impact Claim (n) + c + +
+
+
+

operates + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#operates +
+ Domain + + + Operator + c + +
+ Range + + + Instrument + c + +
+
+
+

owns + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#owns +
+ Domain + + + Owner + c + +
+ Range + + + Thing + c + +
+
+
+

performed with + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#performedWith +
+ Domain + + + Activity + c + +
+ Range + + + Instrument + c + +
+
+
+

used to perform + op +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#usedToPerform +
+ Domain + + + Instrument + c + +
+ Range + + + Activity + c + +
+
+
+

uses symbol + op +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#usesSymbol +
+ Domain + + + Formula + c + +
+
+
+

equivalentClass + op +

+ + + + + +
IRI + http://www.w3.org/2002/07/owl#equivalentClass +
+
+
+
+

Datatype Properties

+
+

applies to parameters + dp +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#appliesToParameters +
+ Description +

The parameters to which this methodology applies.

+ Range + + xsd:string +
+
+
+

has accuracy + dp +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasAccuracy +
+ Domain + + + MeasurementInstrument + c + +
+ Range + + xsd:float +
+
+
+

has activity code + dp +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#hasActivityCode +
+ Range + + xsd:string +
+
+
+

has code in registry + dp +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasCodeInRegistry +
+ Domain + + + Parameter + c + +
+ Range + + xsd:string +
+
+
+

has conf lower bound + dp +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasConfLowerBound +
+ Domain + + + State + c + +
+ Range + + xsd:float +
+
+
+

has conf upper bound + dp +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasConfUpperBound +
+ Domain + + + State + c + +
+ Range + + xsd:float +
+
+
+

has confidence level + dp +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasConfidenceLevel +
+ Domain + + + State + c + +
+ Range + + xsd:float +
+
+
+

has definition + dp +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasDefinition +
+ Domain + + + Parameter + c + +
+ Range + + xsd:string +
+
+
+

has description + dp +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasDescription +
+ Domain + + +
+ Range + + xsd:string +
+
+
+

has expression + dp +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasExpression +
+ Domain + + + Formula + c + +
+ Range + + xsd:string +
+
+
+

has label + dp +

+ + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasLabel +
+ Description +

A optional human-understandable label for an entity of type Location, eg. a street adress.

+ Domain + + + Location + c + +
+ Range + + xsd:string +
+
+
+

has logical operator + dp +

+ + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasLogicalOperator +
+ Description +

Less than, greater than, equal to, include, exclude, etc. +Used to relate the subject and value of a Control, for example:

+

C a Control ; + hasSubject ActivityB.startDate ; + hasValue ActivityA.endDate ; + hasOperator >= .

+

is equivalent to the condition (Control) that Activity B only commence after the end of Activity A.

+ Domain + + + Control(n) + c + +
+ Range + + xsd:string +
+
+
+

has make + dp +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasMake +
+ Domain + + + Instrument + c + +
+ Range + + xsd:string +
+
+
+

has modality + dp +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasModality +
+ Description +

Counterfactual (FALSE) or real (TRUE).

+ Range + + xsd:boolean +
+
+
+

has model + dp +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasModel +
+ Domain + + + Instrument + c + +
+ Range + + xsd:string +
+
+
+

has name + dp +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasName +
+ Domain + + + Agent + c + +
+ Range + + xsd:string +
+
+
+

has precision + dp +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasPrecision +
+ Domain + + +
+ Range + + xsd:float +
+
+
+

has rationale + dp +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasRationale +
+ Domain + + + Parameter + c + +
+ Range + + xsd:string +
+
+
+

has reference system + dp +

+ + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasReferenceSystem +
+ Description +

EDIT for use with Location

+ Domain + + + Location + c + +
+ Range + + xsd:string +
+
+
+

has registry + dp +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasRegistry +
+ Domain + + +
+ Range + + xsd:string +
+
+
+

has registry version + dp +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasRegistryVersion +
+ Domain + + +
+ Range + + xsd:string +
+
+
+

has source + dp +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#hasSource +
+ Range + + xsd:string +
+
+
+

has symbol + dp +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#hasSymbol +
+ Range + + xsd:string +
+
+
+

has timestamp + dp +

+ + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasTimestamp +
+ Description + +
    +

  • Format: YYYY-MM-DDThh:mm:ss

    • +

  • The moment of measurement of the value of a Parameter that defines the State.

    • +
+
+ Domain + + + State + c + +
+ Range + + xsd:dateTime +
+
+
+

has unit of measure + dp +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasUnitOfMeasure +
+ Domain + + + Parameter + c + +
+ Range + + PlainLiteral +
+
+
+

has value + dp +

+ + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#hasValue +
+ Domain + + +
+ Range + + Resource +
+
+
+

is binding + dp +

+ + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#isBinding +
+ Description +

Used to indicate whether a Control is obligatory (TRUE) or non-obligatory (FALSE)

+ Domain + + + Control(n) + c + +
+ Range + + xsd:boolean +
+
+
+

is symbol + dp +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#isSymbol +
+ Range + + xsd:string +
+
+
+

point has altitude + dp +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#pointHasAltitude +
+ Range + + xsd:string +
+
+
+

point has latitude + dp +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#pointHasLatitude +
+ Range + + xsd:string +
+
+
+

point has longtitude + dp +

+ + + + + + + + + +
IRI + http://purl.org/aiaontology#pointHasLongtitude +
+ Range + + xsd:string +
+
+
+

was calibrated on + dp +

+ + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#wasCalibratedOn +
+ Description +

Format: YYYY-MM-DDThh:mm:ss

+ Domain + + + MeasurementInstrument + c + +
+ Range + + xsd:dateTime +
+
+
+

was manufactured on + dp +

+ + + + + + + + + + + + + + + + + +
IRI + http://purl.org/aiaontology#wasManufacturedOn +
+ Description +

Format: eg. 2022-01-16

+ Domain + + + Instrument + c + +
+ Range + + xsd:date +
+
+
+

has duration + dp +

+ + + + + + + + + +
IRI + http://www.w3.org/2006/time#hasDuration +
+ Domain + + + Period + c + +
+
+
+

ended at time + dp +

+ + + + + + + + + + + + + + + + + +
IRI + http://www.w3.org/ns/prov#endedAtTime +
+ Description +

Format: YYYY-MM-DDThh:mm:ss

+ Domain + + + Period + c + +
+ Range + + xsd:dateTime +
+
+
+

started at time + dp +

+ + + + + + + + + + + + + + + + + +
IRI + http://www.w3.org/ns/prov#startedAtTime +
+ Description +

Format: YYYY-MM-DDThh:mm:ss

+ Domain + + + Period + c + +
+ Range + + xsd:dateTime +
+
+
+
+

Annotation Properties

+
+

description + ap +

+ + + + + +
IRI + http://purl.org/dc/terms/description +
+
+
+

source + ap +

+ + + + + +
IRI + http://purl.org/dc/terms/source +
+
+
+

title + ap +

+ + + + + +
IRI + http://purl.org/dc/terms/title +
+
+
+

type + ap +

+ + + + + +
IRI + http://www.w3.org/1999/02/22-rdf-syntax-ns#type +
+
+
+

equivalentClass + ap +

+ + + + + +
IRI + http://www.w3.org/2002/07/owl#equivalentClass +
+
+
+

equivalent property + ap +

+ + + + + +
IRI + http://www.w3.org/2002/07/owl#equivalentProperty +
+
+
+

same as + ap +

+ + + + + +
IRI + http://www.w3.org/2002/07/owl#sameAs +
+
+
+

alt label + ap +

+ + + + + +
IRI + http://www.w3.org/2004/02/skos/core#altLabel +
+
+
+

broader + ap +

+ + + + + +
IRI + http://www.w3.org/2004/02/skos/core#broader +
+
+
+

definition + ap +

+ + + + + +
IRI + http://www.w3.org/2004/02/skos/core#definition +
+
+
+

narrower + ap +

+ + + + + +
IRI + http://www.w3.org/2004/02/skos/core#narrower +
+
+ +
+
+

Namespaces

+
+
:
+
+ http://purl.org/aiaontology# +
+
dcmitype
+
+ http://purl.org/dc/dcmitype/ +
+
dcterms
+
+ http://purl.org/dc/terms/ +
+
ns1
+
+ http://purl.org/ +
+
owl
+
+ http://www.w3.org/2002/07/owl# +
+
prov
+
+ http://www.w3.org/ns/prov# +
+
rdf
+
+ http://www.w3.org/1999/02/22-rdf-syntax-ns# +
+
rdfs
+
+ http://www.w3.org/2000/01/rdf-schema# +
+
skos
+
+ http://www.w3.org/2004/02/skos/core# +
+
time
+
+ http://www.w3.org/2006/time# +
+
xsd
+
+ http://www.w3.org/2001/XMLSchema# +
+
+
+
+

Legend

+ + + + + + + + + + + + + + + + + +
+ c + Classes
+ op + Object Properties
+ dp + Datatype Properties
+ ap + Annotation Properties
+
+
+
+

made by + + p + y + LODE + + 3.1.4 + with the + OntPub + profile +

+
+
+

Table of Contents

+ +
+ + \ No newline at end of file From 731686e15356f04ccba0f9917268fc8f70848b84 Mon Sep 17 00:00:00 2001 From: LuciaPauw Date: Tue, 9 Jul 2024 10:23:32 +0200 Subject: [PATCH 08/27] Add GitHub Actions workflow to update documentation --- .github/workflows/update_docs.yml | 42 +++++++++++++++++++++++++++++++ 1 file changed, 42 insertions(+) create mode 100644 .github/workflows/update_docs.yml diff --git a/.github/workflows/update_docs.yml b/.github/workflows/update_docs.yml new file mode 100644 index 0000000..0653603 --- /dev/null +++ b/.github/workflows/update_docs.yml @@ -0,0 +1,42 @@ +name: Update Documentation + +on: + push: + branches: + - main + paths: + - Schemas/OWL/aia.owl + +jobs: + update-docs: + runs-on: ubuntu-latest + + steps: + - name: Checkout repository + uses: actions/checkout@v2 + + - name: Setup Python and pyLODE + uses: actions/setup-python@v2 + with: + python-version: '3.x' + cache: 'pip' # Enable caching for pip + + - name: Install pyLODE if not cached + run: | + python -m pip install --upgrade pip + pip install pylode + + - name: Generate Documentation + run: | + if [ ! -d Documentation ]; then mkdir -p Documentation; fi # Create Documentation folder if it doesn't exist + pyLODE -i Schemas/OWL/aia.owl -o Documentation/index.html + + - name: Commit and push changes + run: | + git config --global user.name 'github-actions[bot]' + git config --global user.email 'github-actions[bot]@users.noreply.github.com' + git add Documentation/index.html + git commit -m 'Update documentation for aia.owl' + git push + env: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} From dbc7da0812112eb2cdfb460f2502052d6a370029 Mon Sep 17 00:00:00 2001 From: LuciaPauw Date: Tue, 9 Jul 2024 10:27:47 +0200 Subject: [PATCH 09/27] Test to see if workflow to update documentation is working --- Schemas/OWL/aia.owl | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/Schemas/OWL/aia.owl b/Schemas/OWL/aia.owl index 224aa89..e55ddb2 100644 --- a/Schemas/OWL/aia.owl +++ b/Schemas/OWL/aia.owl @@ -1546,6 +1546,14 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura + + + + Here's a definition for this class. + + + + From ac1e126a48dbd6fac4657a6fa007604b0c99457c Mon Sep 17 00:00:00 2001 From: LuciaPauw Date: Tue, 9 Jul 2024 10:40:14 +0200 Subject: [PATCH 10/27] Change branch name in update_docs.yml just for testing --- .github/workflows/update_docs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/update_docs.yml b/.github/workflows/update_docs.yml index 0653603..a7ec515 100644 --- a/.github/workflows/update_docs.yml +++ b/.github/workflows/update_docs.yml @@ -3,7 +3,7 @@ name: Update Documentation on: push: branches: - - main + - clean-up-structure paths: - Schemas/OWL/aia.owl From 289ad5ba522168dfbac2ef74f338fda0552c8ad2 Mon Sep 17 00:00:00 2001 From: LuciaPauw Date: Tue, 9 Jul 2024 10:41:32 +0200 Subject: [PATCH 11/27] Create temp test class --- Schemas/OWL/aia.owl | 1 + 1 file changed, 1 insertion(+) diff --git a/Schemas/OWL/aia.owl b/Schemas/OWL/aia.owl index e55ddb2..396153e 100644 --- a/Schemas/OWL/aia.owl +++ b/Schemas/OWL/aia.owl @@ -1549,6 +1549,7 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura + Label here Here's a definition for this class. From 1a3bd1e84c12a087c38b04b91a4e10be867be24a Mon Sep 17 00:00:00 2001 From: LuciaPauw Date: Tue, 9 Jul 2024 11:09:25 +0200 Subject: [PATCH 12/27] Add requirements.txt file --- requirements.txt | 1 + 1 file changed, 1 insertion(+) create mode 100644 requirements.txt diff --git a/requirements.txt b/requirements.txt new file mode 100644 index 0000000..80f5070 --- /dev/null +++ b/requirements.txt @@ -0,0 +1 @@ +pylode \ No newline at end of file From ecc6da46513d5ad58f40694f37e342417f78dccb Mon Sep 17 00:00:00 2001 From: LuciaPauw Date: Tue, 9 Jul 2024 11:11:05 +0200 Subject: [PATCH 13/27] Create temp test class --- Schemas/OWL/aia.owl | 1 + 1 file changed, 1 insertion(+) diff --git a/Schemas/OWL/aia.owl b/Schemas/OWL/aia.owl index 396153e..0fedb95 100644 --- a/Schemas/OWL/aia.owl +++ b/Schemas/OWL/aia.owl @@ -1550,6 +1550,7 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura Label here + Some other label Here's a definition for this class. From 5aa304d034a82fab4e3ffd5ddf3927cd4b79c3fa Mon Sep 17 00:00:00 2001 From: LuciaPauw Date: Tue, 9 Jul 2024 11:15:53 +0200 Subject: [PATCH 14/27] Change pyLODE command --- .github/workflows/update_docs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/update_docs.yml b/.github/workflows/update_docs.yml index a7ec515..4436649 100644 --- a/.github/workflows/update_docs.yml +++ b/.github/workflows/update_docs.yml @@ -29,7 +29,7 @@ jobs: - name: Generate Documentation run: | if [ ! -d Documentation ]; then mkdir -p Documentation; fi # Create Documentation folder if it doesn't exist - pyLODE -i Schemas/OWL/aia.owl -o Documentation/index.html + pyLODE -o Documentation/index.html Schemas/OWL/aia.owl - name: Commit and push changes run: | From a0bf356b54902e1f60cb932e679240cd947a9d44 Mon Sep 17 00:00:00 2001 From: LuciaPauw Date: Tue, 9 Jul 2024 11:17:31 +0200 Subject: [PATCH 15/27] Another menial change to trigger workflow --- Schemas/OWL/aia.owl | 1 - 1 file changed, 1 deletion(-) diff --git a/Schemas/OWL/aia.owl b/Schemas/OWL/aia.owl index 0fedb95..396153e 100644 --- a/Schemas/OWL/aia.owl +++ b/Schemas/OWL/aia.owl @@ -1550,7 +1550,6 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura Label here - Some other label Here's a definition for this class. From cd9675272fa4a04230df00e4976a3f039f2182f8 Mon Sep 17 00:00:00 2001 From: LuciaPauw Date: Tue, 9 Jul 2024 11:30:03 +0200 Subject: [PATCH 16/27] Attempt to correct pylode command --- .github/workflows/update_docs.yml | 2 +- Schemas/OWL/aia.owl | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/update_docs.yml b/.github/workflows/update_docs.yml index 4436649..2ddb463 100644 --- a/.github/workflows/update_docs.yml +++ b/.github/workflows/update_docs.yml @@ -29,7 +29,7 @@ jobs: - name: Generate Documentation run: | if [ ! -d Documentation ]; then mkdir -p Documentation; fi # Create Documentation folder if it doesn't exist - pyLODE -o Documentation/index.html Schemas/OWL/aia.owl + pylode -o Documentation/index.html -i Schemas/OWL/aia.owl - name: Commit and push changes run: | diff --git a/Schemas/OWL/aia.owl b/Schemas/OWL/aia.owl index 396153e..bd59a77 100644 --- a/Schemas/OWL/aia.owl +++ b/Schemas/OWL/aia.owl @@ -1550,6 +1550,7 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura Label here + Another label Here's a definition for this class. From d395219bc0e46f11e2cab596c13e314fd28da26a Mon Sep 17 00:00:00 2001 From: LuciaPauw Date: Tue, 9 Jul 2024 11:31:26 +0200 Subject: [PATCH 17/27] Remove -i tag in pylode command --- .github/workflows/update_docs.yml | 2 +- Schemas/OWL/aia.owl | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/workflows/update_docs.yml b/.github/workflows/update_docs.yml index 2ddb463..2bc8203 100644 --- a/.github/workflows/update_docs.yml +++ b/.github/workflows/update_docs.yml @@ -29,7 +29,7 @@ jobs: - name: Generate Documentation run: | if [ ! -d Documentation ]; then mkdir -p Documentation; fi # Create Documentation folder if it doesn't exist - pylode -o Documentation/index.html -i Schemas/OWL/aia.owl + pylode -o Documentation/index.html Schemas/OWL/aia.owl - name: Commit and push changes run: | diff --git a/Schemas/OWL/aia.owl b/Schemas/OWL/aia.owl index bd59a77..396153e 100644 --- a/Schemas/OWL/aia.owl +++ b/Schemas/OWL/aia.owl @@ -1550,7 +1550,6 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura Label here - Another label Here's a definition for this class. From 2096603be585e29ecfc6a3a8161bd5b168237a05 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Tue, 9 Jul 2024 09:31:49 +0000 Subject: [PATCH 18/27] Update documentation for aia.owl --- Documentation/index.html | 92 +++++++++++++++++++++++++++++++++++++++- 1 file changed, 90 insertions(+), 2 deletions(-) diff --git a/Documentation/index.html b/Documentation/index.html index aa20b76..deb2814 100644 --- a/Documentation/index.html +++ b/Documentation/index.html @@ -506,6 +506,12 @@

Activity c +
  • + + Represent(v) + c + +
  • Verify(v) @@ -792,14 +798,14 @@

    Auditor - compliesWithRequirements + isVerifierOf op some
         and - isVerifierOf + compliesWithRequirements op some
     @@ -1196,6 +1202,30 @@

    CyberPersona +
    +

    Data Format + c +

    + + + + + + + + + +
    IRI + http://purl.org/aiaontology#DataFormat +
    + Sub Class Of + + + Control(n) + c + +
    +

    Environment c @@ -2993,6 +3023,25 @@

    State

    +
    +

    Label here + c +

    + + + + + + + + + +
    IRI + http://purl.org/aiaontology#TESTCLASS +
    + Description +

    Here's a definition for this class.

    +

    Temporal Parameter c @@ -3556,6 +3605,12 @@

    Control(N) c

    • +
  • + + DataFormat + c + +
  • Formula @@ -3746,6 +3801,30 @@

    Report (v) +
    +

    Represent(V) + c +

    + + + + + + + + + +
    IRI + http://purl.org/aiaontology#Represent(v) +
    + Sub Class Of + + + Activity + c + +
    +

    Verify(v) c @@ -7258,6 +7337,9 @@

  • CyberPersona
    • +
  • + Data Format +
  • Environment
    • @@ -7354,6 +7436,9 @@

  • State
    • +
  • + Label here +
  • Temporal Parameter
    • @@ -7402,6 +7487,9 @@

  • Report (v)
    • +
  • + Represent(V) +
  • Verify(v)
    • From d9b9632789812f7eba2260ba2e35ae8fa3b7ab67 Mon Sep 17 00:00:00 2001 From: LuciaPauw Date: Tue, 9 Jul 2024 11:36:48 +0200 Subject: [PATCH 19/27] Remove test class --- Schemas/OWL/aia.owl | 9 --------- 1 file changed, 9 deletions(-) diff --git a/Schemas/OWL/aia.owl b/Schemas/OWL/aia.owl index 396153e..224aa89 100644 --- a/Schemas/OWL/aia.owl +++ b/Schemas/OWL/aia.owl @@ -1546,15 +1546,6 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura - - - - Label here - Here's a definition for this class. - - - - From b2b0a0c5f229a7cc1efab417feb26eebc294f33d Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Tue, 9 Jul 2024 09:42:25 +0000 Subject: [PATCH 20/27] Update documentation for aia.owl --- Documentation/index.html | 26 ++------------------------ 1 file changed, 2 insertions(+), 24 deletions(-) diff --git a/Documentation/index.html b/Documentation/index.html index deb2814..cf2b588 100644 --- a/Documentation/index.html +++ b/Documentation/index.html @@ -798,14 +798,14 @@

    Auditor - isVerifierOf + compliesWithRequirements op some
         and - compliesWithRequirements + isVerifierOf op some
     @@ -3023,25 +3023,6 @@

    State

    -
    -

    Label here - c -

    - - - - - - - - - -
    IRI - http://purl.org/aiaontology#TESTCLASS -
    - Description -

    Here's a definition for this class.

    -

    Temporal Parameter c @@ -7436,9 +7417,6 @@

  • State
    • -
  • - Label here -
  • Temporal Parameter
    • From 89db070b85246e4b388215da52cd5ccac79cf851 Mon Sep 17 00:00:00 2001 From: LuciaPauw Date: Tue, 9 Jul 2024 11:44:32 +0200 Subject: [PATCH 21/27] Remove redundant .owl files --- Schemas/OWL/Ontology-ImpactAccounting.owl | 721 ------------------ Schemas/OWL/Ontology-ImpactAccounting.ttl.owl | 555 -------------- 2 files changed, 1276 deletions(-) delete mode 100644 Schemas/OWL/Ontology-ImpactAccounting.owl delete mode 100644 Schemas/OWL/Ontology-ImpactAccounting.ttl.owl diff --git a/Schemas/OWL/Ontology-ImpactAccounting.owl b/Schemas/OWL/Ontology-ImpactAccounting.owl deleted file mode 100644 index 6211db1..0000000 --- a/Schemas/OWL/Ontology-ImpactAccounting.owl +++ /dev/null @@ -1,721 +0,0 @@ - - - - - - - - - - - https://wiki.hyperledger.org/display/CASIG/Standards+WG - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - LEGAL_PERSON - NATURAL_PERSON - - - - - - - - - - - - - - - - - - - - - - LEGAL_PERSON - NATURAL_PERSON - - - - - - DRIVER - EFFECT - EXPOSURE - PRESSURE - STATE - - - - - - CALCULATION - MEASUREMENT - SOURCE - - - - - - COUNTERFACTUAL - REAL - - - - - - - - diff --git a/Schemas/OWL/Ontology-ImpactAccounting.ttl.owl b/Schemas/OWL/Ontology-ImpactAccounting.ttl.owl deleted file mode 100644 index b8ee59d..0000000 --- a/Schemas/OWL/Ontology-ImpactAccounting.ttl.owl +++ /dev/null @@ -1,555 +0,0 @@ -@prefix : . -@prefix owl: . -@prefix rdf: . -@prefix xml: . -@prefix xsd: . -@prefix rdfs: . -@base . - - rdf:type owl:Ontology ; - rdfs:comment "https://wiki.hyperledger.org/display/CASIG/Standards+WG" . - -################################################################# -# Datatypes -################################################################# - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#AgentType - rdf:type rdfs:Datatype ; - owl:equivalentClass [ rdf:type rdfs:Datatype ; - owl:oneOf [ rdf:type rdf:List ; - rdf:first "LEGAL_PERSON" ; - rdf:rest [ rdf:type rdf:List ; - rdf:first "NATURAL_PERSON" ; - rdf:rest rdf:nil - ] - ] - ] . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#ImpactPathwayPosition - rdf:type rdfs:Datatype ; - owl:equivalentClass [ rdf:type rdfs:Datatype ; - owl:oneOf [ rdf:type rdf:List ; - rdf:first "DRIVER" ; - rdf:rest [ rdf:type rdf:List ; - rdf:first "EFFECT" ; - rdf:rest [ rdf:type rdf:List ; - rdf:first "EXPOSURE" ; - rdf:rest [ rdf:type rdf:List ; - rdf:first "PRESSURE" ; - rdf:rest [ rdf:type rdf:List ; - rdf:first "STATE" ; - rdf:rest rdf:nil - ] - ] - ] - ] - ] - ] . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#MethodologyType - rdf:type rdfs:Datatype ; - owl:equivalentClass [ rdf:type rdfs:Datatype ; - owl:oneOf [ rdf:type rdf:List ; - rdf:first "CALCULATION" ; - rdf:rest [ rdf:type rdf:List ; - rdf:first "MEASUREMENT" ; - rdf:rest [ rdf:type rdf:List ; - rdf:first "SOURCE" ; - rdf:rest rdf:nil - ] - ] - ] - ] . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#Modality - rdf:type rdfs:Datatype ; - owl:equivalentClass [ rdf:type rdfs:Datatype ; - owl:oneOf [ rdf:type rdf:List ; - rdf:first "COUNTERFACTUAL" ; - rdf:rest [ rdf:type rdf:List ; - rdf:first "REAL" ; - rdf:rest rdf:nil - ] - ] - ] . - - -################################################################# -# Object Properties -################################################################# - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#auditsClaim - rdf:type owl:ObjectProperty ; - rdfs:domain ; - rdfs:range . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#enactsRole - rdf:type owl:ObjectProperty ; - rdfs:domain ; - rdfs:range . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#engagesInActivity - rdf:type owl:ObjectProperty ; - rdfs:domain ; - rdfs:range . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#guidesActivity - rdf:type owl:ObjectProperty ; - rdfs:range . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#guidesClaim - rdf:type owl:ObjectProperty ; - rdfs:domain ; - rdfs:range . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#hasInputParameters - rdf:type owl:ObjectProperty ; - rdfs:domain ; - rdfs:range . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#hasOutputParameters - rdf:type owl:ObjectProperty ; - rdfs:domain ; - rdfs:range . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#impactsEnvironment - rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf owl:topObjectProperty ; - rdfs:domain , - ; - rdfs:range . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#isDefinedByParameters - rdf:type owl:ObjectProperty ; - rdfs:domain ; - rdfs:range . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#isPerformedWithInstrument - rdf:type owl:ObjectProperty ; - rdfs:domain ; - rdfs:range . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#isStatementAboutThing - rdf:type owl:ObjectProperty ; - rdfs:domain ; - rdfs:range owl:Thing . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#isTimeDependentValueOfParameter - rdf:type owl:ObjectProperty ; - rdfs:domain ; - rdfs:range . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#makesClaim - rdf:type owl:ObjectProperty ; - rdfs:domain ; - rdfs:range . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#operatesInstrument - rdf:type owl:ObjectProperty ; - rdfs:domain ; - rdfs:range . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#ownsThing - rdf:type owl:ObjectProperty ; - rdfs:domain ; - rdfs:range owl:Thing . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#usesInstrument - rdf:type owl:ObjectProperty ; - rdfs:domain ; - rdfs:range . - - -### http://www.w3.org/2002/07/owl#topObjectProperty -owl:topObjectProperty rdfs:domain ; - rdfs:range . - - -################################################################# -# Data properties -################################################################# - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#agentType - rdf:type owl:DatatypeProperty ; - rdfs:domain ; - rdfs:range [ rdf:type rdfs:Datatype ; - owl:oneOf [ rdf:type rdf:List ; - rdf:first "LEGAL_PERSON" ; - rdf:rest [ rdf:type rdf:List ; - rdf:first "NATURAL_PERSON" ; - rdf:rest rdf:nil - ] - ] - ] . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#hasAccountingPeriod - rdf:type owl:DatatypeProperty ; - rdfs:range xsd:dateTime . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#name - rdf:type owl:DatatypeProperty ; - rdfs:domain ; - rdfs:range xsd:string . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#parameterDefinition - rdf:type owl:DatatypeProperty ; - rdfs:domain ; - rdfs:range xsd:string . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#unitOfMeasure - rdf:type owl:DatatypeProperty ; - rdfs:subPropertyOf owl:topDataProperty ; - rdfs:domain ; - rdfs:range xsd:string . - - -################################################################# -# Classes -################################################################# - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#activity - rdf:type owl:Class . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#agent - rdf:type owl:Class . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#area - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#auditor - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#calculate - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#calibrator - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#claimant - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#class - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#classification_system - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#duration - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#environment - rdf:type owl:Class . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#event - rdf:type owl:Class . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#extent - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#formula - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#geocentric_datum - rdf:type owl:Class ; - rdfs:subClassOf ; - owl:disjointWith . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#geodetic_datum - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#identity_claim - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#indicator - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#instant - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#instrument - rdf:type owl:Class . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#line - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#location - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#measurement_instrument - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#measurement_system - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#natural_process - rdf:type owl:Class ; - rdfs:subClassOf ; - owl:disjointWith . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#operator - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#owner - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#parameter - rdf:type owl:Class . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#period - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#project - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#project_developer - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#role - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#spatial_parameter - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#spatial_reference_system - rdf:type owl:Class ; - rdfs:subClassOf ; - owl:disjointWith . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#state - rdf:type owl:Class . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#temporal_parameter - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#temporal_reference_system - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#time_position - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#validate - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#verifier - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#volume - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#audit_(n) - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#audit_(v) - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#claim_(n) - rdf:type owl:Class . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#claim_(v) - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#control_(n) - rdf:type owl:Class . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#impact_claim_(n) - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#measure_(v) - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#process_(n) - rdf:type owl:Class . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#report_(n) - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#report_(v) - rdf:type owl:Class ; - rdfs:subClassOf . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#verify_(v) - rdf:type owl:Class ; - rdfs:subClassOf . - - -################################################################# -# Individuals -################################################################# - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#amount_of_co2_in_atmosphere - rdf:type owl:NamedIndividual , - . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#amount_of_wood_burned_per_person - rdf:type owl:NamedIndividual , - . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#distance - rdf:type owl:NamedIndividual , - . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#duration - rdf:type owl:NamedIndividual , - . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#humidity - rdf:type owl:NamedIndividual , - . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#location - rdf:type owl:NamedIndividual , - . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#temperature - rdf:type owl:NamedIndividual , - . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#temperature_sensor - rdf:type owl:NamedIndividual . - - -### http://www.semanticweb.org/aliiix/ontologies/2022/4/ImpactAccounting#time - rdf:type owl:NamedIndividual , - . - - -################################################################# -# General axioms -################################################################# - -[ rdf:type owl:AllDisjointClasses ; - owl:members ( - - - ) -] . - - -[ rdf:type owl:AllDisjointClasses ; - owl:members ( - - - - - ) -] . - - -### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi From 35ee44f4a25f79c75de0db8f8e43cdf8b88a46ed Mon Sep 17 00:00:00 2001 From: LuciaPauw Date: Tue, 9 Jul 2024 11:52:44 +0200 Subject: [PATCH 22/27] Correct branch name --- .github/workflows/update_docs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/update_docs.yml b/.github/workflows/update_docs.yml index 2bc8203..e8de583 100644 --- a/.github/workflows/update_docs.yml +++ b/.github/workflows/update_docs.yml @@ -3,7 +3,7 @@ name: Update Documentation on: push: branches: - - clean-up-structure + - main paths: - Schemas/OWL/aia.owl From e53b909c8d881c0708cf9a933f975b182c9a0463 Mon Sep 17 00:00:00 2001 From: AlexIvanHoward Date: Sun, 21 Jul 2024 01:00:04 +0400 Subject: [PATCH 23/27] Review in progress --- Schemas/OWL/aia.owl | 97 ++++++++++++++++++++------------------------- 1 file changed, 43 insertions(+), 54 deletions(-) diff --git a/Schemas/OWL/aia.owl b/Schemas/OWL/aia.owl index 224aa89..c8f9959 100644 --- a/Schemas/OWL/aia.owl +++ b/Schemas/OWL/aia.owl @@ -9,7 +9,7 @@ xmlns:skos="http://www.w3.org/2004/02/skos/core#" xmlns:terms="http://purl.org/dc/terms/"> - The aim of this ontology is to provide a general and exhaustive standard for the accounting of human impact on their environment/s + This ontology is a tool for aggregating and consolidating anthropogenic impact accounting data across different standards and vocabularies. The ontology is intended to be generic enough to be used for anthropogenic impact accounting in almost any discipline and context, including climate action impact accounting./s An Ontology for Anthropogenic Impact Accounting @@ -144,16 +144,7 @@ /////////////////////////////////////////////////////////////////////////////////////// --> - - - - - - - - - - + @@ -178,8 +169,7 @@ - - + @@ -301,7 +291,16 @@ - + + + + + + + + + + @@ -329,6 +328,15 @@ + + + + + + + + + @@ -587,19 +595,19 @@ - + - - + + - + - + @@ -995,9 +1003,10 @@ is equivalent to the condition (Control) that Activity B only commence after the - A thing that an agent does, which impacts an environment. - An Activity may comprise other Activity/ies, e.g. a project (an Activity) consists of many Activities. Use the 'comprises' property to indicate this. + A thing that an agent does and which impacts an environment. + An Activity may comprise other Activities, e.g., a project (an Activity) consists of many Activities. Use the 'comprises' property to indicate this. Action + @@ -1007,10 +1016,10 @@ is equivalent to the condition (Control) that Activity B only commence after the - "An agent is something that bears some form of responsibility for an activity taking place, for the existence of an entity, or for another agent's activity." (http://www.w3.org/ns/prov#Agent) - + An agent is a thing that bears some form of responsibility for an activity taking place or for the existence of another thing, and which can be held accountable for it. Agent + @@ -1040,6 +1049,7 @@ is equivalent to the condition (Control) that Activity B only commence after the A claim that is validated by formal statement of an official authority TODO: definition Attestation(n) + @@ -1047,20 +1057,6 @@ is equivalent to the condition (Control) that Activity B only commence after the - - - - - - - - - - - - - - Auditor A set of predefined behaviours for a certified agent who conducts an audit. @@ -1068,20 +1064,6 @@ is equivalent to the condition (Control) that Activity B only commence after the - - - - - - - - - - - - - - The requirement for an Agent to fulfill the Role of Auditor is that they verify some Claim AND complies with the (legal) Controls for being an Auditor @@ -1209,6 +1191,7 @@ Media can be digital or physical (PROPOSED) The surroundings and conditions in which a thing exists. Environment + @@ -1220,6 +1203,7 @@ Media can be digital or physical Event A thing that happens or takes place and which impacts an environment. An event is differentiated from an activity by the absence of explicit human intention. + @@ -1283,6 +1267,7 @@ Media can be digital or physical Instrument A thing used to perform an activity. + @@ -1444,6 +1429,7 @@ Media can be digital or physical Parameter Attribute A quality or feature forming one of a set that defines something or sets the conditions of its existence or operation. + @@ -1542,6 +1528,7 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura The State of an Environment comprises the collection of the States (i.e. the values) of that Environment's defining parameters. State A state is the value of a parameter at a specific time position. + @@ -1576,7 +1563,7 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura - Validate (v) + Validate The activity of confirming or demonstrating that something satisfies a specification @@ -1645,7 +1632,8 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura Claim (n) Assertion - A claim is a statement about a (some specific) thing expressed in a claim medium. + A claim is a statement about a (some specific) thing expressed in a claim medium. + @@ -1654,7 +1642,7 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura - Claim (v) + Claim(v) Assert The activity of making a statement about a (specific) thing. @@ -1666,6 +1654,7 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura A Control may comprise other Controls, e.g. a methodology (a Control) defines many conditions to be met (themselves Controls). Use the 'comprises' property to indicate this. A means of limiting or directing a thing. + From 87475d386e27e472aceb7419f7f32f07389762da Mon Sep 17 00:00:00 2001 From: AlexIvanHoward Date: Sun, 4 Aug 2024 22:03:20 +0400 Subject: [PATCH 24/27] 'enacts' not 'hasRole' To say an agent 'enacts' a role is more accurate than saying an agent 'has' a role, as if the agent somehow possesses the attribute of 'role'. --- Schemas/OWL/aia.owl | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/Schemas/OWL/aia.owl b/Schemas/OWL/aia.owl index c8f9959..5522274 100644 --- a/Schemas/OWL/aia.owl +++ b/Schemas/OWL/aia.owl @@ -379,17 +379,7 @@ EDIT - - - - - - - - EDIT - - From e5dffd97536e57b03fe1c167002ae8ef222e85d3 Mon Sep 17 00:00:00 2001 From: AlexIvanHoward Date: Sun, 4 Aug 2024 22:12:51 +0400 Subject: [PATCH 25/27] Auditor vs. Verifier --- Schemas/OWL/aia.owl | 27 ++++++++++++++++++++++++--- 1 file changed, 24 insertions(+), 3 deletions(-) diff --git a/Schemas/OWL/aia.owl b/Schemas/OWL/aia.owl index 5522274..ece85ea 100644 --- a/Schemas/OWL/aia.owl +++ b/Schemas/OWL/aia.owl @@ -524,7 +524,7 @@ - + @@ -532,10 +532,31 @@ + + + + + + + + + + + + + + + + + + + + - + + @@ -1036,7 +1057,7 @@ is equivalent to the condition (Control) that Activity B only commence after the - A claim that is validated by formal statement of an official authority + A claim that is validated by a formal statement of an official authority. TODO: definition Attestation(n) From 50bb1f4bc9cfe7da7dc2918656a72495814fd83e Mon Sep 17 00:00:00 2001 From: AlexIvanHoward Date: Sun, 4 Aug 2024 23:53:43 +0400 Subject: [PATCH 26/27] Update aia.owl --- Schemas/OWL/aia.owl | 182 +++++++++++++++++--------------------------- 1 file changed, 71 insertions(+), 111 deletions(-) diff --git a/Schemas/OWL/aia.owl b/Schemas/OWL/aia.owl index ece85ea..c2824f8 100644 --- a/Schemas/OWL/aia.owl +++ b/Schemas/OWL/aia.owl @@ -147,9 +147,9 @@ - + - + @@ -179,7 +179,7 @@ - USE: For Activity, Control, Agent + USE: For Activity, Control, Agent, State @@ -188,6 +188,7 @@ + A collection of Parameters defines an Environment. @@ -211,22 +212,7 @@ - - - - - - - - - - - - - - - @@ -252,7 +238,7 @@ - + Indicates the State that must exist for the specific Control to be applicable. @@ -278,7 +264,6 @@ - The Environment for which the Parameter's value was measured/calculated @@ -301,20 +286,13 @@ - - - - - - - - + @@ -368,6 +346,7 @@ + @@ -400,7 +379,6 @@ - @@ -421,7 +399,18 @@ - + + + + + + Impact(n) + TODO: definition + + + + + @@ -501,15 +490,6 @@ - - - - - - - - - @@ -572,7 +552,7 @@ - + FIX: this does not work while Role exists/Auditor etc. is not a subClassOf Agent. @@ -582,7 +562,7 @@ - + @@ -646,16 +626,6 @@ // /////////////////////////////////////////////////////////////////////////////////////// --> - - - - - - - - - The parameters to which this methodology applies. - @@ -680,6 +650,8 @@ + + @@ -715,7 +687,7 @@ - + @@ -724,8 +696,7 @@ - - + @@ -753,7 +724,7 @@ - + Less than, greater than, equal to, include, exclude, etc. Used to relate the subject and value of a Control, for example: @@ -839,6 +810,7 @@ is equivalent to the condition (Control) that Activity B only commence after the + TODO: It is rather the code for an instrument, parameter, agent or whatever thas has a registry. @@ -849,6 +821,7 @@ is equivalent to the condition (Control) that Activity B only commence after the + TODO: It is rather the code for an instrument, parameter, agent or whatever thas has a registry version. @@ -892,12 +865,17 @@ is equivalent to the condition (Control) that Activity B only commence after the - + + + + + + @@ -1048,7 +1026,7 @@ is equivalent to the condition (Control) that Activity B only commence after the - TODO definition + TODO: definition Attest @@ -1100,12 +1078,6 @@ is equivalent to the condition (Control) that Activity B only commence after the - - - - - - Calibrator A set of predefined behaviours for an agent who calibrates a measurement instrument. @@ -1129,14 +1101,10 @@ Media can be digital or physical - - - - - - Claimant + + A set of predefined behaviours for an agent who makes a claim in the context of a specific activity. @@ -1241,7 +1209,7 @@ Media can be digital or physical - TODO:definition + TODO: definition @@ -1306,7 +1274,7 @@ Media can be digital or physical - An entity of type Location can be a Point, Line, Path, Polygon, or Volume. A point has a x and y (and optional z) coordinate. If no z coordinate is specified, sea level is assumed. A line comprises exactly two points. A path is two or more continuous lines. A polygon is the area enclosed by three or more points. A volume is the area enclosed by four or more polygons where each edge is shared by exactly two polygons. Length can be derived from a given Line, area from a given Polygon, and volume from a given Volume. + An entity of type Location can be a Point, Line, Path, Polygon, or Volume. A point has an x and y (and optional z) coordinate. If no z coordinate is specified, sea level is assumed. A line comprises exactly two points. A path is two or more continuous lines. A polygon is the area enclosed by three or more points. A volume is the area enclosed by four or more polygons where each edge is shared by exactly two polygons. Length can be derived from a given Line, area from a given Polygon, and volume from a given Volume. TODO: definition Location @@ -1383,12 +1351,6 @@ Media can be digital or physical - - - - - - Operator A set of predefined behaviours for an agent who operates a specific thing (e.g., an instrument) in the context of a specific activity. @@ -1410,15 +1372,9 @@ Media can be digital or physical - - - - - - Owner - A set of predefined behaviours for an agent who owns a specific thing in the context of a specific activity + A set of predefined behaviours for an agent who owns a specific thing in the context of a specific activity. @@ -1439,7 +1395,7 @@ Media can be digital or physical Parameter Attribute - A quality or feature forming one of a set that defines something or sets the conditions of its existence or operation. + A quality or feature forming one of a set that defines some thing or sets the conditions of its existence or operation. @@ -1481,7 +1437,7 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura Project Developer - A set of predefined behaviours for an agent who defines and prepares the conditions for an activity or a set of activities. + A set of predefined behaviours for an agent who defines and prepares the conditions for a project. @@ -1510,7 +1466,7 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura Role - A set of predefined behaviours for an agent with regards to a specific activity. + A set of predefined behaviours for an agent with regard to a specific activity. @@ -1536,9 +1492,9 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura - The State of an Environment comprises the collection of the States (i.e. the values) of that Environment's defining parameters. + A state is the value of a parameter at a specific time position. + The State of an Environment comprises the collection of the States (i.e., the values) of that Environment's defining parameters. State - A state is the value of a parameter at a specific time position. @@ -1575,7 +1531,7 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura Validate - The activity of confirming or demonstrating that something satisfies a specification + The activity of confirming or demonstrating that something satisfies a specification. @@ -1583,12 +1539,6 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura - - - - - - Verifier A set of predefined behaviours for an agent who verifies a claim. @@ -1596,12 +1546,6 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura - - - - - - FIX: more complex and complete Controls for Agents to fulfill certain Roles to be added @@ -1619,9 +1563,9 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura - - Audit (n) - The result of an auditing process. + + Audit(n) + TODO: definition @@ -1630,8 +1574,8 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura - Audit (v) - The activity of performing a systematic, independent, objective and documented evaluation of a claim and its supporting evidence to determine the extent to which it complies with specific criteria (thing:control) + Audit(v) + The activity of performing a systematic, independent, objective and documented evaluation of a claim and its supporting evidence to determine the extent to which it complies with specific criteria (thing:control). @@ -1639,11 +1583,11 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura - A Claim may comprise other Claim/s, e.g. a report (a Claim) consists of many Claims. Use the 'comprises' property to indicate this. Claim (n) Assertion A claim is a statement about a (some specific) thing expressed in a claim medium. + A Claim may comprise other Claim/s, e.g., a report (a Claim) consists of many Claims. Use the 'comprises' property to indicate this. @@ -1656,6 +1600,12 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura Claim(v) Assert The activity of making a statement about a (specific) thing. + + + + + + @@ -1663,12 +1613,22 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura - A Control may comprise other Controls, e.g. a methodology (a Control) defines many conditions to be met (themselves Controls). Use the 'comprises' property to indicate this. + Control(n) A means of limiting or directing a thing. + A Control may comprise other Controls, e.g., a methodology (a Control) defines many conditions to be met (themselves Controls). Use the 'comprises' property to indicate this. + + + + Condition(n) + + TODO: definition + + + @@ -1695,7 +1655,7 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura Measure(v) - The activity of ascertaining the value of a parameter defining a state. + The activity of ascertaining the value of a parameter. @@ -1705,7 +1665,7 @@ Period, in turn, is in the domain of the startedAtTime, endedAtTime, and hasDura Report (n) - A report is a claim that satisfies a specification about an activity or event. + A report is a claim, adhering to a specification, about an activity or event. From a7dbf686e47ea4accf41cfda081fabf393fd3b7d Mon Sep 17 00:00:00 2001 From: AlexIvanHoward Date: Sun, 4 Aug 2024 23:57:56 +0400 Subject: [PATCH 27/27] Updates LICENSE --- Documentation/LICENSE | 45 ++++++++++++++++++------------------------- 1 file changed, 19 insertions(+), 26 deletions(-) diff --git a/Documentation/LICENSE b/Documentation/LICENSE index 261eeb9..aa9b94a 100644 --- a/Documentation/LICENSE +++ b/Documentation/LICENSE @@ -1,4 +1,22 @@ - Apache License + Copyright [2024] [Hyperledger Foundation] + + Licensed under the Apache License, Version 2.0 (the "License"); + you may not use this file except in compliance with the License. + You may obtain a copy of the License at + + http://www.apache.org/licenses/LICENSE-2.0 + + (A copy of the License is provided below for your convenience.) + + Unless required by applicable law or agreed to in writing, work + distributed under the License is distributed on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + See the License for the specific language governing permissions and + limitations under the License. + +================================================================================= + + Apache License Version 2.0, January 2004 http://www.apache.org/licenses/ @@ -174,28 +192,3 @@ of your accepting any such warranty or additional liability. END OF TERMS AND CONDITIONS - - APPENDIX: How to apply the Apache License to your work. - - To apply the Apache License to your work, attach the following - boilerplate notice, with the fields enclosed by brackets "[]" - replaced with your own identifying information. (Don't include - the brackets!) The text should be enclosed in the appropriate - comment syntax for the file format. We also recommend that a - file or class name and description of purpose be included on the - same "printed page" as the copyright notice for easier - identification within third-party archives. - - Copyright [yyyy] [name of copyright owner] - - Licensed under the Apache License, Version 2.0 (the "License"); - you may not use this file except in compliance with the License. - You may obtain a copy of the License at - - http://www.apache.org/licenses/LICENSE-2.0 - - Unless required by applicable law or agreed to in writing, software - distributed under the License is distributed on an "AS IS" BASIS, - WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. - See the License for the specific language governing permissions and - limitations under the License.