| ContentODPAlsoKnownAs
|
Activity Specification OP +
|
| 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).
|
| CoversRequirement
|
What are the preconditions (effects) of a given activity?,
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?
|
| ExtractedFrom
|
http://ontology.eil.utoronto.ca/icity/Activity/1.1/ +
|
| GraphicallyRepresentedBy
|
Activityspec op.png +
|
| HasComponent
|
Http://ontology.eil.utoronto.ca/icity/Change/ +
|
| HasConsequence
|
(-) Requires a temporal representation of … (-) 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. arger) more appropriate and more accurate.
|
| HasIntent
|
This work is concerned with supporting a c … This work is concerned with supporting a correct and meaningful representation of activities on the Semantic Web, with the potential to support tasks such as activity recognition and reasoning about causation. This requires an ontology capable of more than simply documenting and annotating individual activity occurrences; definitions of activity specifications are required.
Current representations of activities in OWL do not meet the basic requirements for activity specifications. Detailed definitions of an activity's preconditions and effects are lacking, in particular with respect to a consideration of change over time.
This pattern leverages existing work to fill this void with an ontology design pattern for activity specifications in OWL. attern for activity specifications in OWL.
|
| KnownUse
|
http://ontology.eil.utoronto.ca/icity/UrbanSystem +
|
| Modification dateThis property is a special property in this wiki.
|
11 March 2019 20:03:41 +
|
| Name
|
ActivitySpecification +
|
| OWLBuildingBlock
|
http://ontology.eil.utoronto.ca/icity/ActivitySpecification +
|
| PatternDomain
|
Event Processing +,
General +
|
| RelatedCP
|
Http://ontologydesignpatterns.org/wiki/Submissions:Change of Time Varying Entities +
|
| Scenario
|
This pattern is applicable for a wide range of scenarios. In essence,
for the formalization of any activity prec … 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. ork is that I am at work and so is my car.
|
| SubmittedBy
|
MeganKatsumi +
|
| Categories |
ProposedContentOP +
|
