john bateman till mossakowski oliver kutz joana hois

Ontology Structuring Mechanisms and Ontological Modularity

ongoing research and targeted applications

John Bateman Till Mossakowski

Oliver KutzJoana Hois

http://www.sfbtr8.uni-bremen.dehttp://www.fb10.uni-bremen.de/ontology

BREMEN ONTOLOGY RESEARCH GROUP

University of Bremen + DKFI, Bremen

I1-[OntoSpace]

2Bateman/Mossakowski/Kutz/Hois 2008

Overview of our topics today

● General orientation and our position on ontologies

● The formal framework within which we are working

● Examples of ontological modularities and re-use

● Conclusions

I1-[OntoSpace]

Several Research Areas currently under Investigation

● Mobility support

● Spatially-embedded tasks

● Exploration, Route Planning

● Navigation

● Interaction with diverse user groups

● Disabilities

● Age

I1-[OntoSpace]

Problem foci

● Spatial assistance systems● Route planning and navigation● Real-world environments

involving ‘common-sense’ entities● Interfacing with geographic information● Interfacing with language technology● Interfacing with visual presentations (maps)● Interfacing with robotic sensor data● Embodied systems● Human-Robot Interaction

I1-[OntoSpace]

Problem

● Many different kinds of knowledge are required to get people into the loop in a way that is empowering and enriching rather than restricting

I1-[OntoSpace]

Voronoi map From Voronoi map From SFB/TR8 project: SFB/TR8 project: A1-[RoboMap]A1-[RoboMap]

Voronoi calculation on a scanned floor plan

“where are you?”

I1-[OntoSpace]

Sources of relevant knowledge

Location-based services

Geographic Information Systems

Commonsense objects and activities

Spatial awareness and understanding

Natural language capabilities

Robot perception

I1-[OntoSpace]

Problem restated

● Getting these diverse areas of expertise to talk to each other is a serious issue● different communities● different interests● different representations

● The kinds of knowledge maintained by such systems are very different

I1-[OntoSpace]

Essential idea…

● Providing channels to ontologies provides access to detailed contextual ‘world-knowledge’ that does not then have to be worked out again…

Application

Ontology

I1-[OntoSpace]

Many perspectives on ‘reality’: many ontologies

space-1

space-2

Ontologically diverse

I1-[OntoSpace]

Example of communication problems: When is a road not a road?

● Community 1:● transit system designers● roads and highways as connections between

destinations (cities, towns, etc.)

● Community 2:● environment and wildlife department● species have habitats● habitats have divisions separating them

I1-[OntoSpace]

Ontologically mediated inter-operability

city A

city B

Hwy 456

nodenode

transit system

graph ontology

environment

species A

region ontology

I1-[OntoSpace]

Ontologically mediated inter-operability

city A

city B

Hwy 456

nodenode

transit system

graph ontology

environment

region ontology

species A

I1-[OntoSpace]

Methodological starting point

● There is no sense in which a simple ‘merging’ of the ontologies involved is a sensible strategy to follow

I1-[OntoSpace]

Solution we are pursuing

● High degree of interoperability between diverse knowledge-rich systems is to be achieved by ontological engineering, taking in:

● knowledge of the human world (commonsense)● knowledge of the robot world (programmed, emergent)● geo-knowledge (GML, other standards)● spatial knowledge (spatial calculi)● knowledge of language (linguistics)

I1-[OntoSpace]

Ontological diversity inter-ontology mappings

description

landmarks

choremes

event types

CASLCASL

route graphs

I1-[OntoSpace]

Perspectives / Viewsrather than inheritance

geographical region

Alternate theories / ontologies

obstacle

recreational area

source of pure water

link in transport network

I1-[OntoSpace]

Inter-ontology mappings

● ... can only work if there is sufficient content to get hold of!

● That is: not a relationship between ‘terms’ but a relationship between ‘theories’.

● For this, need deep ontologies, so-called ‘axiomatized ontologies’

I1-[OntoSpace]

Choosing between types of ontologies

● ‘Light’ ontologies: semantic web?

● ‘Heavy’ ontologies:● Rich axiomatization● Formal principles ● Well-defined design criteria

I1-[OntoSpace]

Our ontological starting point

Leo Obrst

I1-[OntoSpace]

Theories...

● We all have theories...● theories of the world● theories of how buildings are● theories of the best way to get from A to B● theories of how to persuade your boss for a

● ‘A-ontologies’ set such theories out in an explicit specification.

I1-[OntoSpace]

Prerequisites for success

● unless you can reason with the axioms: non-starter

● unless you can chunk your axioms: non-starter

● unless you can parameterize and re-use theories: non-starter

● unless you can state relations between the meanings of chunks: non-starter

building theories

structured logic support

inter-theory mappings

I1-[OntoSpace]

Essential ingredients we are drawing on in Bremen

● Existing ontologies

● DOLCE (Masalo/Borgo/Guarino) (for cross-category binding and axiomatization)

● BFO (Barry Smith) (for sites, niches and places and for SNAP/SPAN)

● GUM (John Bateman) (for linguistic semantics and natural language processing)

● State of the art logical tools● CASL + Hets Tool

I1-[OntoSpace]

Ontology construction

● Axioms are grouped into logically appropriate theories● Theories may be extended via parameterization to

achieve semantic re-use● Theories may be created and related by views: theory

morphisms

Only with this re-use factor can the complexity of distinct axiomatized ontologies really be harnessed and used to scale-up.

I1-[OntoSpace]

Approaches to ‘simplifying’ the ontologist’s life...

● Making sure that each component of a library of theories only specifies the axioms which are relevant at that point (cf. John Sowa: “That is the whole point of Ockham's razor: eliminate any axioms that are not absolutely essential to the task at hand.”)

● Making sure that unnecessary detail is hidden in ‘upstream’ libraries: CASL

● Possibilities for ‘common subsets’:

● packages such as our spatial calculi

● packages such as DOLCE’s ‘constitution’, ‘participation’, ‘quality spaces’, BFO’s ‘sites’

● language-based generic ontology (GUM)

I1-[OntoSpace]

This is essential: because in analysis there are a lot of pieces to put back together!!

I1-[OntoSpace]

Combining theories for semantic interpretation

driving along

the road to Bremen

on the right

is a church

I1-[OntoSpace]

Combining theories for semantic interpretation

driving along

the road to Bremen

on the right

is a church

oriented path

route graph

half-planes

physical object occupying a region

I1-[OntoSpace]

OK, go towards the mountains along the main road

until you reach a large wooden house.

Be careful, the road gets a bit narrow where the old church sticks out.

Turn right at the house and,

then, at the third intersection, turn right leaving the city limits.

Then turn downhill towards the river.

At the river, take the ferry over to the café.

I1-[OntoSpace]

OK, go towards the mountains along the main road

until you reach a large wooden house.

Be careful, the road gets a bit narrow where the old church sticks out.

Turn right at the house and,

then, at the third intersection, turn right leaving the city limits.

Then turn downhill towards the river.

At the river, take the ferry over to the café.

theory of landmarks: mountain

theory of destinations: the house

theory of structural landmarks / constraints on movement and decisions: (along) the main road

Theories needed for interpretation

theory of shapes of physical objects: narrow road, old church (sticking out)

theories of orientation: towards

theory of landmarks: the house

theories of orientation: right

theory of ordered sequencestheories of orientation: right

theories of regions (administrative): city

theories of orientation: towardstheories of topography: slopestheory of landmarks: the river

theory of structural landmarks: intersections

theory of structural landmarks: (over) the rivertheory of landmarks: river

theory of destinations: the café

I1-[OntoSpace]

Theories...

● Each of these contributions to the meaning of what is being said is considered to draw on a range of more or less related theories of the world…

● axiomatised ontologies set such theories out in an explicit specification.

I1-[OntoSpace]

John Sowa(email/web discussion)

IEEE StandardUpper OntologyWorking Group

I1-[OntoSpace]

• What kinds of ‘modules’ are these?

• What is the nature of relationships that can hold between them?

• How do these relate to different communities’ theories of the world?

I1-[OntoSpace]

A general approach…

In the next section of the talk we discuss how we are formalizing these notions of ontological modularity and inter-module relationships.

● Formal framework: CASL● Generic framework for describing how

ontologies and modules can be related: ‘alignments’

● Some examples

I1-[OntoSpace]

CASL - Common Algebraic Specification Language

• Standardised first-order specification language;

• designed by CoFI “Common Framework Initiative for algebraic specification and development” since 1995

• approved by IFIP WG 1.3 “Foundations of Systems Specifications” (1998), extensive documentation (LNCS 2900, 2960)

• various extensions and sublanguages, including higher-order dialects, modal logic, OWL-DL;

• supports structured specifications including imports, hiding, renaming, union, extensions, etc.

I1-[OntoSpace]

CASL language constructs

I1-[OntoSpace]

CASL example: basic

Basic specification of “Services located at rooms”

I1-[OntoSpace]

CASL example: structured

Named structured specification of a distance function

I1-[OntoSpace]

CASL example: view

I1-[OntoSpace]

GenMereology

GenParthood

Lüttich & Mossakowski (FOIS 2004)DOLCE in CASL

GenParthood

Primitives

I1-[OntoSpace]

spec MEREOLOGY =PRIMITIVES

then%%Ad7, Ad8, Ad9 and Ad10 are generated by %% instantiation of GenMereology

GENMEREOLOGY [sort T]then

GENMEREOLOGY [sort S]then

GENMEREOLOGY [sort PD]end

GenMereology

GenParthoodPrimitives

Mereology

Lüttich & Mossakowski (FOIS 2004)DOLCE in CASL

I1-[OntoSpace]

The Tool HeTS

I1-[OntoSpace]

Varieties of Modules

● logically self-sufficient/independent conservativity;

● part of a larger “integrated” ontology DDLs, E-connections, etc.

● coupling through interface alignments

● tradition, convenience, elegance, etc. general structuring techniques

“Parts” of an ontology can be considered a “module” for a variety of reasons:

Realised through various theory morphisms

I1-[OntoSpace]

Shapes of Alignments

● we represent various alignments as diagrams of certain “shapes”

● connected through “interfaces”● we assume alignment mappings are given● colimits are used for an overall integration● composition of diagrams as composition of

alignments● definitional extensions do not add ‘substance’

I1-[OntoSpace]

Structuring mechanism

Arrows in Diagrams

● black: imports;● dashed black: automatically constructed imports● blue: definitional or conservative extensions;

dotted red: proof obligations; theorem links; interpretation into theory;

green: = proven “red” obligation;

Postulating links

I1-[OntoSpace]

V-alignment through interface

● cannot handle subclass alignments

I1-[OntoSpace]

W-alignment with bridge ontology

● Integration through bridge ontology

Woman Person

I1-[OntoSpace]

M-alignment: bridges and extensions

● Integration through bridge along extensions

Woman,Bank

Person,BankPerson

Person,Bank

Woman, Person, Financial_Bank, River_Bank

I1-[OntoSpace]

Bibliographical Ontology in DL

logic DL

spec Biblio_DL = Class: Researcher

SubclassOf: name some Thing

ObjectProperty: hasArticle InverseOf: hasJournal

Class: Article SubclassOf: author some Thing,

title some Thing, hasJournal some Journal

Class: Journal SubclassOf: name some Thing, hasArticle some Thing, impactFactor some Thingend

I1-[OntoSpace]

Bibliographical Database

Biblio_RS

logic RelationalScheme

spec Biblio_RS = tables person(key: id,name); author_of(person,paper); paper(key: id,title,published_in); journal(key: id,name,impact_factor)

links author_of.person -> person.id; author_of.paper -> paper.id; paper.published_in -> journal.idend

I1-[OntoSpace]

A Heterogeneous Mappinglogic CASL

view Biblio_RS_in_DL : Biblio_RS to { Biblio_DL with logic DL -> CASL then %def preds journal(j,n,f:Thing) <=> Journal(j) /\ name(j,n) /\ impactFactor(j,f);

paper(a,t,j:Thing) <=> Article(a) /\ Journal(j) /\ hasArticle(j,a) /\ title(a,t);

author_of(p,a:Thing) <=> Researcher(p) /\ Article(a) /\ author(p,a);

person(p,n:Thing) <=> Researcher(p) /\ name(p,n) } = logic RelationalScheme -> CASLend

I1-[OntoSpace]

Structure of bibliography example

Biblio_DL Biblio_RS

Ext_Biblio_DL

Heterogeneous mapping between ontologies

I1-[OntoSpace]

● ‘window’ in T1

‘window’ in T2

map objects in T1 to materials in T2

I1-[OntoSpace]

E-connections many sorted: extended M-alignment

I1-[OntoSpace]

Summary

● Relations between modules can be characterized in general in terms of the shapes of these alignment diagrams

● Providing support for expressing these structured relationships adds considerably to the ontologist’s toolkit

I1-[OntoSpace]

One further exploratory example…

● relating linguistic spatial information and non-linguistic descriptions

I1-[OntoSpace]

Bateman/Mossakowski/Kutz/Hois 2008

Further M-Alignment Example:Linguistic and Spatial Ontology

● natural linguistic spatial interaction

linguistic ontology

spatial ontologies

specificspatial calculi

space-specificparts

I1-[OntoSpace]

M-Alignment ExampleLinguistic and Spatial Ontology

orientations:(e.g. DCC-8)linguistic

ProjectionRelations

FrontProjection BackProjection RightProjection LeftProjection

● R(linguistic,spatial) : LeftProjection . placement [LeftProjection] ⇒ leftFront ∨ left ∨ leftBack

leftFront rightFront

leftBack

I1-[OntoSpace]

orientations:(e.g. DCC-8)linguistic

ProjectionRelations

FrontProjection BackProjection RightProjection LeftProjection

leftFront rightFront

leftBack

● R(linguistic,spatial) : LeftProjection . direction [LeftProjection]

⇒ leftFront

I1-[OntoSpace]

● R(l,s): LeftProjection.placement[LeftProjection]

⇒ leftFront ∨ left ∨ leftBack● R(l,s): LeftProjection. direction[LeftProjection]

⇒ leftFront

I1-[OntoSpace]

Relation between linguistic and non-linguistic characterisations…

combines different alignments between the linguistic semantics and the spatial characterisation

I1-[OntoSpace]

Conclusions and ongoing and future directions

● Dealing with information flexibly requires ontological treatments that are contentful

● Axiomatised ontologies are a way of approaching this

● But structured ontological specifications with well-specified possibilities for relating between ontologies/modules are then essential

● Offers us a structured path towards interoperability

I1-[OntoSpace]

Appendix

Biblio_RS

I1-[OntoSpace]

Modules based on Conservativity

Model-theoretic implies proof-theoretic conservativity, but not conversely.

model-theoretic conservativity: Every T1-model can be expanded to a T2-model.

A theory morphism is proof theoretically conservative if

I1-[OntoSpace]

Modules based on Conservativity

john bateman till mossakowski oliver kutz joana hois

Documents

ontologies for spatial reasoning, action and interaction...

theproperorthogonaldecompositionfordimensionality...

el ectric wire hois t - komachine · 2019-06-03 · product...

institut fÜr sprach- und - ialt.philol.uni-leipzig.de · 3...

karol mossakowski mercredi octobre 20h · 6 7 felix...

hois09rp1 hois rp for computed radiography

hois rane wi hes

rule extraction in neural networks. a survey. krzysztof...

handwerk - kutz-bauelemente.de

mangan, kutz, brunton & proctor - arxiv · mangan, kutz,...

for wpf & asp.net...

introducing hois - esrtechnology.co.uk

john bateman / till mossakowski adding common logic support...

logik für informatiker logic for computer scientists ·...

linq - warsaw university of...

thedistributedontology,modeland speciﬁcationlanguage(dol)...

urban kutz barbershop

beginning your job search joel kutz pa-c physician assistant...

karol mossakowski orgue · karol mossakowski d'avoir bien...

ontology structuring mechanisms and ontological modularity...