1010
1111<http://w3id.org/PLCO/ontology/processODP> rdf:type owl:Ontology ;
1212 owl:versionIRI <http://w3id.org/PLCO/ontology/processODP/0.1/> ;
13+ owl:imports <https://liusemweb.github.io/PLCO/modules/time/0.1/ontology.ttl> ;
1314 dcterms:created " 2026-02-05" ;
1415 dcterms:creator " Huanyu Li" ;
1516 dcterms:description " A ODP of the PLCO ontology network, defining aspects of the process concept." ;
@@ -78,11 +79,19 @@ xsd:date rdf:type rdfs:Datatype .
7879
7980# ## http://w3id.org/PLCO/ontology/processODP#duringTime
8081:duringTime rdf:type owl:ObjectProperty ;
81- rdfs:range :TimeInterval ;
82+ rdfs:range <http://www.w3.org/2006/time#Interval> ;
8283 rdfs:comment " The time interval during which something, e.g. a process or event, takes place." ;
8384 rdfs:label " during time" .
8485
8586
87+ # ## http://w3id.org/PLCO/ontology/processODP#followsExecution
88+ :followsExecution rdf:type owl:ObjectProperty ;
89+ rdfs:subPropertyOf :isSettingFor ;
90+ rdfs:domain :PlanExecution ;
91+ rdfs:comment " The situation after the execution takes place, i.e. the state of affairs after the process event, such as the product being assembled, or the material being recycled." ;
92+ rdfs:label " follows execution" .
93+
94+
8695# ## http://w3id.org/PLCO/ontology/processODP#hasInput
8796:hasInput rdf:type owl:ObjectProperty ;
8897 rdfs:domain :Process ;
@@ -97,6 +106,22 @@ xsd:date rdf:type rdfs:Datatype .
97106 rdfs:label " has output" .
98107
99108
109+ # ## http://w3id.org/PLCO/ontology/processODP#hasPart
110+ :hasPart rdf:type owl:ObjectProperty ,
111+ owl:TransitiveProperty ;
112+ rdfs:comment " A process or event can consist of several parts, which are sub-processes (e.g. steps) or events." ;
113+ rdfs:label " has part" .
114+
115+
116+ # ## http://w3id.org/PLCO/ontology/processODP#hasPlanExecution
117+ :hasPlanExecution rdf:type owl:ObjectProperty ;
118+ rdfs:subPropertyOf owl:topObjectProperty ;
119+ rdfs:domain :Plan ;
120+ rdfs:range :PlanExecution ;
121+ rdfs:comment " A plan can have specific executions." ;
122+ rdfs:label " has plan exeution" .
123+
124+
100125# ## http://w3id.org/PLCO/ontology/processODP#isPerformedOn
101126:isPerformedOn rdf:type owl:ObjectProperty ;
102127 rdfs:domain :Activity ;
@@ -111,13 +136,30 @@ xsd:date rdf:type rdfs:Datatype .
111136 rdfs:label " is the setting for" .
112137
113138
139+ # ## http://w3id.org/PLCO/ontology/processODP#precedesExecution
140+ :precedesExecution rdf:type owl:ObjectProperty ;
141+ rdfs:subPropertyOf :isSettingFor ;
142+ rdfs:domain :PlanExecution ;
143+ rdfs:comment " The situation before the process event takes place, i.e. the state of affairs before the execution, such as the state of the set of components before they are assembled into a product item, or the material state before being recycled." ;
144+ rdfs:label " precedes execution" .
145+
146+
147+ # ## http://w3id.org/PLCO/ontology/processODP#satisfiesPlan
148+ :satisfiesPlan rdf:type owl:ObjectProperty ;
149+ rdfs:subPropertyOf owl:topObjectProperty ;
150+ rdfs:domain :Situation ;
151+ rdfs:range :Description ;
152+ rdfs:comment " A relation between a Situation and a Description, e.g. the execution of a Plan satisfies that plan." ;
153+ rdfs:label " satisfies plan" .
154+
155+
114156# ################################################################
115157# Data properties
116158# ################################################################
117159
118160# ## http://w3id.org/PLCO/ontology/processODP#endTime
119161:endTime rdf:type owl:DatatypeProperty ;
120- rdfs:domain :TimeInterval ;
162+ rdfs:domain <http://www.w3.org/2006/time#Interval> ;
121163 rdfs:range xsd:dateTime ;
122164 rdfs:comment " Represents the end time of a time interval." ;
123165 rdfs:label " end time" .
@@ -144,9 +186,17 @@ xsd:date rdf:type rdfs:Datatype .
144186 rdfs:label " has activity type" .
145187
146188
189+ # ## http://w3id.org/PLCO/ontology/processODP#occursAtTime
190+ :occursAtTime rdf:type owl:DatatypeProperty ;
191+ rdfs:domain :PlanExecution ;
192+ rdfs:range xsd:dateTime ;
193+ rdfs:comment " Represents the time at which something takes place." ;
194+ rdfs:label " occurs at time" .
195+
196+
147197# ## http://w3id.org/PLCO/ontology/processODP#startTime
148198:startTime rdf:type owl:DatatypeProperty ;
149- rdfs:domain :TimeInterval ;
199+ rdfs:domain <http://www.w3.org/2006/time#Interval> ;
150200 rdfs:range xsd:dateTime ;
151201 rdfs:comment " Represents the start time of a time interval." ;
152202 rdfs:label " start time" .
@@ -161,6 +211,13 @@ xsd:date rdf:type rdfs:Datatype .
161211 rdfs:label " Activity" .
162212
163213
214+ # ## http://w3id.org/PLCO/ontology/processODP#Description
215+ :Description rdf:type owl:Class ;
216+ rdfs:comment """ A Description is a SocialObject that represents a conceptualization.
217+ For example, a Plan is a Description of some actions to be executed by agents in a certain way, with certain parameters etc. Descriptions 'define' or 'use' concepts, and can be 'satisfied' by situations.""" ;
218+ rdfs:label " Description" .
219+
220+
164221# ## http://w3id.org/PLCO/ontology/processODP#Event
165222:Event rdf:type owl:Class ;
166223 rdfs:subClassOf [ owl:intersectionOf ( [ rdf:type owl:Restriction ;
@@ -178,6 +235,55 @@ xsd:date rdf:type rdfs:Datatype .
178235 rdfs:label " Event" .
179236
180237
238+ # ## http://w3id.org/PLCO/ontology/processODP#Plan
239+ :Plan rdf:type owl:Class ;
240+ rdfs:subClassOf :Description ,
241+ [ rdf:type owl:Restriction ;
242+ owl:onProperty :hasPart ;
243+ owl:someValuesFrom :Plan
244+ ] ;
245+ rdfs:comment " A Description having an explicit goal, to be achieved by executing the plan." ;
246+ rdfs:label " Plan" .
247+
248+
249+ # ## http://w3id.org/PLCO/ontology/processODP#PlanExecution
250+ :PlanExecution rdf:type owl:Class ;
251+ rdfs:subClassOf :Situation ,
252+ [ rdf:type owl:Class ;
253+ owl:unionOf ( [ rdf:type owl:Restriction ;
254+ owl:onProperty :duringTime ;
255+ owl:someValuesFrom <http://www.w3.org/2006/time#Interval>
256+ ]
257+ [ rdf:type owl:Restriction ;
258+ owl:onProperty :occursAtTime ;
259+ owl:someValuesFrom xsd:dateTime
260+ ]
261+ )
262+ ] ,
263+ [ rdf:type owl:Restriction ;
264+ owl:onProperty :followsExecution ;
265+ owl:someValuesFrom :Situation
266+ ] ,
267+ [ rdf:type owl:Restriction ;
268+ owl:onProperty :hasPart ;
269+ owl:someValuesFrom :PlanExecution
270+ ] ,
271+ [ rdf:type owl:Restriction ;
272+ owl:onProperty :isSettingFor ;
273+ owl:someValuesFrom :Process
274+ ] ,
275+ [ rdf:type owl:Restriction ;
276+ owl:onProperty :precedesExecution ;
277+ owl:someValuesFrom :Situation
278+ ] ,
279+ [ rdf:type owl:Restriction ;
280+ owl:onProperty :satisfiesPlan ;
281+ owl:someValuesFrom :Plan
282+ ] ;
283+ rdfs:comment " Plan executions are situations that proactively satisfy a plan. Subplan executions are proper parts of the whole plan execution." ;
284+ rdfs:label " Plan Execution" .
285+
286+
181287# ## http://w3id.org/PLCO/ontology/processODP#Process
182288:Process rdf:type owl:Class ;
183289 rdfs:subClassOf [ owl:intersectionOf ( [ rdf:type owl:Restriction ;
@@ -205,12 +311,6 @@ xsd:date rdf:type rdfs:Datatype .
205311 rdfs:label " Situation" .
206312
207313
208- # ## http://w3id.org/PLCO/ontology/processODP#TimeInterval
209- :TimeInterval rdf:type owl:Class ;
210- rdfs:comment " A temporal entity has a starting time and an ending time." ;
211- rdfs:label " Time Interval" .
212-
213-
214314# ## http://w3id.org/PLCO/ontology/resourceODP#Resource
215315<http://w3id.org/PLCO/ontology/resourceODP#Resource> rdf:type owl:Class .
216316
0 commit comments