OWL2-profiilit Antti Hietasaari.

Esitys aiheesta: "OWL2-profiilit Antti Hietasaari."— Esityksen transkriptio:

1 OWL2-profiilit Antti Hietasaari

2 OWL Web Ontology Language Ontologiakieli
Mallintaa käsitteitä ja niiden välisiä yhteyksiä Luokat ja ominaisuudet Implisiittisen tiedon päättely W3C:n spesifioima Versio 1 vuonna 2004 ja versio 2 vuonna 2009 Useita syntakseja XML, Turtle etc.

3 OWL:n ongelmat Ehkä liiankin ilmaisuvoimainen
Monet sovellukset eivät käytä kaikkia ominaisuuksia Joidenkin päätelmien laskeminen hankalaa tai mahdotonta Esim. ontologian ristiriidattomuus, luokkien sisältyvyys tai olion kuuluminen luokkaan voivat olla mahdottomia laskea

4 OWL:n alikielet ja profiilit
Ongelma ratkaistu luomalla rajoitetumpia alikieliä Osa OWL:n ominaisuuksista kielletty tai rajoitettu OWL 1: OWL DL ja OWL Lite OWL 2: profiilit Tarkoitettu tiettyihin sovelluksiin OWL 2 EL: erittäin suuret ontologiat OWL 2 QL: relaatiotietokantoihin pohjautuvat ontologiat OWL 2 RL: skaalautuva päättely menettämättä liikaa ilmaisuvoimaa

5 OWL 2 EL Pohjautuu EL++ kuvauslogiikkaan
Suunniteltu erityisesti ontologioille, jotka sisältävät suuria määriä luokkia ja ominaisuuksia Esim. SNOMED CT Ontologian ristiriidattomuus, luokkien sisältyvyys ja olion kuuluminen luokkaan laskettavissa polynomiaalisessa ajassa Hyvin samankaltainen kuin OWL 2 DL

6 OWL 2 QL Sovelluksille, jotka käyttävät suuria oliomääriä ja joissa kyselyihin vastaaminen on tärkeää Kyselyt muunnettavissa relaatiotietokantakyselyiksi Mahdollistaa ontologian toteuttamisen relaatiotietokantana Takaa, että kyselyiden tilavaativuus on logaritminen

7 OWL 2 RL Tarjoaa skaalautuvan päättelyn menettämättä liikaa ilmaisuvoimaa Tarkoitettu erityisesti sovelluksille, jotka käyttävät ennestään RDF-muotoista dataa Itse asiassa kaksi kieltä: OWL 2 RL + Direct Semantics ja OWL 2 RL/RDF rules Ensimmäinen on OWL 2 DL:n alikieli Jälkimmäinen määrittelee joukon sääntöjä, joilla voidaan tehdä OWL-tyylisiä päättelyitä mielivaltaisista RDF-graafeista Kielten yhteys: molempien kielten päättelijät tekevät samat päätelmät, kun tietyllä tavalla rajoitettu RL+DS-dokumentti muunnetaan RDF:ksi

8 Alikielten ja profiilien sisältyvyys
Jokainen OWL DL ontologia tai päätelmä on OWL Full ontologia tai päätelmä Jokainen OWL Full päättelijä on OWL DL päättelijä Jokainen OWL Lite ontologia tai päätelmä on OWL DL ontologia tai päätelmä Jokainen OWL EL/QL/RL+DS ontologia tai päätelmä on OWL DL ontologia tai päätelmä Jokainen OWL DL päättelijä on OWL EL/QL/RL+DS päättelijä, mutta ei välttämättä toimi yhtä nopeasti kuin profiilia varten luotu päättelijä Jokainen RDF-dokumentti on OWL RL/RDF rules ontologia Jokainen OWL RL/RDF rules päätelmä on OWL Full päätelmä