Submissions:ActivitySpecification - Revision history

MeganKatsumi at 20:03, 11 March 2019

2019-03-11T20:03:41Z

MeganKatsumi at 20:02, 11 March 2019

2019-03-11T20:02:40Z

MeganKatsumi at 17:01, 25 July 2017

2017-07-25T17:01:25Z

MeganKatsumi at 14:42, 25 July 2017

2017-07-25T14:42:50Z

MeganKatsumi at 14:40, 25 July 2017

2017-07-25T14:40:18Z

MeganKatsumi at 14:39, 25 July 2017

2017-07-25T14:39:03Z

MeganKatsumi at 14:14, 25 July 2017

2017-07-25T14:14:48Z

MeganKatsumi: Imported from OWL file.

2017-07-25T13:58:55Z

Imported from OWL file.

New page

{{Content_OP_Proposal_toolbar}}
{{Graphical representation header}}
{{Graphical representation
|ImageName=
}}
{{Content OP Proposal Template
|SubmittedBy=MeganKatsumi
|ReusableOWLBuildingBlock=https://w3id.org/icity/ActivitySpecification
|Name=ActivitySpecification
}}
{{Element list header}}

{{Additional information header}}

{{Scenarios about me}}
{{Reviews about me}}{{Modeling issues about me}}{{My references}}

@@ Line 21: / Line 21: @@
 (+) However, given that the concepts are preconditions and effects of an activity, they should be subject to change and so the resulting representation is (though larger) more appropriate and more accurate.
 |Scenario=This pattern is applicable for a wide range of scenarios. In essence, for the formalization of any activity precondition/effect. For example: -My car must have gas (an manifestation of a specific vehicle should have gas) before I can drive to work (the manifestation should exist at some time before the drive to work activity occurs)  -An effect of my driving to work is that I am at work and so is my car.
-|KnownUse=https://w3id.org/icity/iCity-UrbanSystem
+|KnownUse=http://ontology.eil.utoronto.ca/icity/UrbanSystem
-|ExtractedFrom=https://w3id.org/icity/iCity-Activity/1.1/
+|ExtractedFrom=http://ontology.eil.utoronto.ca/icity/Activity/1.1/
-|HasComponent=https://w3id.org/icity/iCity-Change/
+|HasComponent=http://ontology.eil.utoronto.ca/icity/Change/
 |RelatedCP=http://ontologydesignpatterns.org/wiki/Submissions:Change_of_Time_Varying_Entities
 }}

@@ Line 17: / Line 17: @@
 If we observe some state, what activity may have caused it?
 |ContentODPDescription=The proposed solution adopts a view of causality similar to the Event Calculus [Kowalski, 1986], employing the concept of manifestations to describe the states (fluents).
-|ReusableOWLBuildingBlock=https://w3id.org/icity/ActivitySpecification
+|ReusableOWLBuildingBlock=http://ontology.eil.utoronto.ca/icity/ActivitySpecification
 |Consequences=(-) Requires a temporal representation of the domain -- specifically using the Logical OP for change -- which results in a larger, more complex representation.
 (+) However, given that the concepts are preconditions and effects of an activity, they should be subject to change and so the resulting representation is (though larger) more appropriate and more accurate.

@@ Line 24: / Line 24: @@
 |ExtractedFrom=https://w3id.org/icity/iCity-Activity/1.1/
 |HasComponent=https://w3id.org/icity/iCity-Change/
-|RelatedCP=http://ontologydesignpatterns.org/wiki/Submissions:Change_Logical_OP
+|RelatedCP=http://ontologydesignpatterns.org/wiki/Submissions:Change_of_Time_Varying_Entities
 }}
 {{Element list header}}

@@ Line 13: / Line 13: @@
 |Domain=Event Processing, General
 |CompetencyQuestion=What are the preconditions (effects) of a given activity?,
-Is/are the precondition(s) true at some time t?
+Is/are the precondition(s) true at some time t?,
 Is/are the effect(s) true at some time t?,
 If we observe some state, what activity may have caused it?

@@ Line 12: / Line 12: @@
 This pattern leverages existing work to fill this void with an ontology design pattern for activity specifications in OWL.
 |Domain=Event Processing, General
-|CompetencyQuestion=What are the preconditions (effects) of a given activity?
+|CompetencyQuestion=What are the preconditions (effects) of a given activity?,
-Is/are the precondition(s) true at some time, t?
+Is/are the precondition(s) true at some time t?
-Is/are the effect(s) true at some time, t?
+Is/are the effect(s) true at some time t?,
 If we observe some state, what activity may have caused it?
 |ContentODPDescription=The proposed solution adopts a view of causality similar to the Event Calculus [Kowalski, 1986], employing the concept of manifestations to describe the states (fluents).

@@ Line 2: / Line 2: @@
 {{Graphical representation header}}
 {{Graphical representation
-|ImageName=Activityspec op.pdf
+|ImageName=Activityspec op.png
 }}
 {{Content OP Proposal Template