34
The OWL-S are not what they seem ...vai ovatko? Verkkopalveluiden koostamisen ontologia OWL-S Seminaariesitelmä 15.4.2013 Emilia Hjelm

they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

  • Upload
    others

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

Page 1: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

The OWL-S are not what they seem

...vai ovatko?

Verkkopalveluiden koostamisen ontologiaOWL-S

Seminaariesitelmä 15.4.2013Emilia Hjelm

Page 2: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

Internet on hankala● Nykyinternet on dokumenttien verkko● Asiat, joita kutsutaan samalla nimellä

sekoittuvat keskenään● Avoin data on kaikkien huulilla, mutta

ihmisten on tehtävä koostaminen● Tieto on palveluntarjoajien siiloissa, ja

jokaista varten on erilaiset tikkaat● Verkkopalveluita rakennettaessa suuri osa

ajasta menee tikkaiden rakentamiseen

Page 3: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

Semanttinen web● 2001 Tim Berners-Lee et al● Rakenteinen tieto● Visio: ohjelmistoagentit hoitavat ihmisten

asioita automaattisesti● Verkkopalvelun voi löytää ja sitä voi käyttää

ilman ihmispäättelyä

Page 4: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

OntologiaTietokone ei ole ihminen

● Mikä tahansa luonnollisen kielen sana sellaisenaan on koneelle merkkijono

● Maailmaa ei voi tulkita ilman tietämystä● Jotta kone voi ymmärtää, on jonkun

kerrottava

Page 5: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

OntologiaKonetulkittava muodollinen kuvaus käsitteistä ja niiden välisistä suhteista

Semanttinen web rakentuu ontologioille

Koostuu luokista, aliluokista ja ilmentymistä

Page 6: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

Onki.fi pöllöt

Page 7: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

OntologiaLuokkien väliset suhteet mahdollistavat koneellisen päättelyn

URI -tunnisteet yksilöivät käsitteet

Page 8: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

Onki.fi pöllöt

Page 9: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

OntologiaKuvataan ontologiakielillä, esimerkiksi RDF tai OWL

Page 10: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

OWL Web Ontology Language

OWL Lite yksinkertaisiin luokitteluihin

OWL DL kompromissi ilmaisun ja koneellisen pääteltävyyden kesken

OWL Full täysi ilmaisuvoima, mutta ei täysin pääteltävissä

Page 11: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

OWL DL vs. FullDL ei salli luokkien käyttöä ilmentyminä

Tarkkaa hommaa, esimerkiksi:

Onko luokan "Maat"aliluokkaan "Pohjoismaat"kuuluva "Suomi"aliluokka vai ilmentymä?

Page 12: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

OWL ominaisuudetTarkempaa kuvailua

Luokille yleisiä, ilmentymälle yksittäisiä

Ominaisuuksiin voidaan liittää piirteitä parantamaan päättelyä.

Piirteet ovat matemaattis-loogisia.

Page 13: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

OWL piirteetTransitiivisuus (jos x,y ja y,z niin x,z)Symmetrisyys (jos x,y niin y,x)Funktionaalisuus (vain yksi)

Rajoitteet kaikki ja jotkutKardinaalisuus: määrätty määrä piirteitä

Page 14: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

OWLJoukko-opin käsitteetyhdisteleikkauskomplementti

Page 15: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

OWL-S...on semanttisia verkkopalveluita kuvaava ontologia

...jonka avulla käyttäjät ja agentit voivat automaattisesti löytää, herättää, koostaa ja monitoroida palveluita tarjoavia resursseja

Page 16: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

OWL-SAjatus: ● käyttäjän tarpeet on määritelty formaalisti● tarpeet verrattavissa palveluiden kuvauksiin● profit

Page 17: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

OWL-SKun käyttäjä tietää mitä haluaa, voi palveluita käyttää automaattisesti

SILLÄ:OWL-S kertoo myös käytännön ohjeet vuorovaikuttamiseen

Page 18: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

OWL-SSemantiikan käyttö verkkopalveluissa edistää palveluiden yhteispeliä:● asiakas tarkistaa aina palvelukuvauksen ja

yhteydenottotavan etukäteen● muutokset tulevat käyttöön automaattisesti

Page 19: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

1. Profiili2. Prosessi3. Maadoitus

Lähde: Martin D. et al: Bringing Semantics to Web Services with OWL-S 2007

OWL-S rakenne

Page 20: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

OWL-S profiiliPalveluntarjoajaNimi, yhteystiedot jneToiminnan kuvausEsiehdot, syötteet, paluuviestit, vaikutuksetPiirteet määrittelevät toiminnallisuudetKategoria, laatuluokitus, lista parametreja (esim. maantieteellinen saatavuus)

Page 21: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

OWL-S profiiliMäärittelee palvelun käyttötarkoituksen, käytetään mainonnassa

Palveluun voi liittyä useita profiileita

Page 22: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

OWL-S prosessi...määrittelee miten palvelun kanssa voi asioida

...voi olla atominen, yhdistelty tai yksinkertainen.

Page 23: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

OWL-S atominen prosessi● odottaa yhtä viestiä ja antaa yhden

vastauksen

● ei aliprosesseja

● siihen liittyy aina maadoitus

Page 24: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

OWL-S yhdistelty prosessi

...koostuu useista (atomisista) aliprosesseista

...ylläpitää tilatietoa

...jokainen prosessille lähetetty viesti edistää prosessia

Page 25: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

Amazon kirjapalvelu

Lähde Solanki, M. et al: Bringing Semantics to web services: The OWL-S approach. 2004

Page 26: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

OWL-S prosessi...aiheuttaa muutoksen maailmassa...tai annetun tiedon perusteella palauttaa tietoa

...vaatii esiehtojen täyttymisen

Page 27: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

OWL-S prosessi...koostuu kahdesta tai useammasta osapuolesta

...kontrollirakenteita ovat mm. If-Then-Else, Iterate, Repeat-While

...on abstrakti

Page 28: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

OWL-S maadoitus...toimii siltana prosessista käytännön toteutukseen

...kertoo käytännön yksityiskohdat palvelun kanssa vuorovaikuttamiselle(protokollat, viestin muoto)

...standardi sallii mitä tahansa, suosituin on ollut SOAP (Simple Object Access Protocol)

Page 29: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

OWL-S maadoitus...voi olla useita...lisättävissä dynaamisesti

Page 30: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

<service:Service rdf:ID="AmazonPriceService"> <service:presents rdf:resource="#AmazonPriceProfile"/> <service:describedBy rdf:resource="#AmazonPriceProcess"/> <service:supports rdf:resource="#AmazonPriceGrounding"/></service:Service>

<mind:BookInformationService rdf:ID="AmazonPriceProfile"> <service:isPresentedBy rdf:resource="#AmazonPriceService"/> <profile:serviceName xml:lang="en">Amazon Book Price</profile:serviceName> <profile:hasInput rdf:resource="#BookInfo"/> <profile:hasOutput rdf:resource="#BookPrice"/></mind:BookInformationService>

Esimerkkikoodia

Page 31: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

Prosessi<process:AtomicProcess rdf:ID="AmazonPriceProcess"> <service:describes rdf:resource="#AmazonPriceService"/> <process:hasInput rdf:resource="#BookInfo"/> <process:hasOutput rdf:resource="#BookPrice"/></process:AtomicProcess>

<process:Input rdf:ID="BookInfo"> <rdfs:label>Book</rdfs:label> <process:parameterType rdf:datatype="&xsd;anyURI">&bibtex;Book </process:parameterType></process:Input>

Page 32: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

Heikkouksia- Standardi ei määrittele poikkeusten hallintaa- Laadun ja turvallisuuden varmistus puutteellista / olematonta- On suoraan riippuvainen ontologioiden kehityksestä

Page 33: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language

Pohdintaa &

kysymyksiä

Page 34: they seem The OWL-S are not what - University of Helsinki · 2013. 4. 15. · Onki.fi pöllöt. Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL. OWL Web Ontology Language