Agents for Web Services
Transkript
Agents for Web Services
CmpE 59n: Web Semantics Pınar Yolum pinar.yolum@boun.edu.tr 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