Tore Christiansen

added ilap:shouldUseAnyUri to the correct axioms.

......@@ -8,6 +8,10 @@
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
ilap:shouldUseAnyUri
rdf:type owl:AnnotationProperty ;
rdfs:range xsd:boolean ;
.
:
rdf:type owl:Ontology ;
.
......@@ -36,68 +40,89 @@
rdfs:subClassOf owl:Thing ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
ilap:shouldUseAnyUri "true"^^xsd:boolean ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass ilap:Activity ;
owl:onProperty :hasMainActivity ;
owl:onClass ilap:Category ;
owl:onProperty :hasCategory ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass ilap:Category ;
owl:onProperty :hasCategory ;
owl:onClass ilap:Activity ;
ilap:shouldUseAnyUri "true"^^xsd:boolean ;
owl:onProperty :hasMainActivity ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass ilap:Contractor ;
ilap:shouldUseAnyUri "true"^^xsd:boolean ;
owl:onProperty :hasContractor ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass ilap:Criticality ;
ilap:shouldUseAnyUri "true"^^xsd:boolean ;
owl:onProperty :hasHseCriticality ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass ilap:Criticality ;
ilap:shouldUseAnyUri "true"^^xsd:boolean ;
owl:onProperty :hasProductionCriticality ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass ilap:Discipline ;
ilap:shouldUseAnyUri "true"^^xsd:boolean ;
owl:onProperty :hasDiscipline ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass ilap:Discipline ;
ilap:shouldUseAnyUri "true"^^xsd:boolean ;
owl:onProperty :hasExecutionSubDiscipline ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass ilap:Facility ;
ilap:shouldUseAnyUri "true"^^xsd:boolean ;
owl:onProperty :hasFacility ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass ilap:Facility ;
ilap:shouldUseAnyUri "true"^^xsd:boolean ;
owl:onProperty :hasLivingQuarters ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass ilap:Facility ;
ilap:shouldUseAnyUri "true"^^xsd:boolean ;
owl:onProperty :hasOperatingUnit ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass ilap:Field ;
ilap:shouldUseAnyUri "true"^^xsd:boolean ;
owl:onProperty :hasField ;
] ;
rdfs:subClassOf [
......@@ -452,72 +477,96 @@
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass ilap:License ;
ilap:shouldUseAnyUri "true"^^xsd:boolean ;
owl:onProperty :hasLicense ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass ilap:MainPhase ;
ilap:shouldUseAnyUri "true"^^xsd:boolean ;
owl:onProperty :hasDgPhase ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass ilap:MilestoneType ;
ilap:shouldUseAnyUri "true"^^xsd:boolean ;
owl:onProperty :hasMilestoneType ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass ilap:Operator ;
ilap:shouldUseAnyUri "true"^^xsd:boolean ;
owl:onProperty :hasOperator ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass ilap:Phase ;
ilap:shouldUseAnyUri "true"^^xsd:boolean ;
owl:onProperty :hasPhase ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass ilap:Priority ;
ilap:shouldUseAnyUri "true"^^xsd:boolean ;
owl:onProperty :hasPriority ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass ilap:Result ;
ilap:shouldUseAnyUri "true"^^xsd:boolean ;
owl:onProperty :hasProduct ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass ilap:RiskFactor ;
ilap:shouldUseAnyUri "true"^^xsd:boolean ;
owl:onProperty :hasRiskFactor ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass ilap:ShutdownType ;
ilap:shouldUseAnyUri "true"^^xsd:boolean ;
owl:onProperty :hasShutdownType ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass ilap:Status ;
ilap:shouldUseAnyUri "true"^^xsd:boolean ;
owl:onProperty :hasStatus ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass ilap:Status ;
ilap:shouldUseAnyUri "true"^^xsd:boolean ;
owl:onProperty :hasStatusType ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass ilap:SubPhase ;
ilap:shouldUseAnyUri "true"^^xsd:boolean ;
owl:onProperty :hasProjectPhase ;
] ;
.
......