Browse wiki

From Odp

Jump to: navigation, search
Submissions:ActivitySpecification
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 +
hide properties that link here 
Experience & Observation + HasComponent
Experience & Observation +, Food Recipe Ingredient Substitution Ontology Design Pattern + RelatedCP
 

 

Enter the name of the page to start browsing from.
Personal tools
Quality Committee
Content OP publishers