65
Wissenstechnologie WS 08/09 Michael Granitzer IWM TU Graz & Know-Center IWM TU Graz & Know Center Lect e 4 OWL Infe ence and http://kmi tugraz at http://www know center at Lecture 4: OWL, Inference and Upper Ontologies http://kmi.tugraz.at http://www .know-center.at This work is licensed under the Creative Commons Attribution 2.0 Austria License. To view a copy of this license, visit http://creativecommons.org/licenses/by/2.0/at/ .

Wissenstechnologie Iv 08 09

  • Upload
    mgrani

  • View
    1.408

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Wissenstechnologie Iv 08 09

Wissenstechnologie WS 08/09

Michael Granitzer

IWM TU Graz & Know-CenterIWM TU Graz & Know Center

Lect e 4 OWL Infe ence and

http://kmi tugraz at http://www know center at

Lecture 4: OWL, Inference andUpper Ontologies

http://kmi.tugraz.at http://www.know-center.atThis work is licensed under the Creative Commons Attribution 2.0 Austria License. To view a copy of this license, visit http://creativecommons.org/licenses/by/2.0/at/.

Page 2: Wissenstechnologie Iv 08 09

TodayToday

RDF Schema (RDFS)

Web Ontology Language (OWL)

OWL & LogicsOWL & Logics

2Example Ontologies

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 3: Wissenstechnologie Iv 08 09

Semantic Web Stack

a.k.a. SW Layer Cakey

a.k.a. SW Tower

3

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 4: Wissenstechnologie Iv 08 09

Semantic Web Stack

RDF

4

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 5: Wissenstechnologie Iv 08 09

RDF Statements (Triples)A small example

htt // iki di / iki/J h L http://dbpedia org/property/associatedActshttp://en.wikipedia.org/wiki/John_Lennon

http://en.wikipedia.org/wiki/The_Beatles

http://dbpedia.org/property/associatedActs

http://en.wikipedia.org/wiki/Paul_McCartney

rdfs:label

http://dbpedia.org/property/associatedActs

Subject Predicate Object

„Paul McCartney“

j j

http://en.wikipedia.org/wiki/John_Lennon

http://dbpedia.org/property/associatedActs

http://en.wikipedia.org/wiki/The_Beatles

5http://en.wikipedia.org/wiki/Paul_McCartney

http://dbpedia.org/property/associatedActs

http://en.wikipedia.org/wiki/The_Beatles

http://en.wikipedia.org/wiki/P Rdfs:label “Paul McCartney”

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

aul_McCartney

Page 6: Wissenstechnologie Iv 08 09

OntologiesWhat are Concepts in our purpose?What are Concepts in our purpose?

Semiotic Triangle [Ogden & Richards 1923]Semiotic Triangle [Ogden & Richards 1923]

Concept

Refers toSymbolizes

Term / Word/URI

St d fThing

6‚Apache‘

Stands for

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 7: Wissenstechnologie Iv 08 09

Ontologies & SemanticsExample: MammalExample: Mammal

IntensionIntension

•isA(Vertebrate Animal)•has(Sweat glands)

•withFunction(Milk)•withFunction(hair)

•....

Extension

•Elephant•Lion•Monkey

7

Monkey•....

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 8: Wissenstechnologie Iv 08 09

Summary of Definitions

A Ontology is a model (of the world)

A t l d ib ti l (k l d ) d iA ontology describes a particular (knowledge) domain

A ontologie defines words/terms/signs for describingConceptsConcepts

A ontologie puts concepts into relation to each other

A ontologie uses axioms to put constraints on particularconcepts

8

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 9: Wissenstechnologie Iv 08 09

Components of an OntologyComponents of an Ontology

Classes general things of a domainClasses general things of a domain

Instances special things of a domain

R l ti b t thiRelations between things

Properties of things

9

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 10: Wissenstechnologie Iv 08 09

Semantics & Communication

Language must allow to express the semantics in an Language must allow to express the semantics in an implementation/algorithmic independent way

Usually done via a Vocabulary

Topic oriented vocabulary (e.g. Friend of a friend)

Schema Knowledge/Terminological Knowledgeg g g

– Special vocabulary to make statements over topic orientedvocabulary (i.e. the termonologie used in a domain)

– A general set of rules independent of the domain– Defines the expressiveness of a language

10

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 11: Wissenstechnologie Iv 08 09

Semantic Web Stack

RDF Schema

11

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 12: Wissenstechnologie Iv 08 09

RDF Schema (RDFS)http://www w3 org/2000/01/rdf-schema#http://www.w3.org/2000/01/rdf-schema#

Allows to express terminological knowledge over RDFAllows to express terminological knowledge over RDF

Application of RDFS

Defines a new vocabulary for giving meaningDefines a new vocabulary for giving meaningindependent of program logic

Allows to define „lightweight“ Ontologies and basicg g gReasoning capabilities

http://www.w3.org/TR/rdf-schema/

12

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 13: Wissenstechnologie Iv 08 09

RDF SchemaClassesClasses

rdfs:Resource Class of all resources

rdfs:Literal Class of literals (Strings)rdfs:Literal Class of literals (Strings)

rdfs:Class Class of classes

rdf:Property Class of propertiesrdf:Property Class of properties

rdf:Statement Class of RDF Statements

13

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 14: Wissenstechnologie Iv 08 09

RDF SchemaPropertiesProperties

rdf:type Subject is an instance of a class

rdfs:subClassOf Subject is a subclass of a class

rdfs:subPropertyOf Subject is a sub property of a property

rdfs:domain A possible class for a subject of a property

rdfs:range A possible class for an object of a property

rdfs:label human readable label of an resource

rdfs:comment human readable comment of an resourcerdfs:comment human readable comment of an resource

14

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 15: Wissenstechnologie Iv 08 09

RDFS Semantics

Model based semantics: Model based semantics:

each triple is a sentence

A sentence is tr true, if the triple exists

Entailment: Given a graph the graph is transformed according to therules of RDFS

Implicit knowledge (i e not explicitly modelled)Implicit knowledge (i.e. not explicitly modelled)

#Means of #Means of

#MyBMW

Transportation

rdfs:subClassOf

Transportation

rdfs:subClassOfrdf:type

15

#Car

rdfs:subClassOf

rdf:type#Car

rdfs:subClassOf

#MyBMW

rdf:type

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

#BMW #BMW

Page 16: Wissenstechnologie Iv 08 09

RDFS SemanticsDrawback/Restriction of RDF Drawback/Restriction of RDF

Open world assumption: false statements must be Open world assumption: false statements must be specified

Closed world assumption: if a statement is missing, it is p g,assumed to be false

No negation in RDFS possible

• ex:michael rdf:type ex:nonsmoker

• ex:michael rdf:type ex:smoker• ex:michael rdf:type ex:smoker

Does not lead to a contradiction!

N l i di id l H All

16

No rules over individuals e.g. ex:Humans = All ex:Women and All ex:Men

No Counting: “An Elephant has 4 legs”

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

No Counting: An Elephant has 4 legs

Page 17: Wissenstechnologie Iv 08 09

Semantic Web StackWeb Ontology Language (OWL)Web Ontology Language (OWL)

OWL

17

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 18: Wissenstechnologie Iv 08 09

Historical DevelopmentHistorical Development

Standardised since 2004

18

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 19: Wissenstechnologie Iv 08 09

DARPA Agent Markup Language (DAML)

Funded by DARPA start 2001Funded by DARPA, start 2001

DARPA: Defense Advanced Research Projects Agencyj g y

Markup Language for semantic nets

DAML ONT: RDFS extension for OntologiesDAML-ONT: RDFS extension for Ontologies

Focus is on the Web

19

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 20: Wissenstechnologie Iv 08 09

Ontology Inference Layer (OIL)

European Project with focus on inferenceEuropean Project with focus on inferencecapabilities

Different kinds of standard

Excluding Reification Core OIL is compatible toRDFS

20

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 21: Wissenstechnologie Iv 08 09

History DAML+OIL

1999

DARPA Agent Markup Language (DAML) in USA

Ontology Inference Layer (OIL) in EU

2000

Combining both DAML+OIL

2001

DAML+OIL handed in to W3C for standardisastion

Base for Web Ontology Language (OWL)

21

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 22: Wissenstechnologie Iv 08 09

Development of OWL

W3C founded 2001 The Ontology (WebONT) Working W3C founded 2001 The Ontology (WebONT) Working Group

Using DAML+OIL for language specificationg g g p

Feb. 2004 the W3C has published the OWL Web OntologyLanguage Recommendations

Simply speaking: They added an additional vocabulary toRDF(S)htt // 3 /2001/ /W bO thttp://w3.org/2001/sw/WebOnt

22

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 23: Wissenstechnologie Iv 08 09

OWL - WOL

The language started out as the "Web Ontology Language" The language started out as the Web Ontology Language but the Working Group disliked the acronym "WOL." Wedecided to call it OWL. The Working Group became morecomfortable with this decision when one of the memberscomfortable with this decision when one of the memberspointed out the following justification for this decision fromthe noted ontologist A.A. Milne who, in his influential book"Wi i th P h" t t d f th i h t OWL"Winnie the Pooh" stated of the wise character OWL:

"He could spell his own name WOL, and he could spellTuesday so that you knew it wasn't Wednesday "Tuesday so that you knew it wasn t Wednesday...

http://www.w3.org/2003/08/owlfaq

23

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 24: Wissenstechnologie Iv 08 09

OWL - WOL

Owl

Winnie the Pooh

24Piglet

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 25: Wissenstechnologie Iv 08 09

OWL The second storyyhttp://lists.w3.org/Archives/Public/www-webont-wg/2001Dec/0169.html

Jim Hendler wrote:

> ... Dieter is right about that as well) I prefer the three letter WOL to the longer SWOL. How about OWL as a variation. The words would be the same (Ontology Web Language) but it has several advantages: (1) it has just one obvious

i ti hi h i th (2) it t pronunciation which is easy on the ear; (2) it opens up great opportunities for logos; (3) owls are associated with wisdom; (4) it has an interesting back story. OWL has probably been used for many computer languages and projects (see below), but I don't think that is a show stopper.

• But the Background is: "One World Language“ short OWL in the mid 70‘s developed at MIT

25

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 26: Wissenstechnologie Iv 08 09

OWL - Specifications

OWL besteht aus 3 UntersprachenOWL besteht aus 3 Untersprachen

OWL Lite

OWL DLOWL DL

OWL Full

26

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 27: Wissenstechnologie Iv 08 09

OWL - Specification

The following set of relations hold. The following set of relations hold. Their inverses do not:

Every legal OWL Lite ontology i l l OWL DL t l is a legal OWL DL ontology.

Every legal OWL DL ontology is a legal OWL Full ontology is a legal OWL Full ontology.

Every valid OWL Lite conclusion is a valid OWL DL conclusion.

Every valid OWL DL conclusion is a valid OWL Full conclusion.

27http://www.w3.org/TR/owl-guide/

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 28: Wissenstechnologie Iv 08 09

OWL Syntax and SemanticNamespace & HeaderNamespace & Header

In addition to rdfs and rdf:In addition to rdfs and rdf:

<rdf:RDF … xmlns:owl = „http://www.w3.org/2002/07/owl#“>

<owl:Ontology rdf:about=„“>

<rdfs:comment>my best ontology</rdfs:comment>

<owl:versinoInfo>v0.5</owl:verisonInfo>

….

</owl:Ontology>

Combines Elements of OWL and RFDS Namespace

28Import of other ontologies possible<owl:imports rdf:resource=uri>

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 29: Wissenstechnologie Iv 08 09

OWL Syntax and SemanticClasses Individuals and RolesClasses, Individuals and Roles

Classes similar to RDFS (i e subclass of rdfs:Class)Classes similar to RDFS (i.e. subclass of rdfs:Class)

owl:Class

Individuals are similar to instances in RDFSIndividuals are similar to instances in RDFS

Definition via the property rdf:type

<rdf:Description rdf:about=„KlausTochtermann“>f p f „<rdf:type rdf:resource=„Professor“/>

</rdf:Description>

Abbrevated Notation in XML: <Class rdf:about=URI>

<Professor rdf:about=„KlausTochtermann“/>

29

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 30: Wissenstechnologie Iv 08 09

OWL Syntax and SemanticRoles (properties in RDF)Roles (properties in RDF)

owl:DataTypeProperty (rdf:Domain ~ rdf:Literal|rdf:DataType|xsd:xxx)owl:DataTypeProperty (rdf:Domain rdf:Literal|rdf:DataType|xsd:xxx)<owl:DatatypeProperty rdf:about=„Name“>

<rdfs:domain rdf:resource=„Professor“/>

<rdfs:range rdf:resource= xsd:String“/><rdfs:range rdf:resource=„xsd:String“/>

</owl:DatatypeProperty>

l Obj tP t ( df D i l Thi )owl:ObjectProperty (rdf:Domain ~ owl:Thing)<owl:ObjectProperty rdf:about=„lecturing“>

<rdfs:domain rdf:resource=„Professor“/>

<rdfs:range rdf:resource=„Lecture“/>

</owl:ObjectProperty>

30owl:annotationPropertyJust for commenting on resources

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 31: Wissenstechnologie Iv 08 09

OWL Syntax and SemanticSimple Properties between ClassesSimple Properties between Classes

rdfs:subClassOf Similar to RDFSrdfs:subClassOf Similar to RDFS

All classes are sublcasses from owl:Thing

All classes have the sub class owl:NothingAll classes have the sub class owl:Nothing

owl:disjointWith No individual is contained in both classes

/<owlClass rdf:about=„Human“/><owlClass rdf:about=„Animal“>

<owl:disjointWith rdf:resource=„Human“/>

</owlClass></owlClass>

owl:equivalentClass

Two classes are semantically equal

31

Two classes are semantically equal

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 32: Wissenstechnologie Iv 08 09

OWL Syntax and SemanticProperties between IndividualsProperties between Individuals

Owl:sameAs two individuals are the sameOwl:sameAs two individuals are the same

<Professor rdf:about=„KlausTochtermann“/><owl:sameAs rdf:resource=„ProfessorTochtermann“>

</Professor></Professor>

owl:differentFrom two individuals are different

owl:AllDifferent Abrevation for a set of individuals owl:AllDifferent Abrevation for a set of individuals owl:distinctMembers

<owl:AllDifferent><owl:AllDifferent><owl:distinctMembers rdf:parseType=„Collection“>

<Person rdf:about=„MichaelGranitzer“><Person rdf:about=„MarkusStrohmaier“><Person rdf:about KlausTochtermann“>

32

<Person rdf:about=„KlausTochtermann“></olw:distinctMembers>

</owl:AllDifferent>

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 33: Wissenstechnologie Iv 08 09

OWL Syntax and SemanticProperties between IndividualsProperties between Individuals

owl:oneOf closed classes i e class with a fixedowl:oneOf closed classes, i.e. class with a fixednumber of members

<owl:Class rdf:about=„IWMLecturers“><owl:oneOf rdf:parseType=„Collection“>

<Person rdf:about=„MichaelGranitzer“><Person rdf:about=„MarkusStrohmaier“><Person rdf:about=„KlausTochtermann“><Person rdf:about „KlausTochtermann >

</olw:oneOf></owl:Class>

33

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 34: Wissenstechnologie Iv 08 09

OWL Syntax and SemanticLogical Constructors for ClassesLogical Constructors for Classes

Logical construtors on simple“ classes allow to construct newLogical construtors on „simple classes allow to construct newcomplex classes

MenWomenHuman U=

owl:unionOflogical OR

<owl:Class rdf:about=„Women“/><owl:Class rdf:about=„Men“><owl:complementOf rdf:resource=„Women“>

owl:complementOflogical Not

</owl:Class>

<owl:Class rdf:about=„Human“/>

owl:intersectionOflogical AND

<owl:unionOf rdf:parseType=„Collection“> <owl:Class rdf:about=„Men“><owl:Class rdf:about=„Women“>

</owl:unionOf>

34

</owl:Class>

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 35: Wissenstechnologie Iv 08 09

OWL Syntax and SemanticLogical Constructors for ClassesLogical Constructors for Classes

Complex class construtors via role restrictionsComplex class construtors via role restrictions

Defines a class as set of object for which the role has a value ofa specific class

owl:someValuesFrom

owl:allValuesFrom

Owl:hasValue

Cardinality of roles

owl:maxCardinaltiy

owl:minCardinality

35owl:cardinality

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 36: Wissenstechnologie Iv 08 09

OWL Syntax and SemanticRelationships between Roles/Role PropertiesRelationships between Roles/Role Properties

Relationships between rolesRelationships between roles

owl:subPropertyOf Hierarchy for properties

owl:inverseOf inverse role

Properties of roles

Symmetry role(A,B) = role(B,A)

<MichaelGranitzer, worksTogetherWith,MarkusStrohmaier>

Transitivity role(A,B) && role(B,C) role (A,C)

<Transistor, isPartOf, Chip> && <Chip, isPartOf,Laptop> <Transistor, isPartOf, Chip> && <Chip, isPartOf,Laptop>

<Transisotr,isPartOf,Laptop>

Functional role(A,B) && role (A,C) <B,sameAs,A>

36

<MichaelGranitzer, isLecturerOf, Wissenstechnologie>

<GranitzerMichael, isLecturerOf, Wissenstechnologie>

Inverse Functional role(B,A) && role (C,A) <B,sameAs,A>

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 37: Wissenstechnologie Iv 08 09

OWL Syntax and Semantichttp://www.w3.org/TR/2004/REC-owl-semantics-20040210/

37

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 38: Wissenstechnologie Iv 08 09

OWL Full

Highest possible expressiveness using OWL Highest possible expressiveness using OWL

Constraint: Must be valid RDF

D id bilit i t t dDecidability is not guaranteed

No distinction between roles, classes and instances

An instance may be a class of another instance (Meta-modelling)

– <Car rdf:about=„BMW“><BMW rdf:about=„MyBMW“>

38

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 39: Wissenstechnologie Iv 08 09

OWL DL

DL….Description Logicsp g

Guranteed to be deciable

Contains all elements of OWL but only some elements of RDFS (mainly rdfs:class and rdf:Property)(mainly rdfs:class and rdf:Property)

Separation of classes, roles and instances

Restrictions on specific roles for classes and instances

Completeness (all implications can be calcualted)

Decidability (all calcualtions can be done in finite time)

With maximum expressiveness

39

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 40: Wissenstechnologie Iv 08 09

OWL Lite

Simplest form of OWLSimplest form of OWL

Restriction on class constructors

R t i ti di litRestrictions on cardinality

Predefined class names and role restrictions in specificsituationssituations

Hardly used in practice

40

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 41: Wissenstechnologie Iv 08 09

Editors for OWL

Protégé: Protégé: http://protege.stanford.edu/

Altova SemanticWorks (comercial): ( )http://www.altova.com/products_semanticworks.html

SWOOP: htt // i d /2004/SWOOP/http://www.mindswap.org/2004/SWOOP/

TopBraid Composer™ (comercial):http://www topbraidcomposer com/http://www.topbraidcomposer.com/

41

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 42: Wissenstechnologie Iv 08 09

OWL Inference and Reasoning

OWL DL uses Description Logics (Beschreibungslogik)OWL DL uses Description Logics (Beschreibungslogik)

DL is a subset of First Order

B fit f L iBenefits from Logic

Well known Logic, studied over years

Known runtime complexibility

Existing algorithms for reasoning

42

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 43: Wissenstechnologie Iv 08 09

OWL Inference and ReasoningImportant PropertiesImportant Properties

Expressive Power (Aussdrucksstärke)Expressive Power (Aussdrucksstärke)

What statements can be made over the model?

C t bilit (B h b k it)Computability (Berechenbarkeit)

Can the evaluation algorithm be calculated in finite time?time?

Decideability (Entscheidbarkeit)

Given a logical systems, is there an computablealgorithm to evaluate a given formula? (e.g. decidewhether it is true or false)

43

)

Tradeoff: Expressive Power vs. Decideability

Open vs Closed World Assumption

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Open vs. Closed World Assumption

Page 44: Wissenstechnologie Iv 08 09

Logic Families

Propositonal LogicPropositonal Logic

Predicate Logic: Formulas contain variables and quantifiers

llcowFeelsWehotwarm →∨ )(Predicate Logic: Formulas contain variables and quantifiers

First Order Logic

D i ti L i– Description Logic

Second Order Logic

Many-sorted logic

44Temporal Logic

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 45: Wissenstechnologie Iv 08 09

Propositonal Logic

ElElements

Atoms: P, Q, R, …

C t t T F l

↔→¬∨∧ ,,,,Constants: True, False

Junctors:

Klammern: ( )Klammern: (, )

ExampleExample

llcowFeelsWehotwarm →∨ )(

45

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 46: Wissenstechnologie Iv 08 09

First Order Logic

ElementeElemente

Constants: a, b, John, Animal, Mammal …

Variables: x, y, z, …, y, ,

Functions: f, g,Mapping from constants to constants

P di t P( ) Q( )

Extension to propositional Logic like

Predicate: P(x), Q(y),Mapping von variables to constants

Quantoren: ∃∀ ,

llcowFeelsWehotwarm →∨ )(

Brackets: (, )

Example

46

Example

))(()()( xmotherisCowxisCowx →∀

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 47: Wissenstechnologie Iv 08 09

Description Logics

Knowledge representation via Knowledge representation via

Classes

I di id lIndividuals

Roles (Properties)

Subset of First Order Logic

Family having different languages depending on theexpressiveness

47

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 48: Wissenstechnologie Iv 08 09

Description Logic

TBox (terminological box)TBox (terminological box)

Statements over concepts

Class models and class rolesClass models and class roles

ABox (assertional box)

Statements over IndividualsStatements over Individuals

Assignment of Individuals to classes and filling the roles

OWL DL: TBox and ABox are disjunctOWL-DL: TBox and ABox are disjunct

E.g. no Class can be an individual

E g no roles can be individuals

48

E.g. no roles can be individuals

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 49: Wissenstechnologie Iv 08 09

Description LogicsFamily Member ALCFamily Member ALC

ALC – Attributive Language with ComplementALC Attributive Language with Complement

Class, Role and Individual

A i t f I di id l t lAssignment of Individuals to classes

Equivalence, disjunction and conjunction of classes

owl:Thing, owl:Nothing

owl:intersectionOF, owl:complementOf

owl:allValuesFrom, owl:somealuesFrom

rdfs:range rdfs:domain

49

rdfs:range, rdfs:domain

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 50: Wissenstechnologie Iv 08 09

Description LogicsFamily Member SHOIN(D)Family Member SHOIN(D)

SHOIN– Standard OWL-DL LogicSHOIN Standard OWL DL Logic

S: ALC including transitivity of roles

H b t df bP t OfH: sub property, rdfs:subPropertyOf

O: owl:oneOf (closed classes)

I: owl:inverseOf (inverse roles)

N: Restrictions on numbers

D: Allows datatypes (owl:DataType)

50

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 51: Wissenstechnologie Iv 08 09

Description LogicsFamily Member SHIF(D)Family Member SHIF(D)

SHIF – OWL LiteSHIF OWL Lite

S: ALC including transitivity of roles

H b t df bP t OfH: sub property, rdfs:subPropertyOf

I: owl:inverseOf (inverse roles)

F: Functional Roles

51

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 52: Wissenstechnologie Iv 08 09

OWL –DL Reasoning

Application AreasApplication Areas

Taxonomy classification: Computes an inferred class hierarchy from the asserted definitions

Consistency checking: Detects classes that cannot have any instances

Instance classification: Finds all classes that a given individual belongs to

State-of-the-Art are so called tableaux algorithms for reasoningState of the Art are so called tableaux algorithms for reasoning

Worst case time compelxity is exponential, for practicalproblems usually faster

52http://www.cs.man.ac.uk/~ezolin/dl/

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 53: Wissenstechnologie Iv 08 09

DL Resources

OWL Reasoning Examples OWL Reasoning Examples http://owl.man.ac.uk/2003/why/latest/

Description Logicp gThe Description Logic Handbook: Theory, Implementation, and Applications. F. Baader et al., Cambridge University Press 2003 ISBN 0521781760 Cambridge University Press, 2003. ISBN 0521781760

http://dl.kr.org/

53

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 54: Wissenstechnologie Iv 08 09

DL (OWL) Reasoner

Racer (commercial): Racer (commercial): http://www.racer-systems.com/

FaCT++: http://owl.man.ac.uk/factplusplus/

Pellet: htt // ll t ldl /http://pellet.owldl.com/

54

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 55: Wissenstechnologie Iv 08 09

A Short Protege DemoDo you know mad Cows?Do you know mad Cows?

55http://protege.cim3.net/cgi-bin/wiki.pl?ProtegeOWLDLReasoning

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 56: Wissenstechnologie Iv 08 09

Ontology Types and ExistingRessourcesRessources

Upper Level OntologiesUpper Level Ontologies

Aka Top-Level Ontology, Foundation Ontology

M d l f bj tModel of common objects

Common Sense Knowledge/ General models of theWorldWorld

Domain Ontologies

Model for a specific domain (i.e. Genes, Biomedical Engineering etc.)

F d l th li ti

56

Focused also on the application use case

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 57: Wissenstechnologie Iv 08 09

Upper Level Ontologies

Formal Upper Level OntologiesFormal Upper Level Ontologies

Suggested Upper Merged Ontology (SUMO)

DOLCEDOLCE

(Open)Cyc

Basic Formal Ontology (BFO)

Informal Upper Level Ontologies

DublinCore

57

DublinCore

WordNet

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 58: Wissenstechnologie Iv 08 09

SUMOSuggested Upper Merged Ontology (SUMO)

From IEEE Working Group 1600 p1

Suggested Upper Merged Ontology (SUMO)

From IEEE Working Group 1600.p1

Largest free, formal ontology available, with 20,000 terms and 70,000 axioms when all domain ontologies are , gcombined. (http://www.ontologyportal.org/)

Mapping to Word Net

Demo

58

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 59: Wissenstechnologie Iv 08 09

WordNethttp://wordnet princeton edu/http://wordnet.princeton.edu/

Lexical Ontology for (English) LanguageLexical Ontology for (English) Language

Classes: Nouns, Verbs, Adjective, Adverbs

G d i t S tGrouped into Synsets

Relations between Synsets: hypernym, hyponym, holonym meronym troponymholonym, meronym, troponym…

220,000 Words; 128,000 Synsets

Limitations

No pronouncation and irregulary verbs

59No domain specific vocabulary

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 60: Wissenstechnologie Iv 08 09

Cyc

Largest project to capture human knowledgeLargest project to capture human knowledge

Formalized representation of a vast quantity of fundamental human knowledgeg

Started 1986, Cycorp spin off 1994

Properitery System using predicate logic and LISP similarProperitery System using predicate logic and LISP similarsyntax

Structured in micro theories and assertionsStructured in micro theories and assertions

Open Source Version available as OpenCyc

htt //

60

http://www.opencyc.org

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 61: Wissenstechnologie Iv 08 09

Cychttp://www.cyc.com/cyc/technology/whatiscyc_dir/whatdoescycknow

What Cyc knows“What Cyc „knows ….

61

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 62: Wissenstechnologie Iv 08 09

Summary

OWL Syntax adds means to express complex classes andOWL Syntax adds means to express complex classes andlogics over RFDS

OWL-DL,OWL-Lite, OWL-Full, ,

Formal Logical Theories for Reasoning

Description Logic for OWLDescription Logic for OWL

Abox, Tbox

Upper Ontologies vs. Domain Ontologies

SUMO, WordNet, OpenCyc

62Linking Open Data

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 63: Wissenstechnologie Iv 08 09

Points you should take away from thislecturelecture

• What OWL adds to RDFS?What OWL adds to RDFS?

• Types of OWL and Reasoning capabilities?

• Use existing Ontologies/Upper Level Ontologies• Use existing Ontologies/Upper Level Ontologies

• What is Linking Open Data?

Next Week:Next Week:

• Ontology ModellingRules of Thumb for modeling ontologiesRules of Thumb for modeling ontologies

• Ontology Alignment & Matching

63• Semantic Web Frameworks:

Jena/Sesame with Examples

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 64: Wissenstechnologie Iv 08 09

That‘s it for today…

Thanks for your attention

Questions/comments?

i @[email protected]

64

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at

Page 65: Wissenstechnologie Iv 08 09

License

This work is licensed under the Creative Commons This work is licensed under the Creative Commons Attribution 2.0 Austria License. To view a copy of this license, visit http://creativecommons org/licenses/by/2 0/at/http://creativecommons.org/licenses/by/2.0/at/.

Contributors:

Mathias Lux

Peter Scheir

Klaus Tochtermann

65Michael Granitzer

WS 08/09

http://kmi.tugraz.at

Wissenstechnologie @ kmi.tugraz.at