Trinh H. Nguyen

added owl:oneOf for testing enumeration

...@@ -10,14 +10,19 @@ ...@@ -10,14 +10,19 @@
10 rdf:type owl:Ontology ; 10 rdf:type owl:Ontology ;
11 owl:versionInfo "Created with TopBraid Composer"^^xsd:string ; 11 owl:versionInfo "Created with TopBraid Composer"^^xsd:string ;
12 . 12 .
13 -:Acitivity 13 +:Activity
14 rdf:type owl:Class ; 14 rdf:type owl:Class ;
15 rdfs:label "Acitivity"^^xsd:string ; 15 rdfs:label "Acitivity"^^xsd:string ;
16 rdfs:subClassOf owl:Thing ; 16 rdfs:subClassOf owl:Thing ;
17 rdfs:subClassOf [ 17 rdfs:subClassOf [
18 rdf:type owl:Restriction ; 18 rdf:type owl:Restriction ;
19 + owl:minCardinality "0"^^xsd:nonNegativeInteger ;
20 + owl:onProperty :hasActivityStatus ;
21 + ] ;
22 + rdfs:subClassOf [
23 + rdf:type owl:Restriction ;
19 owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ; 24 owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
20 - owl:onClass :Acitivity ; 25 + owl:onClass :Activity ;
21 owl:onProperty :hasParentActivity ; 26 owl:onProperty :hasParentActivity ;
22 ] ; 27 ] ;
23 . 28 .
...@@ -39,7 +44,7 @@ ...@@ -39,7 +44,7 @@
39 rdfs:subClassOf [ 44 rdfs:subClassOf [
40 rdf:type owl:Restriction ; 45 rdf:type owl:Restriction ;
41 owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ; 46 owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ;
42 - owl:onClass :Acitivity ; 47 + owl:onClass :Activity ;
43 owl:onProperty :hasAcitivity ; 48 owl:onProperty :hasAcitivity ;
44 ] ; 49 ] ;
45 rdfs:subClassOf [ 50 rdfs:subClassOf [
...@@ -55,7 +60,7 @@ ...@@ -55,7 +60,7 @@
55 rdfs:subClassOf owl:Thing ; 60 rdfs:subClassOf owl:Thing ;
56 rdfs:subClassOf [ 61 rdfs:subClassOf [
57 rdf:type owl:Restriction ; 62 rdf:type owl:Restriction ;
58 - owl:qualifiedCardinality "0"^^xsd:nonNegativeInteger ; 63 + owl:cardinality "0"^^xsd:nonNegativeInteger ;
59 owl:onProperty :hasDescription ; 64 owl:onProperty :hasDescription ;
60 ] ; 65 ] ;
61 rdfs:subClassOf [ 66 rdfs:subClassOf [
...@@ -73,11 +78,32 @@ ...@@ -73,11 +78,32 @@
73 rdf:type owl:ObjectProperty ; 78 rdf:type owl:ObjectProperty ;
74 rdfs:label "has acitivity"^^xsd:string ; 79 rdfs:label "has acitivity"^^xsd:string ;
75 . 80 .
81 +:hasActivityStatus
82 + rdf:type owl:DatatypeProperty ;
83 + rdfs:domain :Activity ;
84 + rdfs:range [
85 + rdf:type rdfs:Datatype ;
86 + owl:oneOf (
87 + "ActiveActivity"^^xsd:string
88 + "CancelledActivity"^^xsd:string
89 + "DeletedActivity"^^xsd:string
90 + "CompletedActivity"^^xsd:string
91 + "PendingActivity"^^xsd:string
92 + ) ;
93 + ] ;
94 +.
76 :hasDescription 95 :hasDescription
77 rdf:type owl:DatatypeProperty ; 96 rdf:type owl:DatatypeProperty ;
78 rdfs:domain :Project ; 97 rdfs:domain :Project ;
79 rdfs:range xsd:string ; 98 rdfs:range xsd:string ;
80 . 99 .
100 +:hasParentActivity
101 + rdf:type owl:ObjectProperty ;
102 + :shouldBeDeclaredHere "true"^^xsd:boolean ;
103 + :shouldBeHere "false"^^xsd:boolean ;
104 + rdfs:domain :Activity ;
105 + rdfs:range :Activity ;
106 +.
81 :hasPlan 107 :hasPlan
82 rdf:type owl:ObjectProperty ; 108 rdf:type owl:ObjectProperty ;
83 rdfs:label "has plan"^^xsd:string ; 109 rdfs:label "has plan"^^xsd:string ;
...@@ -89,3 +115,14 @@ ...@@ -89,3 +115,14 @@
89 :hasSomethingElse 115 :hasSomethingElse
90 rdf:type owl:ObjectProperty ; 116 rdf:type owl:ObjectProperty ;
91 . 117 .
118 +:shouldBeDeclaredHere
119 + rdf:type owl:AnnotationProperty ;
120 + rdfs:range xsd:boolean ;
121 +.
122 +:shouldBeHere
123 + rdf:type owl:AnnotationProperty ;
124 + rdfs:range xsd:boolean ;
125 +.
126 +rdf:oneOf
127 + rdf:type rdfs:Class ;
128 +.
......