Håvard M. Ottestad

hasCalendar for constraint and resource should use ref

...@@ -86,6 +86,7 @@ ...@@ -86,6 +86,7 @@
86 ] ; 86 ] ;
87 rdfs:subClassOf [ 87 rdfs:subClassOf [
88 rdf:type owl:Restriction ; 88 rdf:type owl:Restriction ;
89 + :shouldUseRef "true"^^xsd:boolean ;
89 owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; 90 owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
90 owl:onClass :Calendar ; 91 owl:onClass :Calendar ;
91 owl:onProperty :hasCalendar ; 92 owl:onProperty :hasCalendar ;
...@@ -2688,22 +2689,11 @@ NOTE 2 A Plan for Activity can define a number of part activities which are rel ...@@ -2688,22 +2689,11 @@ NOTE 2 A Plan for Activity can define a number of part activities which are rel
2688 rdfs:label "Resource Availability"^^xsd:string ; 2689 rdfs:label "Resource Availability"^^xsd:string ;
2689 rdfs:subClassOf :AbstractObject ; 2690 rdfs:subClassOf :AbstractObject ;
2690 rdfs:subClassOf [ 2691 rdfs:subClassOf [
2691 - rdf:type owl:Class ; 2692 + rdf:type owl:Restriction ;
2692 :shouldUseRef "true"^^xsd:boolean ; 2693 :shouldUseRef "true"^^xsd:boolean ;
2693 - owl:intersectionOf ( 2694 + owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
2694 - [ 2695 + owl:onClass :Calendar ;
2695 - rdf:type owl:Restriction ; 2696 + owl:onProperty :hasCalendar ;
2696 - owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
2697 - owl:onClass :Calendar ;
2698 - owl:onProperty :hasCalendar ;
2699 - ]
2700 - [
2701 - rdf:type owl:Restriction ;
2702 - owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
2703 - owl:onClass :Calendar ;
2704 - owl:onProperty :hasCalendar ;
2705 - ]
2706 - ) ;
2707 ] ; 2697 ] ;
2708 rdfs:subClassOf [ 2698 rdfs:subClassOf [
2709 rdf:type owl:Class ; 2699 rdf:type owl:Class ;
......