Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.
-
Upload
marcus-perkins -
Category
Documents
-
view
217 -
download
0
Transcript of Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.
![Page 1: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/1.jpg)
Temporal Ontology
Shervin Daneshpajouhce.sharif.edu/~daneshpajouh
![Page 2: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/2.jpg)
12 April 2005-1384/1/23 2
Temporal Ontology
Pervasive Computing Environment Ontology and Pervasive Computing
– SOUPA– COBRA
Temporal Logic Ontology and Temporal Logic
– DAML-TIME– An Ontology of Time for the Semantic Web
![Page 3: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/3.jpg)
12 April 2005-1384/1/23 3
Temporal Ontology
Pervasive Computing Environment Ontology and Pervasive Computing
– SOUPA– COBRA
Temporal Logic Ontology and Temporal Logic
– DAML-TIME– An Ontology of Time for the Semantic Web
![Page 4: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/4.jpg)
12 April 2005-1384/1/23 4
Pervasive Computing EnvironmentYesterdayYesterday: Gadget Rules: Gadget Rules
Too bad they can’t talk to each other…
![Page 5: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/5.jpg)
12 April 2005-1384/1/23 5
Pervasive Computing EnvironmentToday: Communication RulesToday: Communication Rules
Configuration? Too much
work…
![Page 6: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/6.jpg)
12 April 2005-1384/1/23 6
Pervasive Computing Environment Tomorrow: Services Will RuleTomorrow: Services Will Rule
Thank God! Everything is done for me!
![Page 7: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/7.jpg)
12 April 2005-1384/1/23 7
Some Scenario
Shopping in Pervasive Computing Office in Pervasive Computing Hospital in Pervasive Computing
![Page 8: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/8.jpg)
12 April 2005-1384/1/23 8
Temporal Ontology
Pervasive Computing Environment Ontology and Pervasive Computing
– SOUPA– COBRA
Temporal Logic Ontology and Temporal Logic
– DAML-TIME– An Ontology of Time for the Semantic Web
![Page 9: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/9.jpg)
12 April 2005-1384/1/23 9
Ontology
Provide a formal, explicit specification of a shared conceptualization of a domain that can be communicated between people and heterogeneous and widely spread application systems
A formal explicit description of concepts in a domain of discourse (classes), properties of each concept describing various features and attributes of the concept (slot) and restrictions on these properties
![Page 10: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/10.jpg)
12 April 2005-1384/1/23 10
Ontology for Pervasive Computing
Provide meanings for terms when information exchange– Bridge knowledge gaps between different
domains– Enable knowledge sharing in open and dynamic
distributed systems– Allow devices and agents not expressly designed
to work together to interoperate (i.e. better device interoperability)
![Page 11: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/11.jpg)
12 April 2005-1384/1/23 11
Temporal Ontology
Pervasive Computing Environment Ontology and Pervasive Computing
– SOUPA– COBRA
Temporal Logic Ontology and Temporal Logic
– DAML-TIME– An Ontology of Time for the Semantic Web
![Page 12: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/12.jpg)
12 April 2005-1384/1/23 12
SOUPA
Standard Ontology for Ubiquitous and Pervasive Applications
Agust 2004
![Page 13: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/13.jpg)
12 April 2005-1384/1/23 13
SOUPA
FOAF friend of a friend DAML-Time OpenCyc Spatial Regional Connection Calculus Cobra Mogatu BDI Rei Policy
![Page 14: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/14.jpg)
12 April 2005-1384/1/23 14
![Page 15: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/15.jpg)
12 April 2005-1384/1/23 15
Temporal Ontology
Pervasive Computing Environment Ontology and Pervasive Computing
– SOUPA– COBRA
Temporal Logic Ontology and Temporal Logic
– DAML-TIME– An Ontology of Time for the Semantic Web
![Page 16: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/16.jpg)
12 April 2005-1384/1/23 16
COBRA - Context Broker Architecture
An agent based architecture for supporting context-aware systems in smart spaces (e.g., intelligent meeting rooms, smart homes, and smart vehicles).
Central to this architecture is an intelligent agent called Context broker
Context broker maintains a shared model of context on the behalf of a community of agents, services, and devices in the space and provides privacy protections for the users in the space by enforcing the policy rules that they define.
![Page 17: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/17.jpg)
12 April 2005-1384/1/23 17
Key differences between CoBrA and other similar architectures
CoBrA uses the Web Ontology Language OWL, a W3C Semantic Web standard, to define ontologies of context (people, agents, devices, events, time, space, etc.). In other systems, context is often implemented as programming language objects (e.g., Java classes), lacking the expressive power to support context reasoning and high-level knowledge sharing.
![Page 18: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/18.jpg)
12 April 2005-1384/1/23 18
Context Broker Architecture
CoBrA FeaturesCoBrA Features[1] Use Semantic Web languages for context modeling and reasoning
[2] Use logic inference to detect and resolve inconsistent context knowledge
[3] Extend the REI policy language for privacy protection
[4] Adopt the FIPA standards for communication & knowledge sharing
EasyMeeting an intelligent meeting room prototype that provides services for speakers, audience & organizers based on their situational needs.
![Page 19: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/19.jpg)
12 April 2005-1384/1/23 19
COBRA-ontology
![Page 20: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/20.jpg)
12 April 2005-1384/1/23 20
Temporal Ontology
Pervasive Computing Environment Ontology and Pervasive Computing
– SOUPA– COBRA
Temporal Logic Ontology and Temporal Logic
– DAML-TIME– An Ontology of Time for the Semantic Web
![Page 21: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/21.jpg)
12 April 2005-1384/1/23 21
Temporal Logic
Our “worlds” are the states in an execution. There is a linear relation between them, each
two sequences in our execution are ordered. Interpretation: over an execution, later over
all executions.
![Page 22: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/22.jpg)
12 April 2005-1384/1/23 22
Temporal Logic
Representing Time– Points in Time– Intervals
![Page 23: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/23.jpg)
12 April 2005-1384/1/23 23
Temporal Logic - Syntax
::= () | ¬ | /\ \/ U |O | p
“box”, “always”, “forever”
“diamond”, “eventually”, “sometimes”
O “nexttime”
U“until”
![Page 24: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/24.jpg)
12 April 2005-1384/1/23 24
Semantics over suffixes of execution
O
U
![Page 25: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/25.jpg)
12 April 2005-1384/1/23 25
Temporal Logic - Combinations
[]<>p “p will happen infinitely often”
<>[]p “p will happen from some point forever”.
![Page 26: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/26.jpg)
12 April 2005-1384/1/23 26
Temporal Logic - Combinations
([]<>p) --> ([]<>q) “If p happens infinitely often, then q also happens infinitely often”.
Mortal = LivingBeing (LivingBeing U [] not LivingBeing) “A living being that is alive until it dies”
![Page 27: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/27.jpg)
12 April 2005-1384/1/23 27
Temporal Ontology
Pervasive Computing Environment Ontology and Pervasive Computing
– SOUPA– COBRA
Temporal Logic Ontology and Temporal Logic
– DAML-TIME– An Ontology of Time for the Semantic Web
![Page 28: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/28.jpg)
12 April 2005-1384/1/23 28
Ontology And Temporal Logic
Ontologies for pervasive computing environments will require logical models that include spatial and temporal logic, geometry, and other quantitative reasoning.
It is unclear whether DAML+OIL should be extended to include additional logical concepts, or whether other kinds of markup languages should be developed for expressing concepts involving these quantitative aspects.
![Page 29: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/29.jpg)
12 April 2005-1384/1/23 29
Temporal Ontology
Pervasive Computing Environment Ontology and Pervasive Computing
– SOUPA– COBRA
Temporal Logic Ontology and Temporal Logic
– DAML-TIME– An Ontology of Time for the Semantic Web
![Page 30: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/30.jpg)
12 April 2005-1384/1/23 30
DAML-TIME
Class Hierarchy Thing ()
– TemporalEntity (before*) Instant () Interval (endOf*, inside*, startOf*) Property Hierarchy
– before – endOf – inside – startOf
http://www.ai.sri.com/daml/ontologies/sri-basic/1-0/Time.daml
![Page 31: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/31.jpg)
12 April 2005-1384/1/23 31
DAML-TIME
the temporal properties of Web pages and the temporal properties of Web services.
![Page 32: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/32.jpg)
12 April 2005-1384/1/23 32
Temporal Ontology
Pervasive Computing Environment Ontology and Pervasive Computing
– SOUPA– COBRA
Temporal Logic Ontology and Temporal Logic
– DAML-TIME– An Ontology of Time for the Semantic Web
![Page 33: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/33.jpg)
12 April 2005-1384/1/23 33
An Ontology of Time for the Semantic Web
TOPOLOGICAL TEMPORAL RELATIONS– Instants and Intervals– Before– Interval Relations– Linking Time and Events
![Page 34: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/34.jpg)
12 April 2005-1384/1/23 34
An Ontology of Time for the Semantic Web
TOPOLOGICAL TEMPORAL RELATIONS– Instants and Intervals
![Page 35: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/35.jpg)
12 April 2005-1384/1/23 35
An Ontology of Time for the Semantic Web
TOPOLOGICAL TEMPORAL RELATIONS– Before
![Page 36: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/36.jpg)
12 April 2005-1384/1/23 36
Summery
Pervasive Computing Environment Ontology and Pervasive Computing
– SOUPA– COBRA
Temporal Logic Ontology and Temporal Logic
– DAML-TIME– An Ontology of Time for the Semantic Web
![Page 37: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/37.jpg)
12 April 2005-1384/1/23 37
References
Ontologies in a Pervasive Computing Environment SOUPA: Standard Ontology for Ubiquitous and Pervasive
Applications, Harry Chen, Filip Perich, Tim Finin, Anupam Joshi, University of Maryland, Baltimore County, Agust 2004
An Ontology for Context-Aware Pervasive Computing Environments, Harry Chen, Tim Finin, and Anupam Joshi, Department of Computer Science and Electrical Engineering, University of Maryland Baltimore County
Semantic Web in a Pervasive ContextAware Architecture,
![Page 38: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/38.jpg)
12 April 2005-1384/1/23 38
References
Harry Chen, Tim Finin, Anupam Joshi, University of Maryland Baltimore County
Description Logic Handbook, chapter 6, Extensions to Description Logics
Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming, Hongwei Zhu, Stuart E. Madnick, Michael D. Siegel, 2004
Toward an Ontology of Time for the SemanticWeb, Jerry R. Hobbs 2004
The Specification Language TimeML, James Pustejovsky, Robert Ingria, Roser Saur´ı, Jos´e Casta˜no, Jessica Littman, Rob Gaizauskas, Andrea Setzer, Graham Katz, Inderjeet Mani, 2004
![Page 39: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/39.jpg)
12 April 2005-1384/1/23 39
References
An Ontology of Time for the Semantic Web, JERRY R. HOBBS and FENG PAN, 2004
Temporal Aggregates in OWL-Time, Feng Pan and Jerry R. Hobbs, 2005
IEEE First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services
Second IEEE Annual Conference on Pervasive Computing and Communcations Workshops-2004
http://www.ai.sri.com/daml/ http://cobra.umbc.edu http://swoogle.umbc.edu/ http://ebiquity.umbc.edu/
![Page 40: Temporal Ontology Shervin Daneshpajouh ce.sharif.edu/~daneshpajouh.](https://reader036.fdocuments.in/reader036/viewer/2022062809/5697bf901a28abf838c8dc3e/html5/thumbnails/40.jpg)
Any Question?
Thanks for your attention.