:: ebiquity research group :: csee :: umbc :: :: :: an ontology for context-aware pervasive...

39
:: Ebiquity Research Group :: CSEE :: UMBC :: :: :: :: :: An Ontology for Context-Aware An Ontology for Context-Aware Pervasive Computing Pervasive Computing Environments Environments Harry Chen, Tim Finin, Anupam Joshi UMBC IJCAI 2003 - ODS

Upload: river-reddin

Post on 14-Dec-2015

225 views

Category:

Documents


1 download

TRANSCRIPT

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

An Ontology for Context-Aware An Ontology for Context-Aware Pervasive Computing EnvironmentsPervasive Computing Environments

Harry Chen, Tim Finin, Anupam Joshi

UMBC

IJCAI 2003 - ODS

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

OverviewOverview

• Introduction• Issues in pervasive context-aware systems

• OWL in context-aware systems• Key uses of OWL and SW ontologies

• Context Broker Architecture• CoBrA ontologies and use cases

• Conclusions

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

Computing Evolution …Computing Evolution …

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

The VisionThe Vision

• Pervasive Computing: a natural extension of the present human computing life style• Using computing technologies will be as

natural as using other non-computing technologies (e.g., pen, paper, and cups)

• Computing services will be something that is available anytime and anywhere.

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

Yesterday: Gadget RulesYesterday: Gadget Rules

Cool toys…

Too bad they can’t talk to each other…

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

Today: Communication RulesToday: Communication Rules

Sync. Download. Done.

Configuration? Too much

work…

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

Tomorrow: Services Will RuleTomorrow: Services Will Rule

Thank God! Pervasive

Computing is here.

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

One Step Towards the VisionOne Step Towards the Vision

• Context-aware systems: computer systems that can anticipate the needs of users and act in advance by “understanding” their context• Systems know I am the speaker• Systems know you are the audiences• Systems know we are in a meeting• …

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

ContextsContexts

• By context, we mean the situational conditions that are associated with a user• Location, room temperature, lighting

conditions, noise level, social activities, user intentions, user beliefs, user roles, personal information etc.

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

Research IssuesResearch Issues

• Context Modeling & Reasoning • How to build representations of context that can be

processed and reasoned about by the computers

• Knowledge Maintenance & Sharing• How to maintain consistent knowledge about the

context and share that information with other systems

• User Privacy Protection• How to give users the control of their situational

information (e.g., information acquired by the hidden sensors)

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

OWL in Context-Aware SystemsOWL in Context-Aware Systems

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

The OWL LanguageThe OWL Language

• A Semantic Web language for defining web ontologies (classes, properties, and restrictions), sponsored by W3C

• Extends the KR models defined in RDF & RDF-S.

• RDF/XML is the normative exchange format.

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

Key Uses of OWL (1)Key Uses of OWL (1)

• Use OWL to define ontologies of context • people, devices, events, time, space etc.

• Use the ontology semantics of OWL to reason about context• Deduce context knowledge that can’t be

directly acquired from the sensors• Detect inconsistent knowledge that results

from imperfect sensing

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

Key Uses of OWL (2)Key Uses of OWL (2)

• Use OWL (RDF/XML) as the KR language for knowledge sharing• Knowledge sharing => minimizing the cost of and

redundancy in context sensing

• Use OWL as a meta-language to define other languages that are used in context-aware systems• Policy languages for privacy and security• Content languages for agent communications

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

Context Broker ArchitectureContext Broker Architecture

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

Context Broker ArchitectureContext Broker Architecture

SemanticWeb

PervasiveComputing

Software Agents

CoBrACoBrA

CoBrA not CORBA!

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

ObjectivesObjectives

• Developing an agent architecture to support pervasive context-aware systems• Provides ontologies for context modeling and

reasoning• Includes a logic inference engine to reason with

contextual information and to detect and resolve inconsistent context knowledge

• Defines a policy language that users can use to control the use and the sharing of their context information

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

A Bird’s Eye View of CoBrAA Bird’s Eye View of CoBrA

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

An EasyMeeting ScenarioAn EasyMeeting Scenario

Alice enters a conference room

The broker detects Alice’s presence

B

Policy says, “can share with any agents in the room”

A

B

The broker buildsthe context model

Web

Alice “beams” her policy to the broker

B

Policy says, “inform my personal agent of my location”

AB .. isLocatedIn ..

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

An EasyMeeting ScenarioAn EasyMeeting Scenario

Her agent informs the broker of her

role and intentions

+

The broker tells herlocation to her agent

A

The projector agent wants to help Alice

The projector agentasks slide show info.

B

The projector agent sets up the slides

The broker informsthe subscribed agents

B

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

CoBrA Research RoadmapCoBrA Research Roadmap

Jan 2003 Mar 2003 Jun 2003

F-OWL (v0.2) F-OWL (v0.3)

EasyMeeting (v0.1)

CoBrA-Ont (v0.1) CoBrA-Ont (v0.2) CoBrA-Ont (v0.3)

Ontologies for modeling contexts (114 Classes, 124 Properties) A prototype of an intelligent meeting room built on CoBrAAn OWL reasoner built on Flora-2 (F-logic) in XSB(Full RDF-S and OWL-Lite; some OWL-DL)

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

The CoBrA OntologyThe CoBrA Ontology

• Goal: it attempts to capture a set of common ontologies for describing• People, places, devices, agents, services

and non-computing objects in an intelligent meeting room environment

• The properties and relationships between these entities and the environment

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

The CoBrA Ontology (v0.2)The CoBrA Ontology (v0.2)

Ontology for “Place”

Ontology for “Agent”

Ontology for “Agent’s Location Context”

Ontology for“Agent’s Activity Context”

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

Versions of the OntologyVersions of the Ontology

• Our paper describes version 0.2• http://daml.umbc.edu/ontologies/cobra/0.2/cobra-ont

• The latest version is 0.3• http://daml.umbc.edu/ontologies/cobra/0.3/

• What’ new in 0.3• Ontologies are grouped into 6 different OWL

documents • Added DAML-time ontology and FIPA device

ontology• Redo events and people ontologies• And more…

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

An Example: Location ContextAn Example: Location Context

• Part 1: define vocabularies for talking about places on a university campus• OWL Classes: Campus, Building, Room,

Restroom, Hallway, Stairway etc.

• Part 2: define properties and relationships of different places• OWL Classes: AtomicPlace & CompoundPlace• OWL Properties: isSpatiallySubsumedBy &

spatiallySubsumes

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

Places in CoBrAPlaces in CoBrA

Place

CompoundPlaceAtomicPlace

RoomStairway

Hallway

Restroom

ParkingLotBuilding

Campus

… …

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

Places in CoBrAPlaces in CoBrA

Place

AtomicPlace

HallwayParkingLot

AtomicPlaceNotInBuilding…

Room Restroom Stairway

AtomicPlaceInBuilding

CompoundPlace

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

Where is Harry?Where is Harry?

• Premise (static knowledge): • R210 rdf:type Room.• ECS-Building spatiallySubsumes R210.• ECS-Building isSpatiallySubsumedBy UMBC.

• Premise (dynamic knowledge)• Harry isLocatedIn R210.

• Conclusion:• Harry isLocatedIn AtomicPlaceInBuilding.• Harry isLocatedIn ECS-Building.• Harry isLocatedIn UMBC.

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

Spotting Error in SensorsSpotting Error in Sensors• Premise (static knowledge):

• R210 rdf:type AtomicPlace.• ParkingLot-B rdf:type AtomicPlace.

• Premise (dynamic knowledge):• Harry isLocatedIn R210.• Harry isLocatedIn ParkingLot-B.

• Premise (domain knowledge):• No person can be located in two different

AtomicPlace during the same time interval.

• Conclusion:• There is an error in the knowledge base.

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

F-OWL (v0.3)F-OWL (v0.3)

• F-OWL is an implementation of the OWL inference rules in Flora-2.• Flora-2 is an F-Logic (Frame Logic) based

language in XSB (Prolog).• F-Logic is an object-oriented knowledge

representation language.

• Similar to TRIPLE, F-OWL defines the ontology models in rules.

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

An Example of F-OWLAn Example of F-OWL

animals:John a animals:Person.animals:Mark a animals:Person ; animals:hasFather animals:John.animals:hasFather rdfs:subPropertyOf animals:hasParent.animals:hasChild owl:inverseOf animals:hasParent.

Premises

QueryWho is John’s child? What classes does John belong to?Who are the parents of Mark?

F-OWL Queryanimals_John:Class [animals_hasChild -> X].animals_Mark [animals_hasParent -> X].

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

More about F-OWLMore about F-OWL

• F-OWL is still under development.• F-OWL v0.3 (as of today) supports a full

RDF-S inference and limited OWL inference (OWL-Lite and some OWL Full).

• http://umbc.edu/~hchen4/fowl/

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

Work In ProgressWork In Progress

• Adopting some censuses ontologies for modeling time and space (e.g., DAML spatial & temporal ontology, Region Connection Calculus (RCC), Allen’s temporal interval calculus)

• Implementing a rule based inference engine to reason about the temporal and spatial relations that are associated context events

• Using REI, a security policy language based on deontic concepts, to develop a policy-based systems to protect user privacy

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

Privacy Policy Use Case (1)Privacy Policy Use Case (1)

• The speaker doesn’t want others to know the specific room that he is in, but does want others to know that he is present on the school campus

• He defines the following policies:• Can share my location with a granularity of ~1 km

radius

• The broker: • isLocated(UMBC) => Yes!• isLocated(RM223) => I don’t know!

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

Privacy Policy Use Case (2)Privacy Policy Use Case (2)

• The problem of inference!• Knowing your phone + white pages => I

know where you live• Knowing your email address (.mil, .gov) =>

I know you works for the government

• The broker models the inference capability of other agents• mayKnow(X, homeAdd(Y)) :- know(X,phoneNum(Y))

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

CoBrA BlueprintsCoBrA Blueprints

QuickTime™ and aTIFF (Uncompressed) decompressorare needed to see this picture.

Mocha P4 PC

(19.8x16.1x6.2cm, 1250g)

B

Services

RoomBooker

SOAP/OWL

P

Personal Agent(FIPA/JADE)

FIPA-ACL/OWL

(Semantic Web)

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

ConclusionsConclusions

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

ConclusionsConclusions

• Semantic Web languages will play an important role in the future pervasive context-aware systems• It provides a means for modeling context and

reasoning about them. • It allows independently developed agents to share

context knowledge

• The Context Broker Architecture distinguishes itself from other frameworks in the use of Semantic Web technologies.

:: Ebiquity Research Group :: CSEE :: UMBC ::

:::: ::::

Questions?Questions?

• Harry Chen• http://umbc.edu/~hchen4/• Email: [email protected]

• eBiquity.ORG - a pervasive computing news portal• http://ebiquity.org/