http://ontologydesignpatterns.org/api.php?action=feedcontributions&feedformat=atom&user=MeganKatsumi 2026-05-20T20:23:20Z User contributions MediaWiki 1.25.6 http://ontologydesignpatterns.org/index.php?title=Submissions:Change_of_Time_Varying_Entities&diff=13879 2020-08-27T18:50:50Z

<p>MeganKatsumi: </p> <hr /> <div>{{Logical_OP_Proposal_toolbar}}<br /> {{Graphical representation header}}<br /> {{Graphical representation<br /> |ImageName=Before-after.png<br /> }}<br /> {{Logical OP General Template<br /> |Name=Change of Time Varying Entities<br /> |SubmittedBy=MeganKatsumi<br /> }}<br /> {{Logical OP Description Template<br /> |Motivation=This work is motivated by a project on urban informatics, iCity \cite{miller2014}, in which our role is to develop an ontology capable of representing the urban system -- both the information that is collected, as well as information that is simulated and analyzed by various research groups. Such an ontology would not only provide valuable integration and inference capabilities for the research groups internally, it would support sharing of the results on the Semantic Web, in particular for reproducibility of simulations and analyses. Owing to its popularity, tool support, and role as the de facto standard for the Semantic Web, OWL was selected as the logical language for the formalization of the ontology. <br /> To capture the urban domain, the notion of change over time is a critical requirement: the population, family and household structures, transportation networks, and the locations of particular transportation vehicles (buses, household vehicles, and so on) are all subject to change.<br /> <br /> Change over time plays a role in many domains, and is by no means a new research topic. In fact, several approaches for capturing change in OWL have been proposed in the literature. Despite these solutions, we have found that Semantic Web practitioners currently lack clear and precise method for how to apply these approaches to capture change at a domain level, whether reusing an atemporal ontology or developing an ontology from scratch.<br /> |Aim=The work presented here aims to provide a straightforward, pattern-based guide to implementing a representation of change for any given domain. In particular, we provide consideration for the reuse of atemporal ontologies, as our experience has led us to believe that this is an important design task.<br /> |Solution=The solution is based on the 4D Fluents Ontology [2], as reinterpreted by Krieger [1].<br /> <br /> [1] Krieger, H.U.: Where temporal description logics fail: Representing temporally changing relationships. In: Annual Conference on Arti�cial Intelligence. pp. 249-257. Springer (2008)<br /> <br /> [2] Welty, C., Fikes, R., Makarios, S.: A reusable ontology for Fuents in owl. In: Formal Ontology in Information Systems (FOIS). vol. 150, pp. 226-236 (2006)<br /> |Implementation=A foundational ontology of change is to be imported. Then, based on the foundational classes of TimeVaryingEntity and Manifestation, a simple set of logical design patterns may be applied. A pragmatic guideline to support this process is provided in the accompanying paper submission.<br /> Several additional logical design patterns are identified, along with descriptions of how they could be employed to provide extended semantics in a representation beyond OWL (e.g. SWRL), should additional reasoning capabilities be required.<br /> |ReusableComponent=http://ontology.eil.utoronto.ca/icity/Change<br /> }}<br /> {{Logical OP Example Template}}<br /> {{Logical OP Reference Template}}<br /> {{Additional information header}}<br /> <br /> {{Scenarios about me}}<br /> {{Reviews about me}}<br /> {{Modeling issues about me}}<br /> {{My references}}</div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=Submissions:ActivitySpecification&diff=13639 2019-03-11T20:03:41Z

<p>MeganKatsumi: </p> <hr /> <div>{{Content_OP_Proposal_toolbar}}<br /> {{Graphical representation header}}<br /> {{Graphical representation<br /> |ImageName=Activityspec op.png<br /> }}<br /> {{Content OP Proposal Template<br /> |SubmittedBy=MeganKatsumi<br /> |Name=ActivitySpecification<br /> |ContentODPAlsoKnownAs=Activity Specification OP<br /> |Intent=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.<br /> 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.<br /> This pattern leverages existing work to fill this void with an ontology design pattern for activity specifications in OWL.<br /> |Domain=Event Processing, General<br /> |CompetencyQuestion=What are the preconditions (effects) of a given activity?,<br /> Is/are the precondition(s) true at some time t?,<br /> Is/are the effect(s) true at some time t?,<br /> If we observe some state, what activity may have caused it?<br /> |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).<br /> |ReusableOWLBuildingBlock=http://ontology.eil.utoronto.ca/icity/ActivitySpecification<br /> |Consequences=(-) Requires a temporal representation of the domain -- specifically using the Logical OP for change -- which results in a larger, more complex representation.<br /> (+) 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.<br /> |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.<br /> |KnownUse=http://ontology.eil.utoronto.ca/icity/UrbanSystem<br /> |ExtractedFrom=http://ontology.eil.utoronto.ca/icity/Activity/1.1/<br /> |HasComponent=http://ontology.eil.utoronto.ca/icity/Change/<br /> |RelatedCP=http://ontologydesignpatterns.org/wiki/Submissions:Change_of_Time_Varying_Entities<br /> }}<br /> {{Element list header}}<br /> {{Additional information header}}<br /> <br /> {{Scenarios about me}}<br /> {{Reviews about me}}<br /> {{Modeling issues about me}}<br /> {{My references}}</div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=Submissions:ActivitySpecification&diff=13638 2019-03-11T20:02:40Z

<p>MeganKatsumi: </p> <hr /> <div>{{Content_OP_Proposal_toolbar}}<br /> {{Graphical representation header}}<br /> {{Graphical representation<br /> |ImageName=Activityspec op.png<br /> }}<br /> {{Content OP Proposal Template<br /> |SubmittedBy=MeganKatsumi<br /> |Name=ActivitySpecification<br /> |ContentODPAlsoKnownAs=Activity Specification OP<br /> |Intent=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.<br /> 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.<br /> This pattern leverages existing work to fill this void with an ontology design pattern for activity specifications in OWL.<br /> |Domain=Event Processing, General<br /> |CompetencyQuestion=What are the preconditions (effects) of a given activity?,<br /> Is/are the precondition(s) true at some time t?,<br /> Is/are the effect(s) true at some time t?,<br /> If we observe some state, what activity may have caused it?<br /> |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).<br /> |ReusableOWLBuildingBlock=http://ontology.eil.utoronto.ca/icity/ActivitySpecification<br /> |Consequences=(-) Requires a temporal representation of the domain -- specifically using the Logical OP for change -- which results in a larger, more complex representation.<br /> (+) 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.<br /> |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.<br /> |KnownUse=https://w3id.org/icity/iCity-UrbanSystem<br /> |ExtractedFrom=https://w3id.org/icity/iCity-Activity/1.1/<br /> |HasComponent=https://w3id.org/icity/iCity-Change/<br /> |RelatedCP=http://ontologydesignpatterns.org/wiki/Submissions:Change_of_Time_Varying_Entities<br /> }}<br /> {{Element list header}}<br /> {{Additional information header}}<br /> <br /> {{Scenarios about me}}<br /> {{Reviews about me}}<br /> {{Modeling issues about me}}<br /> {{My references}}</div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=Submissions:Change_of_Time_Varying_Entities&diff=13283 2017-09-09T10:35:32Z

<p>MeganKatsumi: </p> <hr /> <div>{{Logical_OP_Proposal_toolbar}}<br /> {{Graphical representation header}}<br /> {{Graphical representation<br /> |ImageName=Before-after.png<br /> }}<br /> {{Logical OP General Template<br /> |Name=Change of Time Varying Entities<br /> |SubmittedBy=MeganKatsumi<br /> }}<br /> {{Logical OP Description Template<br /> |Motivation=This work is motivated by a project on urban informatics, iCity \cite{miller2014}, in which our role is to develop an ontology capable of representing the urban system -- both the information that is collected, as well as information that is simulated and analyzed by various research groups. Such an ontology would not only provide valuable integration and inference capabilities for the research groups internally, it would support sharing of the results on the Semantic Web, in particular for reproducibility of simulations and analyses. Owing to its popularity, tool support, and role as the de facto standard for the Semantic Web, OWL was selected as the logical language for the formalization of the ontology. <br /> To capture the urban domain, the notion of change over time is a critical requirement: the population, family and household structures, transportation networks, and the locations of particular transportation vehicles (buses, household vehicles, and so on) are all subject to change.<br /> <br /> Change over time plays a role in many domains, and is by no means a new research topic. In fact, several approaches for capturing change in OWL have been proposed in the literature. Despite these solutions, we have found that Semantic Web practitioners currently lack clear and precise method for how to apply these approaches to capture change at a domain level, whether reusing an atemporal ontology or developing an ontology from scratch.<br /> |Aim=The work presented here aims to provide a straightforward, pattern-based guide to implementing a representation of change for any given domain. In particular, we provide consideration for the reuse of atemporal ontologies, as our experience has led us to believe that this is an important design task.<br /> |Solution=The solution is based on the 4D Fluents Ontology [2], as reinterpreted by Krieger [1].<br /> <br /> [1] Krieger, H.U.: Where temporal description logics fail: Representing temporally changing relationships. In: Annual Conference on Arti�cial Intelligence. pp. 249-257. Springer (2008)<br /> <br /> [2] Welty, C., Fikes, R., Makarios, S.: A reusable ontology for Fuents in owl. In: Formal Ontology in Information Systems (FOIS). vol. 150, pp. 226-236 (2006)<br /> |Implementation=A foundational ontology of change is to be imported. Then, based on the foundational classes of TimeVaryingEntity and Manifestation, a simple set of logical design patterns may be applied. A pragmatic guideline to support this process is provided in the accompanying paper submission.<br /> Several additional logical design patterns are identified, along with descriptions of how they could be employed to provide extended semantics in a representation beyond OWL (e.g. SWRL), should additional reasoning capabilities be required.<br /> |ReusableComponent=https://w3id.org/icity/iCity-Change<br /> }}<br /> {{Logical OP Example Template}}<br /> {{Logical OP Reference Template}}<br /> {{Additional information header}}<br /> <br /> {{Scenarios about me}}<br /> {{Reviews about me}}<br /> {{Modeling issues about me}}<br /> {{My references}}</div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=Submissions:ActivitySpecification&diff=13277 2017-07-25T17:01:25Z

<p>MeganKatsumi: </p> <hr /> <div>{{Content_OP_Proposal_toolbar}}<br /> {{Graphical representation header}}<br /> {{Graphical representation<br /> |ImageName=Activityspec op.png<br /> }}<br /> {{Content OP Proposal Template<br /> |SubmittedBy=MeganKatsumi<br /> |Name=ActivitySpecification<br /> |ContentODPAlsoKnownAs=Activity Specification OP<br /> |Intent=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.<br /> 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.<br /> This pattern leverages existing work to fill this void with an ontology design pattern for activity specifications in OWL.<br /> |Domain=Event Processing, General<br /> |CompetencyQuestion=What are the preconditions (effects) of a given activity?,<br /> Is/are the precondition(s) true at some time t?,<br /> Is/are the effect(s) true at some time t?,<br /> If we observe some state, what activity may have caused it?<br /> |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).<br /> |ReusableOWLBuildingBlock=https://w3id.org/icity/ActivitySpecification<br /> |Consequences=(-) Requires a temporal representation of the domain -- specifically using the Logical OP for change -- which results in a larger, more complex representation.<br /> (+) 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.<br /> |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.<br /> |KnownUse=https://w3id.org/icity/iCity-UrbanSystem<br /> |ExtractedFrom=https://w3id.org/icity/iCity-Activity/1.1/<br /> |HasComponent=https://w3id.org/icity/iCity-Change/<br /> |RelatedCP=http://ontologydesignpatterns.org/wiki/Submissions:Change_of_Time_Varying_Entities<br /> }}<br /> {{Element list header}}<br /> {{Additional information header}}<br /> <br /> {{Scenarios about me}}<br /> {{Reviews about me}}<br /> {{Modeling issues about me}}<br /> {{My references}}</div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=Feedback:Unable_to_move_pattern&diff=13276 2017-07-25T16:56:34Z

<p>MeganKatsumi: issue clarified, this issue is n/a</p> <hr /> <div>{{TitleDescription Template<br /> |Title=Unable to move pattern<br /> |Description=I've just created a Logical OP, originally entitled &quot;Change Logical OP&quot;. I tried to use the move option to rename the pattern's page more accurately to &quot;Change of Time Varying Entities&quot; but receive a message &quot;You are not allowed to execute the action you have requested.&quot; when I attempt this. I've checked and the latter name is not currently in use.<br /> }}<br /> {{Feedback Template<br /> |Author=MeganKatsumi,<br /> |Priority=Medium<br /> |Status=obsolete<br /> }}</div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=Submissions:Change_of_Time_Varying_Entities&diff=13274 2017-07-25T16:54:35Z

<p>MeganKatsumi: Submissions:Change Logical OP moved to Submissions:Change of Time Varying Entities: More accurate title</p> <hr /> <div>{{Logical_OP_Proposal_toolbar}}<br /> {{Graphical representation header}}<br /> {{Graphical representation<br /> |ImageName=Before-after.png<br /> }}<br /> {{Logical OP General Template<br /> |Name=Change of Time Varying Entities<br /> |SubmittedBy=MeganKatsumi<br /> }}<br /> {{Logical OP Description Template<br /> |Motivation=This work is motivated by a project on urban informatics, iCity \cite{miller2014}, in which our role is to develop an ontology capable of representing the urban system -- both the information that is collected, as well as information that is simulated and analyzed by various research groups. Such an ontology would not only provide valuable integration and inference capabilities for the research groups internally, it would support sharing of the results on the Semantic Web, in particular for reproducibility of simulations and analyses. Owing to its popularity, tool support, and role as the de facto standard for the Semantic Web, OWL was selected as the logical language for the formalization of the ontology. <br /> To capture the urban domain, the notion of change over time is a critical requirement: the population, family and household structures, transportation networks, and the locations of particular transportation vehicles (buses, household vehicles, and so on) are all subject to change.<br /> <br /> Change over time plays a role in many domains, and is by no means a new research topic. In fact, several approaches for capturing change in OWL have been proposed in the literature. Despite these solutions, we have found that Semantic Web practitioners currently lack clear and precise method for how to apply these approaches to capture change at a domain level, whether reusing an atemporal ontology or developing an ontology from scratch.<br /> |Aim=The work presented here aims to provide a straightforward, pattern-based guide to implementing a representation of change for any given domain. In particular, we provide consideration for the reuse of atemporal ontologies, as our experience has led us to believe that this is an important design task.<br /> |Solution=The solution is based on the 4D Fluents Ontology [2], as reinterpreted by Krieger [1].<br /> <br /> [1] Krieger, H.U.: Where temporal description logics fail: Representing temporally changing relationships. In: Annual Conference on Arti�cial Intelligence. pp. 249-257. Springer (2008)<br /> <br /> [2] Welty, C., Fikes, R., Makarios, S.: A reusable ontology for Fuents in owl. In: Formal Ontology in Information Systems (FOIS). vol. 150, pp. 226-236 (2006)<br /> |Implementation=A foundational ontology of change is to be imported. Then, based on the foundational classes of TimeVaryingConcept and Manifestation, a simple set of logical design patterns may be applied. A pragmatic guideline to support this process is provided in the accompanying paper submission.<br /> Several additional logical design patterns are identified, along with descriptions of how they could be employed to provide extended semantics in a representation beyond OWL (e.g. SWRL), should additional reasoning capabilities be required.<br /> |ReusableComponent=https://w3id.org/icity/iCity-Change<br /> }}<br /> {{Logical OP Example Template}}<br /> {{Logical OP Reference Template}}<br /> {{Additional information header}}<br /> <br /> {{Scenarios about me}}<br /> {{Reviews about me}}<br /> {{Modeling issues about me}}<br /> {{My references}}</div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=Submissions:Change_Logical_OP&diff=13275 2017-07-25T16:54:35Z

<p>MeganKatsumi: Submissions:Change Logical OP moved to Submissions:Change of Time Varying Entities: More accurate title</p> <hr /> <div>#REDIRECT [[Submissions:Change of Time Varying Entities]]</div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=Submissions:ActivitySpecification&diff=13273 2017-07-25T14:42:50Z

<p>MeganKatsumi: </p> <hr /> <div>{{Content_OP_Proposal_toolbar}}<br /> {{Graphical representation header}}<br /> {{Graphical representation<br /> |ImageName=Activityspec op.png<br /> }}<br /> {{Content OP Proposal Template<br /> |SubmittedBy=MeganKatsumi<br /> |Name=ActivitySpecification<br /> |ContentODPAlsoKnownAs=Activity Specification OP<br /> |Intent=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.<br /> 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.<br /> This pattern leverages existing work to fill this void with an ontology design pattern for activity specifications in OWL.<br /> |Domain=Event Processing, General<br /> |CompetencyQuestion=What are the preconditions (effects) of a given activity?,<br /> Is/are the precondition(s) true at some time t?,<br /> Is/are the effect(s) true at some time t?,<br /> If we observe some state, what activity may have caused it?<br /> |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).<br /> |ReusableOWLBuildingBlock=https://w3id.org/icity/ActivitySpecification<br /> |Consequences=(-) Requires a temporal representation of the domain -- specifically using the Logical OP for change -- which results in a larger, more complex representation.<br /> (+) 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.<br /> |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.<br /> |KnownUse=https://w3id.org/icity/iCity-UrbanSystem<br /> |ExtractedFrom=https://w3id.org/icity/iCity-Activity/1.1/<br /> |HasComponent=https://w3id.org/icity/iCity-Change/<br /> |RelatedCP=http://ontologydesignpatterns.org/wiki/Submissions:Change_Logical_OP<br /> }}<br /> {{Element list header}}<br /> {{Additional information header}}<br /> <br /> {{Scenarios about me}}<br /> {{Reviews about me}}<br /> {{Modeling issues about me}}<br /> {{My references}}</div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=Submissions:ActivitySpecification&diff=13272 2017-07-25T14:40:18Z

<p>MeganKatsumi: </p> <hr /> <div>{{Content_OP_Proposal_toolbar}}<br /> {{Graphical representation header}}<br /> {{Graphical representation<br /> |ImageName=Activityspec op.png<br /> }}<br /> {{Content OP Proposal Template<br /> |SubmittedBy=MeganKatsumi<br /> |Name=ActivitySpecification<br /> |ContentODPAlsoKnownAs=Activity Specification OP<br /> |Intent=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.<br /> 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.<br /> This pattern leverages existing work to fill this void with an ontology design pattern for activity specifications in OWL.<br /> |Domain=Event Processing, General<br /> |CompetencyQuestion=What are the preconditions (effects) of a given activity?,<br /> Is/are the precondition(s) true at some time t?<br /> Is/are the effect(s) true at some time t?,<br /> If we observe some state, what activity may have caused it?<br /> |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).<br /> |ReusableOWLBuildingBlock=https://w3id.org/icity/ActivitySpecification<br /> |Consequences=(-) Requires a temporal representation of the domain -- specifically using the Logical OP for change -- which results in a larger, more complex representation.<br /> (+) 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.<br /> |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.<br /> |KnownUse=https://w3id.org/icity/iCity-UrbanSystem<br /> |ExtractedFrom=https://w3id.org/icity/iCity-Activity/1.1/<br /> |HasComponent=https://w3id.org/icity/iCity-Change/<br /> |RelatedCP=http://ontologydesignpatterns.org/wiki/Submissions:Change_Logical_OP<br /> }}<br /> {{Element list header}}<br /> {{Additional information header}}<br /> <br /> {{Scenarios about me}}<br /> {{Reviews about me}}<br /> {{Modeling issues about me}}<br /> {{My references}}</div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=Submissions:ActivitySpecification&diff=13271 2017-07-25T14:39:03Z

<p>MeganKatsumi: </p> <hr /> <div>{{Content_OP_Proposal_toolbar}}<br /> {{Graphical representation header}}<br /> {{Graphical representation<br /> |ImageName=Activityspec op.png<br /> }}<br /> {{Content OP Proposal Template<br /> |SubmittedBy=MeganKatsumi<br /> |Name=ActivitySpecification<br /> |ContentODPAlsoKnownAs=Activity Specification OP<br /> |Intent=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.<br /> 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.<br /> This pattern leverages existing work to fill this void with an ontology design pattern for activity specifications in OWL.<br /> |Domain=Event Processing, General<br /> |CompetencyQuestion=What are the preconditions (effects) of a given activity?<br /> Is/are the precondition(s) true at some time, t?<br /> Is/are the effect(s) true at some time, t?<br /> If we observe some state, what activity may have caused it?<br /> |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).<br /> |ReusableOWLBuildingBlock=https://w3id.org/icity/ActivitySpecification<br /> |Consequences=(-) Requires a temporal representation of the domain -- specifically using the Logical OP for change -- which results in a larger, more complex representation.<br /> (+) 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.<br /> |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.<br /> |KnownUse=https://w3id.org/icity/iCity-UrbanSystem<br /> |ExtractedFrom=https://w3id.org/icity/iCity-Activity/1.1/<br /> |HasComponent=https://w3id.org/icity/iCity-Change/<br /> |RelatedCP=http://ontologydesignpatterns.org/wiki/Submissions:Change_Logical_OP<br /> }}<br /> {{Element list header}}<br /> {{Additional information header}}<br /> <br /> {{Scenarios about me}}<br /> {{Reviews about me}}<br /> {{Modeling issues about me}}<br /> {{My references}}</div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=File:Activityspec_op.png&diff=13270 2017-07-25T14:37:58Z

<p>MeganKatsumi: </p> <hr /> <div></div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=File:Activityspec_op.pdf&diff=13269 2017-07-25T14:32:46Z

<p>MeganKatsumi: uploaded a new version of &quot;Image:Activityspec op.pdf&quot;</p> <hr /> <div>Activity Specification Design Pattern</div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=File:Activityspec_op1.pdf&diff=13268 2017-07-25T14:31:31Z

<p>MeganKatsumi: Activity Specification Content OP diagram</p> <hr /> <div>Activity Specification Content OP diagram</div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=Submissions:ActivitySpecification&diff=13267 2017-07-25T14:14:48Z

<p>MeganKatsumi: </p> <hr /> <div>{{Content_OP_Proposal_toolbar}}<br /> {{Graphical representation header}}<br /> {{Graphical representation<br /> |ImageName=Activityspec op.pdf<br /> }}<br /> {{Content OP Proposal Template<br /> |SubmittedBy=MeganKatsumi<br /> |Name=ActivitySpecification<br /> |ContentODPAlsoKnownAs=Activity Specification OP<br /> |Intent=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.<br /> 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.<br /> This pattern leverages existing work to fill this void with an ontology design pattern for activity specifications in OWL.<br /> |Domain=Event Processing, General<br /> |CompetencyQuestion=What are the preconditions (effects) of a given activity?<br /> Is/are the precondition(s) true at some time, t?<br /> Is/are the effect(s) true at some time, t?<br /> If we observe some state, what activity may have caused it?<br /> |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).<br /> |ReusableOWLBuildingBlock=https://w3id.org/icity/ActivitySpecification<br /> |Consequences=(-) Requires a temporal representation of the domain -- specifically using the Logical OP for change -- which results in a larger, more complex representation.<br /> (+) 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.<br /> |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.<br /> |KnownUse=https://w3id.org/icity/iCity-UrbanSystem<br /> |ExtractedFrom=https://w3id.org/icity/iCity-Activity/1.1/<br /> |HasComponent=https://w3id.org/icity/iCity-Change/<br /> |RelatedCP=http://ontologydesignpatterns.org/wiki/Submissions:Change_Logical_OP<br /> }}<br /> {{Element list header}}<br /> {{Additional information header}}<br /> <br /> {{Scenarios about me}}<br /> {{Reviews about me}}<br /> {{Modeling issues about me}}<br /> {{My references}}</div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=Submissions:ActivitySpecification&diff=13266 2017-07-25T13:58:55Z

<p>MeganKatsumi: Imported from OWL file.</p> <hr /> <div>{{Content_OP_Proposal_toolbar}}<br /> {{Graphical representation header}}<br /> {{Graphical representation<br /> |ImageName=<br /> }}<br /> {{Content OP Proposal Template<br /> |SubmittedBy=MeganKatsumi<br /> |ReusableOWLBuildingBlock=https://w3id.org/icity/ActivitySpecification<br /> |Name=ActivitySpecification<br /> }}<br /> {{Element list header}}<br /> <br /> {{Additional information header}}<br /> <br /> {{Scenarios about me}}<br /> {{Reviews about me}}{{Modeling issues about me}}{{My references}}</div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=File:Activityspec_op.pdf&diff=13265 2017-07-25T13:41:08Z

<p>MeganKatsumi: Activity Specification Design Pattern</p> <hr /> <div>Activity Specification Design Pattern</div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=Feedback:Unable_to_move_pattern&diff=13264 2017-07-21T15:43:38Z

<p>MeganKatsumi: New page: {{TitleDescription Template |Title=Unable to move pattern |Description=I've just created a Logical OP, originally entitled &quot;Change Logical OP&quot;. I tried to use the move option to rename the...</p> <hr /> <div>{{TitleDescription Template<br /> |Title=Unable to move pattern<br /> |Description=I've just created a Logical OP, originally entitled &quot;Change Logical OP&quot;. I tried to use the move option to rename the pattern's page more accurately to &quot;Change of Time Varying Entities&quot; but receive a message &quot;You are not allowed to execute the action you have requested.&quot; when I attempt this. I've checked and the latter name is not currently in use.<br /> }}<br /> {{Feedback Template<br /> |Author=MeganKatsumi, <br /> |Priority=Medium<br /> |Status=To be done<br /> }}</div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=Submissions:Change_of_Time_Varying_Entities&diff=13263 2017-07-21T15:35:10Z

<p>MeganKatsumi: </p> <hr /> <div>{{Logical_OP_Proposal_toolbar}}<br /> {{Graphical representation header}}<br /> {{Graphical representation<br /> |ImageName=Before-after.png<br /> }}<br /> {{Logical OP General Template<br /> |Name=Change of Time Varying Entities<br /> |SubmittedBy=MeganKatsumi<br /> }}<br /> {{Logical OP Description Template<br /> |Motivation=This work is motivated by a project on urban informatics, iCity \cite{miller2014}, in which our role is to develop an ontology capable of representing the urban system -- both the information that is collected, as well as information that is simulated and analyzed by various research groups. Such an ontology would not only provide valuable integration and inference capabilities for the research groups internally, it would support sharing of the results on the Semantic Web, in particular for reproducibility of simulations and analyses. Owing to its popularity, tool support, and role as the de facto standard for the Semantic Web, OWL was selected as the logical language for the formalization of the ontology. <br /> To capture the urban domain, the notion of change over time is a critical requirement: the population, family and household structures, transportation networks, and the locations of particular transportation vehicles (buses, household vehicles, and so on) are all subject to change.<br /> <br /> Change over time plays a role in many domains, and is by no means a new research topic. In fact, several approaches for capturing change in OWL have been proposed in the literature. Despite these solutions, we have found that Semantic Web practitioners currently lack clear and precise method for how to apply these approaches to capture change at a domain level, whether reusing an atemporal ontology or developing an ontology from scratch.<br /> |Aim=The work presented here aims to provide a straightforward, pattern-based guide to implementing a representation of change for any given domain. In particular, we provide consideration for the reuse of atemporal ontologies, as our experience has led us to believe that this is an important design task.<br /> |Solution=The solution is based on the 4D Fluents Ontology [2], as reinterpreted by Krieger [1].<br /> <br /> [1] Krieger, H.U.: Where temporal description logics fail: Representing temporally changing relationships. In: Annual Conference on Arti�cial Intelligence. pp. 249-257. Springer (2008)<br /> <br /> [2] Welty, C., Fikes, R., Makarios, S.: A reusable ontology for Fuents in owl. In: Formal Ontology in Information Systems (FOIS). vol. 150, pp. 226-236 (2006)<br /> |Implementation=A foundational ontology of change is to be imported. Then, based on the foundational classes of TimeVaryingConcept and Manifestation, a simple set of logical design patterns may be applied. A pragmatic guideline to support this process is provided in the accompanying paper submission.<br /> Several additional logical design patterns are identified, along with descriptions of how they could be employed to provide extended semantics in a representation beyond OWL (e.g. SWRL), should additional reasoning capabilities be required.<br /> |ReusableComponent=https://w3id.org/icity/iCity-Change<br /> }}<br /> {{Logical OP Example Template}}<br /> {{Logical OP Reference Template}}<br /> {{Additional information header}}<br /> <br /> {{Scenarios about me}}<br /> {{Reviews about me}}<br /> {{Modeling issues about me}}<br /> {{My references}}</div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=Submissions:Change_of_Time_Varying_Entities&diff=13262 2017-07-21T15:30:25Z

<p>MeganKatsumi: </p> <hr /> <div>{{Logical_OP_Proposal_toolbar}}<br /> {{Graphical representation header}}<br /> {{Graphical representation<br /> |ImageName=Before-after.png<br /> }}<br /> {{Logical OP General Template<br /> |Name=Change: Time Varying Entities<br /> |SubmittedBy=MeganKatsumi<br /> }}<br /> {{Logical OP Description Template<br /> |Motivation=This work is motivated by a project on urban informatics, iCity \cite{miller2014}, in which our role is to develop an ontology capable of representing the urban system -- both the information that is collected, as well as information that is simulated and analyzed by various research groups. Such an ontology would not only provide valuable integration and inference capabilities for the research groups internally, it would support sharing of the results on the Semantic Web, in particular for reproducibility of simulations and analyses. Owing to its popularity, tool support, and role as the de facto standard for the Semantic Web, OWL was selected as the logical language for the formalization of the ontology. <br /> To capture the urban domain, the notion of change over time is a critical requirement: the population, family and household structures, transportation networks, and the locations of particular transportation vehicles (buses, household vehicles, and so on) are all subject to change.<br /> <br /> Change over time plays a role in many domains, and is by no means a new research topic. In fact, several approaches for capturing change in OWL have been proposed in the literature. Despite these solutions, we have found that Semantic Web practitioners currently lack clear and precise method for how to apply these approaches to capture change at a domain level, whether reusing an atemporal ontology or developing an ontology from scratch.<br /> |Aim=The work presented here aims to provide a straightforward, pattern-based guide to implementing a representation of change for any given domain. In particular, we provide consideration for the reuse of atemporal ontologies, as our experience has led us to believe that this is an important design task.<br /> |Solution=The solution is based on the 4D Fluents Ontology [2], as reinterpreted by Krieger [1].<br /> <br /> [1] Krieger, H.U.: Where temporal description logics fail: Representing temporally changing relationships. In: Annual Conference on Arti�cial Intelligence. pp. 249-257. Springer (2008)<br /> <br /> [2] Welty, C., Fikes, R., Makarios, S.: A reusable ontology for Fuents in owl. In: Formal Ontology in Information Systems (FOIS). vol. 150, pp. 226-236 (2006)<br /> |Implementation=A foundational ontology of change is to be imported. Then, based on the foundational classes of TimeVaryingConcept and Manifestation, a simple set of logical design patterns may be applied. A pragmatic guideline to support this process is provided in the accompanying paper submission.<br /> Several additional logical design patterns are identified, along with descriptions of how they could be employed to provide extended semantics in a representation beyond OWL (e.g. SWRL), should additional reasoning capabilities be required.<br /> |ReusableComponent=https://w3id.org/icity/iCity-Change<br /> }}<br /> {{Logical OP Example Template}}<br /> {{Logical OP Reference Template}}<br /> {{Additional information header}}<br /> <br /> {{Scenarios about me}}<br /> {{Reviews about me}}<br /> {{Modeling issues about me}}<br /> {{My references}}</div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=Submissions:Change_of_Time_Varying_Entities&diff=13261 2017-07-21T15:30:09Z

<p>MeganKatsumi: </p> <hr /> <div>{{Logical_OP_Proposal_toolbar}}<br /> {{Graphical representation header}}<br /> {{Graphical representation<br /> |ImageName=Before-after.png<br /> }}<br /> {{Logical OP General Template<br /> |Name=Change: Time Varying Entities<br /> |SubmittedBy=MeganKatsumi<br /> }}<br /> {{Logical OP Description Template<br /> |Motivation=This work is motivated by a project on urban informatics, iCity \cite{miller2014}, in which our role is to develop an ontology capable of representing the urban system -- both the information that is collected, as well as information that is simulated and analyzed by various research groups. Such an ontology would not only provide valuable integration and inference capabilities for the research groups internally, it would support sharing of the results on the Semantic Web, in particular for reproducibility of simulations and analyses. Owing to its popularity, tool support, and role as the de facto standard for the Semantic Web, OWL was selected as the logical language for the formalization of the ontology. <br /> To capture the urban domain, the notion of change over time is a critical requirement: the population, family and household structures, transportation networks, and the locations of particular transportation vehicles (buses, household vehicles, and so on) are all subject to change.<br /> <br /> Change over time plays a role in many domains, and is by no means a new research topic. In fact, several approaches for capturing change in OWL have been proposed in the literature. Despite these solutions, we have found that Semantic Web practitioners currently lack clear and precise method for how to apply these approaches to capture change at a domain level, whether reusing an atemporal ontology or developing an ontology from scratch.<br /> |Aim=The work presented here aims to provide a straightforward, pattern-based guide to implementing a representation of change for any given domain. In particular, we provide consideration for the reuse of atemporal ontologies, as our experience has led us to believe that this is an important design task.<br /> |Solution=The solution is based on the 4D Fluents Ontology [2], as reinterpreted by Krieger [1].<br /> <br /> [1] Krieger, H.U.: Where temporal description logics fail: Representing temporally changing relationships. In: Annual Conference on Arti�cial Intelligence. pp. 249-257. Springer (2008)<br /> <br /> [2] Welty, C., Fikes, R., Makarios, S.: A reusable ontology for Fuents in owl. In: Formal Ontology in Information Systems (FOIS). vol. 150, pp. 226-236 (2006)<br /> |Implementation=A foundational ontology of change is to be imported. Then, based on the foundational classes of TimeVaryingConcept and Manifestation, a simple set of logical design patterns may be applied. A pragmatic guideline to support this process is provided in the accompanying paper submission.<br /> Several additional logical design patterns are identified, along with descriptions of how they could be employed to provide extended semantics in a representation beyond OWL (e.g. SWRL), should additional reasoning capabilities be required.<br /> |ReusableComponent=https://w3id.org/icity/iCity-Change<br /> }}<br /> {{Logical OP Example Template}}<br /> {{Logical OP Reference Template}}<br /> {{Additional information header}}<br /> <br /> {{Scenarios about me}}<br /> {{Reviews about me}}<br /> {{Modeling issues about me}}<br /> {{My references}}<br /> {{Submission to event<br /> |Event=WOP:2017<br /> }}</div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=File:Complex_ex.png&diff=13260 2017-07-21T15:10:20Z

<p>MeganKatsumi: An example of a complex precondition implemented with the Activity Specification pattern.</p> <hr /> <div>An example of a complex precondition implemented with the Activity Specification pattern.</div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=File:Simple_ex.png&diff=13259 2017-07-21T15:09:04Z

<p>MeganKatsumi: A simple example of the Activity Specification pattern.</p> <hr /> <div>A simple example of the Activity Specification pattern.</div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=Submissions:Change_of_Time_Varying_Entities&diff=13258 2017-07-21T14:28:48Z

<p>MeganKatsumi: </p> <hr /> <div>{{Logical_OP_Proposal_toolbar}}<br /> {{Graphical representation header}}<br /> {{Graphical representation<br /> |ImageName=Before-after.png<br /> }}<br /> {{Logical OP General Template<br /> |Name=Change: Time Varying Entities<br /> |SubmittedBy=MeganKatsumi<br /> }}<br /> {{Logical OP Description Template<br /> |Motivation=This work is motivated by a project on urban informatics, iCity \cite{miller2014}, in which our role is to develop an ontology capable of representing the urban system -- both the information that is collected, as well as information that is simulated and analyzed by various research groups. Such an ontology would not only provide valuable integration and inference capabilities for the research groups internally, it would support sharing of the results on the Semantic Web, in particular for reproducibility of simulations and analyses. Owing to its popularity, tool support, and role as the de facto standard for the Semantic Web, OWL was selected as the logical language for the formalization of the ontology. <br /> To capture the urban domain, the notion of change over time is a critical requirement: the population, family and household structures, transportation networks, and the locations of particular transportation vehicles (buses, household vehicles, and so on) are all subject to change.<br /> <br /> Change over time plays a role in many domains, and is by no means a new research topic. In fact, several approaches for capturing change in OWL have been proposed in the literature. Despite these solutions, we have found that Semantic Web practitioners currently lack clear and precise method for how to apply these approaches to capture change at a domain level, whether reusing an atemporal ontology or developing an ontology from scratch.<br /> |Aim=The work presented here aims to fill this gap by providing a straightforward, pattern-based guide to implementing a representation of change for any given domain. In particular, we provide consideration for the reuse of atemporal ontologies, as our experience has led us to believe that this is an important design task.<br /> |Solution=The solution is based on the 4D Fluents Ontology [2], as reinterpreted by Krieger [1].<br /> <br /> [1] Krieger, H.U.: Where temporal description logics fail: Representing temporally changing relationships. In: Annual Conference on Arti�cial Intelligence. pp. 249-257. Springer (2008)<br /> <br /> [2] Welty, C., Fikes, R., Makarios, S.: A reusable ontology for Fuents in owl. In: Formal Ontology in Information Systems (FOIS). vol. 150, pp. 226-236 (2006)<br /> |Implementation=A foundational ontology of change is to be imported. Then, based on the foundational classes of TimeVaryingConcept and Manifestation, a simple set of logical design patterns may be applied. A pragmatic guideline to support this process is provided in the accompanying paper submission.<br /> Several additional logical design patterns are identified, along with descriptions of how they could be employed to provide extended semantics in a representation beyond OWL (e.g. SWRL), should additional reasoning capabilities be required.<br /> |ReusableComponent=https://w3id.org/icity/iCity-Change<br /> }}<br /> {{Logical OP Example Template}}<br /> {{Logical OP Reference Template}}<br /> {{Additional information header}}<br /> <br /> {{Scenarios about me}}<br /> {{Reviews about me}}<br /> {{Modeling issues about me}}<br /> {{My references}}<br /> {{Submission to event<br /> |Event=WOP:2017<br /> }}</div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=Submissions:Change_of_Time_Varying_Entities&diff=13257 2017-07-21T14:27:34Z

<p>MeganKatsumi: </p> <hr /> <div>{{Logical_OP_Proposal_toolbar}}<br /> {{Graphical representation header}}<br /> {{Graphical representation<br /> |ImageName=Before-after.png<br /> }}<br /> {{Logical OP General Template<br /> |Name=Change Logical OP<br /> |SubmittedBy=MeganKatsumi<br /> }}<br /> {{Logical OP Description Template<br /> |Motivation=This work is motivated by a project on urban informatics, iCity \cite{miller2014}, in which our role is to develop an ontology capable of representing the urban system -- both the information that is collected, as well as information that is simulated and analyzed by various research groups. Such an ontology would not only provide valuable integration and inference capabilities for the research groups internally, it would support sharing of the results on the Semantic Web, in particular for reproducibility of simulations and analyses. Owing to its popularity, tool support, and role as the de facto standard for the Semantic Web, OWL was selected as the logical language for the formalization of the ontology. <br /> To capture the urban domain, the notion of change over time is a critical requirement: the population, family and household structures, transportation networks, and the locations of particular transportation vehicles (buses, household vehicles, and so on) are all subject to change.<br /> <br /> Change over time plays a role in many domains, and is by no means a new research topic. In fact, several approaches for capturing change in OWL have been proposed in the literature. Despite these solutions, we have found that Semantic Web practitioners currently lack clear and precise method for how to apply these approaches to capture change at a domain level, whether reusing an atemporal ontology or developing an ontology from scratch.<br /> |Aim=The work presented here aims to fill this gap by providing a straightforward, pattern-based guide to implementing a representation of change for any given domain. In particular, we provide consideration for the reuse of atemporal ontologies, as our experience has led us to believe that this is an important design task.<br /> |Solution=The solution is based on the 4D Fluents Ontology [2], as reinterpreted by Krieger [1].<br /> <br /> [1] Krieger, H.U.: Where temporal description logics fail: Representing temporally changing relationships. In: Annual Conference on Arti�cial Intelligence. pp. 249-257. Springer (2008)<br /> <br /> [2] Welty, C., Fikes, R., Makarios, S.: A reusable ontology for Fuents in owl. In: Formal Ontology in Information Systems (FOIS). vol. 150, pp. 226-236 (2006)<br /> |Implementation=A foundational ontology of change is to be imported. Then, based on the foundational classes of TimeVaryingConcept and Manifestation, a simple set of logical design patterns may be applied. A pragmatic guideline to support this process is provided in the accompanying paper submission.<br /> Several additional logical design patterns are identified, along with descriptions of how they could be employed to provide extended semantics in a representation beyond OWL (e.g. SWRL), should additional reasoning capabilities be required.<br /> |ReusableComponent=https://w3id.org/icity/iCity-Change<br /> }}<br /> {{Logical OP Example Template}}<br /> {{Logical OP Reference Template}}<br /> {{Additional information header}}<br /> <br /> {{Scenarios about me}}<br /> {{Reviews about me}}<br /> {{Modeling issues about me}}<br /> {{My references}}<br /> {{Submission to event<br /> |Event=WOP:2017<br /> }}</div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=Submissions:Change_of_Time_Varying_Entities&diff=13256 2017-07-21T13:49:04Z

<p>MeganKatsumi: </p> <hr /> <div>{{Logical_OP_Proposal_toolbar}}<br /> {{Graphical representation header}}<br /> {{Graphical representation<br /> |ImageName=Before-after.png<br /> }}<br /> {{Logical OP General Template<br /> |Name=Change Logical OP<br /> |SubmittedBy=MeganKatsumi<br /> }}<br /> {{Logical OP Description Template<br /> |Motivation=This work is motivated by a project on urban informatics, iCity \cite{miller2014}, in which our role is to develop an ontology capable of representing the urban system -- both the information that is collected, as well as information that is simulated and analyzed by various research groups. Such an ontology would not only provide valuable integration and inference capabilities for the research groups internally, it would support sharing of the results on the Semantic Web, in particular for reproducibility of simulations and analyses. Owing to its popularity, tool support, and role as the de facto standard for the Semantic Web, OWL was selected as the logical language for the formalization of the ontology. <br /> To capture the urban domain, the notion of change over time is a critical requirement: the population, family and household structures, transportation networks, and the locations of particular transportation vehicles (buses, household vehicles, and so on) are all subject to change.<br /> <br /> Change over time plays a role in many domains, and is by no means a new research topic. In fact, several approaches for capturing change in OWL have been proposed in the literature. Despite these solutions, we have found that Semantic Web practitioners currently lack clear and precise method for how to apply these approaches to capture change at a domain level, whether reusing an atemporal ontology or developing an ontology from scratch.<br /> |Aim=The work presented here aims to fill this gap by providing a straightforward, pattern-based guide to implementing a representation of change for any given domain. In particular, we provide consideration for the reuse of atemporal ontologies, as our experience has led us to believe that this is an important design task.<br /> |Solution=The solution is based on the 4D Fluents Ontology [2], as reinterpreted by Krieger [1].<br /> <br /> [1] Krieger, H.U.: Where temporal description logics fail: Representing temporally changing relationships. In: Annual Conference on Arti�cial Intelligence. pp. 249-257. Springer (2008)<br /> <br /> [2] Welty, C., Fikes, R., Makarios, S.: A reusable ontology for Fuents in owl. In: Formal Ontology in Information Systems (FOIS). vol. 150, pp. 226-236 (2006)<br /> |Implementation=A foundational ontology of change is to be imported. Then, based on the foundational classes of TimeVaryingConcept and Manifestation, a simple set of logical design patterns may be applied. A pragmatic guideline to support this process is provided in the accompanying paper submission.<br /> Several additional logical design patterns are identified, along with descriptions of how they could be employed to provide extended semantics in a representation beyond OWL (e.g. SWRL), should additional reasoning capabilities be required.<br /> |ReusableComponent=https://w3id.org/icity/iCity-Change<br /> }}<br /> {{Logical OP Example Template}}<br /> {{Logical OP Reference Template}}<br /> {{Additional information header}}<br /> <br /> {{Scenarios about me}}<br /> {{Reviews about me}}<br /> {{Modeling issues about me}}<br /> {{My references}}</div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=Submissions:Change_of_Time_Varying_Entities&diff=13255 2017-07-21T13:45:43Z

<p>MeganKatsumi: This pattern supports the implementation of a representation of change for any given domain.</p> <hr /> <div>{{Logical_OP_Proposal_toolbar}}<br /> {{Graphical representation header}}<br /> {{Graphical representation<br /> |ImageName=Before-after.png<br /> }}<br /> {{Logical OP General Template<br /> |Name=Change Logical OP<br /> |SubmittedBy=MeganKatsumi<br /> }}<br /> {{Logical OP Description Template<br /> |Motivation=This work is motivated by a project on urban informatics, iCity \cite{miller2014}, in which our role is to develop an ontology capable of representing the urban system -- both the information that is collected, as well as information that is simulated and analyzed by various research groups. Such an ontology would not only provide valuable integration and inference capabilities for the research groups internally, it would support sharing of the results on the Semantic Web, in particular for reproducibility of simulations and analyses. Owing to its popularity, tool support, and role as the de facto standard for the Semantic Web, OWL was selected as the logical language for the formalization of the ontology. <br /> To capture the urban domain, the notion of change over time is a critical requirement: the population, family and household structures, transportation networks, and the locations of particular transportation vehicles (buses, household vehicles, and so on) are all subject to change.<br /> <br /> Change over time plays a role in many domains, and is by no means a new research topic. In fact, several approaches for capturing change in OWL have been proposed in the literature. Despite these solutions, we have found that Semantic Web practitioners currently lack clear and precise method for how to apply these approaches to capture change at a domain level, whether reusing an atemporal ontology or developing an ontology from scratch. <br /> |Aim=The work presented here aims to fill this gap by providing a straightforward, pattern-based guide to implementing a representation of change for any given domain. In particular, we provide consideration for the reuse of atemporal ontologies, as our experience has led us to believe that this is an important design task. <br /> |Solution=The solution is based on the 4D Fluents Ontology [2], as reinterpreted by Krieger [1].<br /> <br /> [1] Krieger, H.U.: Where temporal description logics fail: Representing temporally changing relationships. In: Annual Conference on Arti�cial Intelligence. pp. 249-257. Springer (2008)<br /> <br /> [2] Welty, C., Fikes, R., Makarios, S.: A reusable ontology for Fuents in owl. In: Formal Ontology in Information Systems (FOIS). vol. 150, pp. 226-236 (2006)<br /> |Implementation=A foundational ontology of change is to be imported. Then, based on the foundational classes of TimeVaryingConcept and Manifestation, a simple set of logical design patterns may be applied. A pragmatic guideline to support this process is provided in the accompanying paper submission.<br /> Several additional logical design patterns are identified, along with descriptions of how they could be employed to provide extended semantics in a representation beyond OWL (e.g. SWRL), should additional reasoning capabilities be required.<br /> }}<br /> {{Logical OP Example Template}}<br /> {{Logical OP Reference Template}}<br /> {{Additional information header}}<br /> <br /> {{Scenarios about me}}<br /> {{Reviews about me}}<br /> {{Modeling issues about me}}<br /> {{My references}}</div>

MeganKatsumi http://ontologydesignpatterns.org/index.php?title=File:Before-after.png&diff=13254 2017-07-21T13:35:26Z

<p>MeganKatsumi: Example definition of Vehicle before and after the application of the logical design patterns for capturing change.</p> <hr /> <div>Example definition of Vehicle before and after the application of the logical design patterns for capturing change.</div>

MeganKatsumi