data.posccaesar.org / ilap

Go to a project
Toggle navigation Toggle navigation pinning
Tore Christiansen
e3d33251 1 parent c6872fcb

Corrected some logical axioms

Inline Side-by-side
Showing 1 changed file with 14 additions and 12 deletions
...@@ -118,6 +118,13 @@ ...@@ -118,6 +118,13 @@
118 rdf:type owl:Restriction ; 118 rdf:type owl:Restriction ;
119 :shouldUseAnyUri "true"^^xsd:boolean ; 119 :shouldUseAnyUri "true"^^xsd:boolean ;
120 owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ; 120 owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
121 + owl:onClass :Discipline ;
122 + owl:onProperty :hasDiscipline ;
123 + ] ;
124 + rdfs:subClassOf [
125 + rdf:type owl:Restriction ;
126 + :shouldUseAnyUri "true"^^xsd:boolean ;
127 + owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
121 owl:onClass :Organization ; 128 owl:onClass :Organization ;
122 owl:onProperty :hasPlannedMainContractor ; 129 owl:onProperty :hasPlannedMainContractor ;
123 ] ; 130 ] ;
...@@ -235,12 +242,6 @@ ...@@ -235,12 +242,6 @@
235 rdfs:subClassOf [ 242 rdfs:subClassOf [
236 rdf:type owl:Restriction ; 243 rdf:type owl:Restriction ;
237 owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ; 244 owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
238 - owl:onClass :Discipline ;
239 - owl:onProperty :hasDiscipline ;
240 - ] ;
241 - rdfs:subClassOf [
242 - rdf:type owl:Restriction ;
243 - owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
244 owl:onClass :ExternalReference ; 245 owl:onClass :ExternalReference ;
245 owl:onProperty :hasExternalReference ; 246 owl:onProperty :hasExternalReference ;
246 ] ; 247 ] ;
...@@ -2765,6 +2766,13 @@ NOTE 2 A Plan for Activity can define a number of part activities which are rel ...@@ -2765,6 +2766,13 @@ NOTE 2 A Plan for Activity can define a number of part activities which are rel
2765 ] ; 2766 ] ;
2766 rdfs:subClassOf [ 2767 rdfs:subClassOf [
2767 rdf:type owl:Restriction ; 2768 rdf:type owl:Restriction ;
2769 + :shouldUseAnyUri "true"^^xsd:boolean ;
2770 + owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
2771 + owl:onClass :Discipline ;
2772 + owl:onProperty :hasPlannedDiscipline ;
2773 + ] ;
2774 + rdfs:subClassOf [
2775 + rdf:type owl:Restriction ;
2768 :shouldUseRef "true"^^xsd:boolean ; 2776 :shouldUseRef "true"^^xsd:boolean ;
2769 owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; 2777 owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
2770 owl:onClass :Profile ; 2778 owl:onClass :Profile ;
...@@ -2864,12 +2872,6 @@ NOTE 2 A Plan for Activity can define a number of part activities which are rel ...@@ -2864,12 +2872,6 @@ NOTE 2 A Plan for Activity can define a number of part activities which are rel
2864 rdfs:subClassOf [ 2872 rdfs:subClassOf [
2865 rdf:type owl:Restriction ; 2873 rdf:type owl:Restriction ;
2866 owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ; 2874 owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
2867 - owl:onClass :Discipline ;
2868 - owl:onProperty :hasPlannedDiscipline ;
2869 - ] ;
2870 - rdfs:subClassOf [
2871 - rdf:type owl:Restriction ;
2872 - owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
2873 owl:onClass :ExternalReference ; 2875 owl:onClass :ExternalReference ;
2874 owl:onProperty :hasExternalReference ; 2876 owl:onProperty :hasExternalReference ;
2875 ] ; 2877 ] ;
......