Agents for Web Services

CmpE 59n: Web Semantics
Pınar Yolum
[email protected]
Department of
Computer Engineering
Bogazici University
Spring 2013— Pınar Yolum
Protégé



Tool for creating, editing and querying
ontologies
Ontologies developed with Protégé:
http://protege.cim3.net/cgi-bin/wiki.pl?
ProtegeOntologiesLibrary
Projects that use Protégé:
http://protege.cim3.net/cgi-bin/wiki.pl?
ProjectsThatUseProtegeLtoQ
Spring 2013— Pınar Yolum
Reasoners

Check ontologies for consistency, infer
subsumption relations, answer DL queries
–
–
–


HermiT
Pellet
Fact++
OWL provides conformance tests for reasoners
The reasoners can be used inside Protégé or as
APIs inside programs
Spring 2013— Pınar Yolum
DL Query






Syntax is Manchaster OWL Syntax
Start a reasoner to run the query
Query consistency, classes or individuals
Consistency:
Individual queries: Returns the set of individuals
that satisfy a given description
Class queries: Returns the class that is either a
superclass, subclass, ancestor, or descendant
based on what is asked for
Spring 2013— Pınar Yolum
Manchaster Syntax



A conjunction of descriptions
Class name
DataProperty
–
–
–

value individual
some range
min/max/exactly YYY
ObjectProperty
–
–
some/only restriction
value individual
Spring 2013— Pınar Yolum
Individual Query (1)

Query 1:
–
–

Query 2:
–
–

Sehir
Return: Istanbul, Ankara, Izmir, Rize, Antalya,
Gaziantep, Van, Bursa
Sehir and bolgede some (Bolge)
Return: Istanbul, Ankara, Izmir, Rize, Antalya,
Gaziantep, Van, Bursa
Query3:
–
–
Sehir and nufusu value "17000000"
Return: Istanbul
Spring 2013— Pınar Yolum
Individual Query (2)

Query 4:




Query 5:
–
–
–
–

Sehir and not (bolgede some (Bolge))
Cities that are not in any region
Return: Empty set
Sehir and icinde value Marmara
Cities that are inside Marmara
Return: Istanbul, Bursa
Notice that since the “bolgede” property is a subproperty of icinde, the
two individuals are inferred to be inside the region
Query 6:
–
–
–
Sehir and icinde some (Bolge and komsuBolge value Marmara)
Cities that are inside regions that are neighbors to Marmara
Return: Rize, Izmir
Spring 2013— Pınar Yolum
Individual Query (3)

Query6:
–
–
–
–
–
Sehir and icinde some (Bolge and komsuBolge
value Ege)
Cities that are inside regions that are neighbors to
Ege
Return: Istanbul, Ankara, Antalya, Bursa
Notice that Ege is defined to hava single neighbor
region: Akdeniz
However, komsuBolge is defined to be symmetric.
Spring 2013— Pınar Yolum
Class Query

Query 2:
–
–
–

Sehir and bolgede some (Bolge)
Ask for a superclass
Return: Sehir
Query3:
–
–
–
–
–
Sehir and nufusu value "17000000"
Ask for an equivalent class
Return: {}
Ask for ancesstor classes
Return: Sehir, Thing
Spring 2013— Pınar Yolum