S4 fruct ian_oliver_30oct208

97
1 Semantic computation and the Future Semantic Web Ian Oliver Nokia Research Centre Helsinki, Finland FRUCT 2008 30 October 2008 Tampere, Finland 5 September 2008

Transcript of S4 fruct ian_oliver_30oct208

Page 1: S4 fruct ian_oliver_30oct208

1

Semantic computation and the Future Semantic Web

Ian OliverNokia Research CentreHelsinki, Finland

FRUCT 200830 October 2008Tampere, Finland

5 September 2008

Page 2: S4 fruct ian_oliver_30oct208

2

Contents

Part one:

Ancient History, Present and Future

• Web to Semantic Web

• Applications, Pages and Agents

Part two:

Technologies

•Semantic Computation

· Spaces and Agents

· Scalability

· What are Applications?

•Theoretical Underpinnings

· Graphs, Graph Structures

· Agents, Spaces

· Ontologies, Semantics

· Total Abstraction

•Demonstration

Page 3: S4 fruct ian_oliver_30oct208

3

Part One

Page 4: S4 fruct ian_oliver_30oct208

4

History

time20101990/2000

usenet

gopherftp

uucp

Page 5: S4 fruct ian_oliver_30oct208

5

History

time20101990/2000

Web 1.0

usenet

gopherftp

uucp

www

Page 6: S4 fruct ian_oliver_30oct208

6

History

time20101990/2000

Web 1.0

usenet

gopherftp

uucp

Web 2.0

tagging

flickr

facebook

maps

blogging

www

Page 7: S4 fruct ian_oliver_30oct208

7

History

time20101990/2000

Web 1.0

usenet

gopherftp

uucp

Web 2.0

tagging

flickr

facebook

maps

SemanticWeb

blogging

www

Page 8: S4 fruct ian_oliver_30oct208

8

History

time20101990/2000

Web 1.0

usenet

gopherftp

uucp

Web 2.0

tagging

flickr

facebook

maps

SemanticWeb Web 3.0

locationblogging

www

Page 9: S4 fruct ian_oliver_30oct208

9

History

time20101990/2000

Web 1.0

usenet

gopherftp

uucp

Web 2.0

tagging

flickr

facebook

maps

SemanticWeb

bloggingProgress

www

Web 3.0

location

Page 10: S4 fruct ian_oliver_30oct208

10

History

time20101990/2000

Web 1.0

usenet

gopherftp

uucp

Web 2.0

tagging

flickr

facebook

maps

SemanticWeb

blogging

SemanticComputation

www

Web 3.0

location

Page 11: S4 fruct ian_oliver_30oct208

11

Technologies - Applicationsm

atur

ity

time20101990/2000

Page 12: S4 fruct ian_oliver_30oct208

12

Technologies - Applicationsm

atur

ity

time20101990/2000

Device orientedSymbian, Windows, Linux

Applications

Page 13: S4 fruct ian_oliver_30oct208

13

Technologies - Applicationsm

atur

ity

time20101990/2000

local/internet connectivity

PIM

Office

Device orientedSymbian, Windows, Linux

Applications

Page 14: S4 fruct ian_oliver_30oct208

14

Technologies - Applicationsm

atur

ity

time20101990/2000

Device orientedSymbian, Windows, Linux

Applications

PIM

Office

local/internet connectivity

Page

Browser orientedFirefox, IE, SOA, IM ...

Page 15: S4 fruct ian_oliver_30oct208

15

Technologies - Applicationsm

atur

ity

time20101990/2000

Device orientedSymbian, Windows, Linux

Applications

PIM

Office

local/internet connectivity

Page

Lifeblog, Lifestyle,

Maps, Widsets, Applets

Browser orientedFirefox, IE, SOA, IM ...

location, internet enhanced,

content v presentation

Page 16: S4 fruct ian_oliver_30oct208

16

Technologies - Applicationsm

atur

ity

time20101990/2000

Device orientedSymbian, Windows, Linux

Applications

PIM

Office

local/internet connectivity

Page

Lifeblog, Lifestyle,

Maps, Widsets, Applets

Browser orientedFirefox, IE, SOA, IM ...

Agent?

location, internet enhanced,

content v presentation

Space orientedSedvice, SmartSpaces ...

Page 17: S4 fruct ian_oliver_30oct208

17

Technologies - Applicationsm

atur

ity

time20101990/2000

Device orientedSymbian, Windows, Linux

Applications

PIM

Office

local/internet connectivity

Page

Lifeblog, Lifestyle,

Maps, Widsets, Applets

Browser orientedFirefox, IE, SOA, IM ...

?

semantics, total integration, reasoning

location, internet enhanced,

content v presentation

Space orientedSedvice, SmartSpaces ...

Agent?

Page 18: S4 fruct ian_oliver_30oct208

18

Technologies - Applicationsm

atur

ity

time20101990/2000

Device orientedSymbian, Windows, Linux

Applications

PIM

Office

local/internet connectivity

Page

Lifeblog, Lifestyle,

Maps, Widsets, Applets

Browser orientedFirefox, IE, SOA, IM ...

?

semantics, total integration, reasoning

location, internet enhanced,

content v presentation

Space orientedSedvice, SmartSpaces ...

Agent

Web 1.0Web 2.0

Semantic WebWeb 3.0

Semantic Computation

Page 19: S4 fruct ian_oliver_30oct208

19

Part Two

Page 20: S4 fruct ian_oliver_30oct208

20

Web 1.x, 2.x, 3.x & Semantic Web Characteristics

Webs 1.0, 2.0, 3.0

• content oriented

·news, media

• user publishing

·user generated content

·personal content (gmail, flickr, geotagging etc)

·folksonomies, tagging

• search

·Google, Yahoo

Semantic Web

• information oriented

• classification

• rise of the ontology

· strict and structured

· enables reasoning, “AI” etc

• global information

• internet of things

• The Giant Global Graph

Page 21: S4 fruct ian_oliver_30oct208

21

Semantic Computation

Webs 1.0, 2.0

• content oriented

·news, media

• user publishing

·user generated content

·personal content (gmail, flickr, geotagging etc)

·folksonomies, tagging

• search

·Google, Yahoo

Semantic Web

• information oriented

• classification

• rise of the ontology

· strict and structured

· enables reasoning, “AI” etc

• global information

• internet of things

• The Giant Global Graph

+ a Model of Computation

Page 22: S4 fruct ian_oliver_30oct208

22

Semantic Computation – a definition

at least, an attempt at a definition...

“Semantic Computation takes the current Web x.y and Semantic Web concepts and unifies them into a global, ubiquitous computation framework that enables total integration of information in localised, personal contexts...”

Page 23: S4 fruct ian_oliver_30oct208

23

Semantic Computation - concepts

Return of the agent

• done before?

Return of the space

• done before?

Page 24: S4 fruct ian_oliver_30oct208

24

Semantic Computation - concepts

Return of the agent

• done before?

Return of the space

• done before?

Yes, but...

• it failed...where are the ubiquitous agents today?

Page 25: S4 fruct ian_oliver_30oct208

25

Semantic Computation - concepts

Return of the agent

• done before?

Return of the space

• done before?

Yes, but...

• it failed...where are the ubiquitous agents today?

• lack of infrastructure

• lack of ubiquitous computation resources

• lack of representation formats

• lack of classification hierarchies

• lack of standardisation

• lack of global understanding of semantics

Page 26: S4 fruct ian_oliver_30oct208

26

Semantic Computation – a definitionattempt 2

Context + Reasoning + Agents = Semantic Computation

Page 27: S4 fruct ian_oliver_30oct208

27

Semantic Computation – a definitionattempt 2

Context + Reasoning + Agents = Semantic Computation

Spaces provide the “closed” (bounded?) environments to compute in.

Page 28: S4 fruct ian_oliver_30oct208

28

Sedvice-M3

“An environment supporting an space and agent-based model of computation in a Semantic Web based Space providing for integration and interoperability between applications and devices through reasoning mechanisms”

Page 29: S4 fruct ian_oliver_30oct208

29

Sedvice-M3 Philosophy

•space-based computing environment

•multiple, individual autonomous spaces·local information, reasoning, logics, ontologies etc·distributed information

·distributed deductive closure·D(S1(Q) ∪S2(Q)) ≠D(S1 (Q)) ∪D(S2 (Q))

•information sharing·RDF, Semantic Web·ontologies, tagging, folksonomies

•applications·constructed from agents·autonomous, anonymous, distributed, mobile·control-flow through ontological means

·no control flow !!??·may be made ”outside” of the system via NoTA, UPnP, Webservicesetc

·semi-structured information·no strict ontology conformance·inconsistent information allowed!·free logics·non-monotonic

·semantics of information, belief and truthmaintenance responsibility of the reader(agent/actor)

·everything is information·everything is first-order

·first-order policy, security, belief and truststructures

Page 30: S4 fruct ian_oliver_30oct208

30

Sedvice-M3 Architecture

Connectivity

Information Storeadaptation

Storage

TCP/IPlistener

NoTAlistener

Bluetoothlistener

Asserthandler

Retracthandler

Queryhandler

Subscribehandler

Assertengine

Subscribeengine

Queryengine

Retractengine

Scheduler

Dynamicreasoners

Operationrewritingengine

Objectrewritingengine

Transactionprocessing

...

SSAPhandler

SOAPhandler

SyncMLhandler ...

Protocolhandlers

RDF store Local storage External storage

Object storage

Smart Space Node

communication media

Ontological Convenience Libraries/Functionality

Page 31: S4 fruct ian_oliver_30oct208

31

Sedvice-M3 Architecture

Connectivity

Information Storeadaptation

Storage

TCP/IPlistener

NoTAlistener

Bluetoothlistener

Asserthandler

Retracthandler

Queryhandler

Subscribehandler

Assertengine

Subscribeengine

Queryengine

Retractengine

Scheduler

Dynamicreasoners

Operationrewritingengine

Objectrewritingengine

Transactionprocessing

...

SSAPhandler

SOAPhandler

SyncMLhandler ...

Protocolhandlers

RDF store Local storage External storage

Object storage

Smart Space Node

communication media

Ontological Convenience Libraries/Functionality

Messagesynthesizer

Router

Planner(lookup)

Caching

Distribution

Page 32: S4 fruct ian_oliver_30oct208

32

Sedvice-M3 Architecture

Connectivity

Information Storeadaptation

Storage

TCP/IPlistener

NoTAlistener

Bluetoothlistener

Asserthandler

Retracthandler

Queryhandler

Subscribehandler

Assertengine

Subscribeengine

Queryengine

Retractengine

Scheduler

Dynamicreasoners

Operationrewritingengine

Objectrewritingengine

Transactionprocessing

...

SSAPhandler

SOAPhandler

SyncMLhandler ...

Protocolhandlers

RDF store Local storage External storage

Object storage

Smart Space Node

communication media

Ontological Convenience Libraries/Functionality

Messagesynthesizer

Router

Planner(lookup)

Caching

Distribution

Policy,Security and Trust

Page 33: S4 fruct ian_oliver_30oct208

33

Sedvice – Interal vs External Reasoning

External Reasoning

• by agent

• by shared space

Intenal Reasoning

•statically

·RDF++, RDF#?

·deductive closure calculation

•internal agents

·restricted execution environment

Connectivity

Information Storeadaptation

Storage

TCP/IPlistener

NoTAlistener

Bluetoothlistener

Asserthandler

Retracthandler

Queryhandler

Subscribehandler

Assertengine

Subscribeengine

Queryengine

Retractengine

Scheduler

Dynamicreasoners

Operationrewritingengine

Objectrewritingengine

Transactionprocessing

...

SSAPhandler

SOAPhandler

SyncMLhandler ...

Protocolhandlers

RDF store Local storage External storage

Object storage

Smart Space Node

communication media

Ontological Convenience Libraries/Functionality

Connectivity

Information Storeadaptation

Storage

TCP/IPlistener

NoTAlistener

Bluetoothlistener

Asserthandler

Retracthandler

Queryhandler

Subscribehandler

Assertengine

Subscribeengine

Queryengine

Retractengine

Scheduler

Dynamicreasoners

Operationrewritingengine

Objectrewritingengine

Transactionprocessing

...

SSAPhandler

SOAPhandler

SyncMLhandler ...

Protocolhandlers

RDF store Local storage External storage

Object storage

Smart Space Node

communication media

Ontological Convenience Libraries/Functionality

Page 34: S4 fruct ian_oliver_30oct208

34

Scalability

Dynamic Information

Structure

Free-form Databases

Traditional Fixed Schema Databases

Local Information

Sharing

Information Dynamicity

Scal

abili

ty (t

oday

)

Mb

Gb

Tb

Eb

Pb

Page 35: S4 fruct ian_oliver_30oct208

35

Scalability

Dynamic Information

Structure

Free-form Databases

Traditional Fixed Schema Databases

Local Information

Sharing

Information Dynamicity

Scal

abili

ty (t

oday

)

Mb

Gb

Tb

Eb

Pb

Sedvice

Tripcom

Oracle

Google

Everybit

Yahoo

IBM DB/2

Page 36: S4 fruct ian_oliver_30oct208

36

Application Construction

Highly Structured

Highly Unstructured

Application Construction

Page 37: S4 fruct ian_oliver_30oct208

37

Application Construction

Highly Structured

Highly Unstructured

Application Construction

Yahoo Pipes

Traditional/Legacy Application

Devleopment

Nokia Widsets

Traditional Agents

Sedvice-M3 Agents

Page 38: S4 fruct ian_oliver_30oct208

38

Applications

Traditional applications

•monolithic

•single purpose

•difficult to expand and enhance

•fixed focus

•integration with other applications

·impossible in an ad hoc manner

Page 39: S4 fruct ian_oliver_30oct208

39

Applications

Semantic Computation based applications

•appearance decided by user

•UI functionality

•individual agent-based parts

•information gathered from numerous sources

•reasoning about information

·eg: weather reports as email

·friends = contacts

·locations = contacts

·etc

•functionality is emergent

Page 40: S4 fruct ian_oliver_30oct208

40

Applications

Semantic Computation based applications

•granularity can be extremely fine

Page 41: S4 fruct ian_oliver_30oct208

41

Applications

Semantic Computation based applications

•each individual agent can exist outside of the hosting UI concept

·emergent functionality

•each agent manages its “non-exclusive”area of expertise and information

Page 42: S4 fruct ian_oliver_30oct208

42

Examples

• Simple Application Interaction • Nokia Sports Tracker

·writes current exercise information to a space

• Game

·subscribes for whether user has exercised recently

·awards extra (or less!) lives depending upon the above

•Jukka Honkola, Hannu Laine et al…

SportsTracker Game

Page 43: S4 fruct ian_oliver_30oct208

43

Examples

• Complex Interaction •Chat

·“traditional” IM-style chat

• Weather Feed

·obtains weather reports for a set of given cities

ChatWeather

Page 44: S4 fruct ian_oliver_30oct208

44

Examples

• Complex Interaction •Chat

·“traditional” IM-style chat

• Weather Feed

·obtains weather reports for a set of given cities

• Integrator

·Monitors chat for city names and injects weather reports into chat as conversation messages (multiple typing!)

ChatWeather

Integrator

Page 45: S4 fruct ian_oliver_30oct208

45

Chat…

•Atomic Functionalty = AgentMessage writer

Message reader

Conversation joiner

Conversation watcher

Page 46: S4 fruct ian_oliver_30oct208

46

Chat…

•Atomic Functionalty = Agent

•Each agent is then responsible for a certain subset of the “ontology(ies)”used in the “application”

Message writer

Message reader

Conversation joiner

Conversation watcher

Page 47: S4 fruct ian_oliver_30oct208

47

Chat…

•Agents now may be distributed across multiple devices and communicate through various, related spaces

•A certain number of agents are required to fulfill the application

·exact number depends upon the situation

·too many/too little = application degeneration

type

type type

tagtag

tag

tag

type

type type

tagtag

tag

tag

Page 48: S4 fruct ian_oliver_30oct208

48

Possibilities…

•Personal

•Home

•CityScape

·tourism

·local context

·airport

·tracking

•Work

+ any combination thereof…

·feeder information

·ad hoc social blogging

·???

type

type type

tagtag

tag

tag

type

type type

tagtag

tag

tag

Page 49: S4 fruct ian_oliver_30oct208

49

Theoretical Underpinnings - Graph

Information is a (directed) graph

·RDF + Reasoning

·RDF++ / Wilbur

·Everything is first-class

Page 50: S4 fruct ian_oliver_30oct208

50

Theoretical Underpinnings - Graph

Within a graph information may be typed according to some ontology

or, tagged according to some folksonomy

or, both

type

type type

tagtag

tag

tag

Page 51: S4 fruct ian_oliver_30oct208

51

Theoretical Underpinnings – Graph Structures

RDF Graph = mathematical graph + additional constraints and deduction

· Γ, ∀x∈X,X⊆Y,Y⊆Z ⇒ X⊆Z ∴∀x∈ Z

· these rules can be modified by the space’s logic

• Deduction is performed at query-time, ie: dyamically

· some spaces might perform deduction at insert-time

Page 52: S4 fruct ian_oliver_30oct208

52

Theoretical Underpinnings – Graph Structures

Two extremes:

RDF Triple

RDF Graph

Page 53: S4 fruct ian_oliver_30oct208

53

Theoretical Underpinnings – Graph Structures

Two extremes:

RDF Triple

RDF Graph

Page 54: S4 fruct ian_oliver_30oct208

54

Theoretical Underpinnings – Graph Structures

Finer grained mechanisms necessary

RDF Triple

RDF Graph

MoleculeSubgraphScope }

Page 55: S4 fruct ian_oliver_30oct208

55

Theoretical Underpinnings – Scopes & Reflection

First-order characteristics of scope

•Reflection

•Scopes can be composed

•Scopes require additional operators (other than graph traversal)

· union

· intersection

· guards/pre-conditions

· etc

·RDF as its own programming language as well as representation?

Page 56: S4 fruct ian_oliver_30oct208

56

Theoretical Underpinnings – Operations

Four basic operations

• graph insertion

insert{(a,p,b)}

a cp

a cp

bp

Page 57: S4 fruct ian_oliver_30oct208

57

Theoretical Underpinnings – Operations

Four basic operations

• graph insertion

• graph retraction

retract{(a,p,c)}

a

p

p

a

bp

Page 58: S4 fruct ian_oliver_30oct208

58

Theoretical Underpinnings – Operations

Four basic operations

• graph insertion

• graph retraction

• query

·synchronous

·WQL, SPARQL, whatever…

query( a.p )

a cp

bp

c b{ }

Page 59: S4 fruct ian_oliver_30oct208

59

Theoretical Underpinnings – Operations

Four basic operations

• graph insertion

• graph retraction

• query

·synchronous

·WQL, SPARQL, whatever…

•subscription

·persistent query

subscribe( a.p )

a cp

bp

c b{ }

insert{(a,p,d)}

a cp

bp d

dreturns:

Page 60: S4 fruct ian_oliver_30oct208

60

Theoretical Underpinnings – Intentional Semantics

Interpretation to some semantic grounding is made on a per agent basis

ontologies and folksonomies provide assistance only...

type

type type

tagtag

tag

tag

agent1 agent2

semantic domains

interpretsinterprets

grounding grounding

Page 61: S4 fruct ian_oliver_30oct208

61

Theoretical Underpinnings - Intentional Semantics

Interpretation to some semantic grounding is made on a per agent basis

ontologies and folksonomies provide assistance only...

...which helps in ensuring that a common interpretation is made

· at least a common enough interpretation

type

type type

tagtag

tag

tag

agent1 agent2

semantic domains

interpretsinterprets

groundinggrounding

Page 62: S4 fruct ian_oliver_30oct208

62

Theoretical Underpinnings - Intentional Semantics

Semantics is intentional rather than fixed.

The agent writing a given piece of information provides meta-information (type, tag, other properties, relationships etc) to indicate its intention how that piece of information should be interpreted

cf: duck-typing, mixins, multiple-inheritance, undecidablity, description logic decision procedures etc...

type

type type

tagtag

tag

tag

agent1 agent2

semantic domains

interpretsinterprets

groundinggrounding

Page 63: S4 fruct ian_oliver_30oct208

63

Theoretical Underpinnings – Agent Interoperability

Agents operate over a given subset of information

· deliniated by ontology, tagging and the semantic area of that agent

· the agent interprets that information according to its semantic grounding

agent1

semantic domain

instantiated information

conforms to

grounding

uses

Page 64: S4 fruct ian_oliver_30oct208

64

Theoretical Underpinnings – Agent Interoperability

Two agents “communicate” if there is intersection between the information they are using

• here lies a problem

· there two agents might interpret the information in completely different ways

· chaos and nonsense mightresult

agent1

agent2

Page 65: S4 fruct ian_oliver_30oct208

65

Theoretical Underpinnings – Agent Interoperability

Two agents “communicate” if there is intersection between the information they are using

• sensible communication only results if the semantic domains of the agents are aligned sufficiently

· we do not have good definitions nor metrics to define “sufficient enough”

· standardisation....

agent1

agent2

Page 66: S4 fruct ian_oliver_30oct208

66

Theoretical Underpinnings – Agent Interoperability

Two agents “communicate” if there is intersection between the information they are using

• harmonious communication and understand is only achieved when the semantic domains are identical

·hard to guarantee

·standardisation again....

agent1

agent2

Page 67: S4 fruct ian_oliver_30oct208

67

Theoretical Underpinnings – Ontology Evolution

Ontologies may be given but...

· Individual tagging

· Folksonomies

· Standardisation

· Informal and implicit

· Formal and explicit

· Ontology

· Ontology emergence

· Semantic Grounding

·semantic evolution, change and emergence

increasing formality

loca

lgl

obal

personal tags

folksonomy

ad hoc ontology

standardised ontology

semantic strength

Page 68: S4 fruct ian_oliver_30oct208

68

Theoretical Underpinnings - Logic

Description logics, normality, soundness, completeness, decidability and monotonicity are not sufficient

•Information needs to be removed

•Not all agents “think” in the same way

•Logic varies according to ontology and semantics

•Unknown values not always interpretable as undefined

Logics will vary according to space and even be modified on a per-agent basis

•areas of research:

·non-monotonicity and defeasilibity

·multi-valued logics

·consideration and interpretation values such as ⊥

·non-insistence of completeness and decidability

·etc

Page 69: S4 fruct ian_oliver_30oct208

69

Theoretical Underpinnings – Belief, Truth, Consistency

Assertion of information by an agent does not imply truth.

agent1 asserts

FinlandStockholm

capital

Page 70: S4 fruct ian_oliver_30oct208

70

Theoretical Underpinnings - Belief, Truth, Consistency

We do not enforce consistency according to ontology

· some spaces might...

Another agent might add additional, contradictory information

· this might be its intent

· interpretation is left to the reader

agent1 asserts

FinlandStockholm

capital

which conforms to:

CityCountry capital 1

Page 71: S4 fruct ian_oliver_30oct208

71

Theoretical Underpinnings - Belief, Truth, Consistency

Assertion of information by an agent does not imply truth.

Agents 2 and 3 can interpret this according to their beliefs and make decisions accordingly...

...however mixed they are...

agent1 asserts

FinlandStockholm

capital

agent2

agent3capital(Finland)=

“Stockholm”capital(Finland)=

“Stockholm”

is wrong!

capital(Finland)=

“Helsinki”

Page 72: S4 fruct ian_oliver_30oct208

72

Theoretical Underpinnings - Belief, Truth, Consistency

We do not enforce consistency according to ontology

· some spaces might...

agent1 asserts:

FinlandStockholm

capital

agent2 asserts:

FinlandHelsinki

capital

FinlandStockholm

capital

Helsinkicapital

giving:

which does not conform to:

CityCountry capital 1

Page 73: S4 fruct ian_oliver_30oct208

73

Theoretical Underpinnings - Belief, Truth, Consistency

While no decision procedure exists to conclusively choose an answer, there are options.

·Agents may employ belief revision and truth maintenance algorithms to clean-up such information not adhering to known ontologies

·but this is not always desirable.

FinlandStockholm

capital

Helsinkicapital

agent3 interprets locally,with the possible answers:1. Stockholm is the capital of Finland

2. Helsinki is the capital of Finland

3. Both Stockholm and Helsinki are the capitals of Finland

4. Error

5. Unknown

6. Undefined

7. X is the capital of Finland, where x is not Stockholm nor Helsinki but some answer or interpretation that Agent3 wants to give

Page 74: S4 fruct ian_oliver_30oct208

74

Theoretical Underpinnings - Modality

RDF defines a graph as a distributed conjunction of predicates

capital(Finland, Helsinki) ^capital(Finland, Stockholm)

FinlandStockholm

capital

Helsinkicapital

Page 75: S4 fruct ian_oliver_30oct208

75

Theoretical Underpinnings - Modality

Weakening of this scheme allows inconsistencies

Open or Closed-World ?

~capital(Finland, Helsinki) ^~ capital(Finland, Stockholm)

What’s the capital of Finland?

FinlandStockholm

~capital

Helsinki~capital

Page 76: S4 fruct ian_oliver_30oct208

76

Theoretical Underpinnings - Modality

Necessity and Potentiality

For some defintion of the above

•Linguistic?

·moral obligation

•Mathematical

·S5, S4…other systems

L capital(Finland, Helsinki) ^~M capital(Finland, Stockholm)

FinlandStockholm

~M capital

HelsinkiL capital

Lp = necessarily p

Mp = potentially p

Lp = ~M~p

in some modal systems

Page 77: S4 fruct ian_oliver_30oct208

77

Theoretical Underpinnings - Spaces

Individual graphs of information are localised as spaces

this is the partitioning of the “Giant Global Graph” concept into more localised and personal spaces.

type

type type

tagtag

tag

tag

type

type type

tagtag

tag

tag

type

type type

tagtag

tag

tag

Page 78: S4 fruct ian_oliver_30oct208

78

Theoretical Underpinnings - Spaces

Individual graphs of information are localised as spaces

each space may contain its own set of reasoning capabilities and logic for processing the given information

type

type type

tagtag

tag

tag

type

type type

tagtag

tag

tag

type

type type

tagtag

tag

tag

Page 79: S4 fruct ian_oliver_30oct208

79

Theoretical Underpinnings – Agents and Spaces

An agent may connect simultaneously to many spaces in order to gather the information it needs to reason over

type

type type

tagtag

tag

tag

type

type type

tagtag

tag

tag

type

type type

tagtag

tag

tag

Page 80: S4 fruct ian_oliver_30oct208

80

Theoretical Underpinnings – Agent-Space Membership

Demarcation of Spaces according to local policy to restrict agent access

Demarcation can be potentially a combination of:

• agent identity

• user identity

• location

• temporal characteristics

• keys (traditional security)

• etc...

type

type type

tagtag

tag

tag

type

type type

tagtag

tag

tag

type

type type

tagtag

tag

tag

X

X

Page 81: S4 fruct ian_oliver_30oct208

81

Theoretical Underpinnings – Agent Mobility

Agents are mobile by way of links to spaces

·cf: pi-calculus notions of mobility

·agents are mobile amongst spaces

type

type

type

tag

tag

tag

tag

type

type

type

tag

tag

tag

tag

type

type

type

tag

tag

tag

tag

type

type

type

tag

tag

tag

tag

type

type

type

tag

tag

tag

tag

type

type

type

tag

tag

tag

tag

type

type

type

tag

tag

tag

tag

type

type

type

tag

tag

tag

tag

type

type

type

tag

tag

tag

tag

Page 82: S4 fruct ian_oliver_30oct208

82

Theoretical Underpinnings – Agent Mobility

Agents are atomic entities which execute on a single device at a time

type

type

type

tag

tag

tag

tag

type

type

type

tag

tag

tag

tag

type

type

type

tag

tag

tag

tag

type

type

type

tag

tag

tag

tag

type

type

type

tag

tag

tag

tag

type

type

type

tag

tag

tag

tag

type

type

type

tag

tag

tag

tag

type

type

type

tag

tag

tag

tag

type

type

type

tag

tag

tag

tag

Page 83: S4 fruct ian_oliver_30oct208

83

Theoretical Underpinnings – Agent Mobility

Agents are atomic entities which execute on a single device at a time

agent exist through spaces

· current implementation does not admit mobility of executable code, but...an agent may save its state to a space which another agent might use

· agent existence persistence

type

type

type

tag

tag

tag

tag

type

type

type

tag

tag

tag

tag

type

type

type

tag

tag

tag

tag

type

type

type

tag

tag

tag

tag

type

type

type

tag

tag

tag

tag

type

type

type

tag

tag

tag

tag

type

type

type

tag

tag

tag

tag

type

type

type

tag

tag

tag

tag

type

type

type

tag

tag

tag

tag

Page 84: S4 fruct ian_oliver_30oct208

84

Theoretical Underpinnings – Space Structure

Spaces “just exist”

• represented by one or more Semantic Information Brokers (SIB)

• which are “totally routable”

type

type

type

tag

tag

tag

tag

Page 85: S4 fruct ian_oliver_30oct208

85

Theoretical Underpinnings – Space Structure

Spaces “just exist”

• each space contains (cf: architecture)

·connectivity functionality

·information storage

·full, partial or even none!

·query distribution and information store synchronisation

·deductive closure calculation mechanisms

•agent always gets a single, consistent view of all information

type

type

type

tag

tag

tag

tag

type

type

type

tag

tag

tag

tag

type

type

type

tag

tag

tag

tag

type

tag

tag

type

tag

Page 86: S4 fruct ian_oliver_30oct208

86

Theoretical Underpinnings – Spaces and Devices

Nominally a SIB executes atomically on a single device

A device may host any number of SIBs

· even ones representing the same space

·SIBs may have different storage and processing capabilities depending upon the hosting device

·the capabilities of a space is given by the union of all the capabilities of the individual SIBs representing that space

type

type

type

tag

tag

tag

tag

Page 87: S4 fruct ian_oliver_30oct208

87

Theoretical Underpinnings – Device Abstractions

Because applications emerge from agents and spaces emerge from SIBs we abstract the traditional or legacy notion of application completely from its physical presence in any device

· even within the UI the composition of an application is abstracted away from the agents themselves

}emerges from

Page 88: S4 fruct ian_oliver_30oct208

88

Implementation and Distribution

•Example Demo Setup •Python·Python 2.5.1 under Linux, Unix, Windows, Symbian etc

•C·Linux (N800/N810)

•OpenC·Symbian (Nokia N and E series devices)

•Java (4Q08, 1Q09)·J2ME, J2EE

Simple XML based protocol – specification and reference implementations will be released as open source distribution 4Q08/1Q09 (estimated)

Page 89: S4 fruct ian_oliver_30oct208

89

References

• Oliver, Honkola (2008) Sedvice: A Triple Space Computing Exploration Environment. Tripcom Workshop, Galway, April 2008

• Oliver, Honkola (2008) Personal Semantic Web Through A Space Based Computing Environment, MSW @ ICSC08, Santa Clara, August 2008 (arxiv.org: 0808.1455)

• Oliver, Honkola, Ziegler (2008) Dynamic, Localised Space Based Semantic Webs, WWW/Internet Conference, Freiburg, October 2008

Forthcoming:

• Space Based Semantic Webs, Journal of Semantic Computation, Sept’08

• Semantic Computation, Journal of Semantic Computation, Dec’08

Page 90: S4 fruct ian_oliver_30oct208

90

Current Research

•Security•Policy•Trust

•Ontology Construction·tagging, folksonomies·ontology evolution·information recycling·semantics

•Synchronisation and Co-ordination of agents

•Connectivity Solutions·legacy integration

•Reasoning·non-monotonic logics·description logics·planning, AI ...

•Application/Agent Construction·tool environments·verification/validation strategies

•Distribution·query distribution and optimisation·distributed deductive closure calculation

Page 91: S4 fruct ian_oliver_30oct208

91

The End

Page 92: S4 fruct ian_oliver_30oct208

92

Title font Nokia Large Bold, 28 pt

Sub-headline Nokia Sans Wide Regular, 20 pt • Body text font Nokia Sans Wide Regular, 20 pt• Bullet points 100% of the text with same color• Line spacing in body text 1.20 Lines• When using animations effects use “Appear” or “Fade”. Avoid

wild animations and animated GIF files.

Make sure you have the right Nokia fonts installed. You can download the mandatory font package from Nokia Brand Book:

https://www.nokiamediabank.com(Nokia Office Package - True Type)

Page 93: S4 fruct ian_oliver_30oct208

93

Keep it simple

In general, use as little text as possible. The audience does not want to read a text desert and listen to the presenter at the same time.

The text should only accompany or emphasize the presenters words! Use suitable pictures to support the message.

Page 94: S4 fruct ian_oliver_30oct208

94

Example slide for pictures

Make pictures look like real photography. If you can, add a white frame around the picture. By turning the picture by a few degree, you enhance the impression of a photo placed on your canvas. Add some drop shadow, preferably with a picture editing software(PowerPoint rather makes a grey box than a smooth shadow).

GoodOkay

Page 95: S4 fruct ian_oliver_30oct208

95

PowerBoxes

Lorem ipsum Lorem ipsum

Lorem ipsumLorem ipsum

Lorem ipsum

Lorem ipsum

• Consider these color combinations of boxes and text.

• You can use tints of the darker colors.

• Avoid outlines around objects. We don’t need them.

• Use boxes with rounded corners using a small radius.

• Use a bit of transparency (20-30%)

Page 96: S4 fruct ian_oliver_30oct208

96

Diagrams

0102030405060708090

100

1st Qtr 2nd Qtr 3rd Qtr 4th Qtr

EastWestNorth

Double click the diagram to edit the numbers.

Page 97: S4 fruct ian_oliver_30oct208

97

Editing the Footer

To edit the Footer:

1. Go to Menu > Header and Footer...2. Replace “First Name Last Name” in the dialog box with yours.

Don’t change the Master slide.

Attention when printing:

Make sure that the setting in the printer dialog is set to color - even for black and white printer. Otherwise the background and NRC identifier might not be included in the print.