OWL: Ontology Web Language

Presentazione sul tema: "OWL: Ontology Web Language"— Transcript della presentazione:

1 OWL: Ontology Web Language
Pierluigi D’Amadio a.a.2003/2004

2 Web Semantico: una visione?
Estensione del WWW: Macchine capaci di processare e di “capire” il significato dei dati Linguaggi proposti dal W3C XML RDF RDF(S) OWL Syntax Semantics

3 Ontologie: definizioni a confronto
“a systematic explanation of being” (Philosophy) “… defines the basic terms and relations including the vocabulary of a topic area as well as the rules for combining terms and relations to define extensions to the vocabulary.” (Neches) “… an explicit specification of a conceptualization.” (Gruber) “An ontology is a formal and explicit specification of a shared conceptualization.” (Borst) “… a logical theory which gives an explicit, partial account of a conceptualization.” (Guarino)

4 XML Vantaggi: estendibilità del linguaggio: ciascuno ha la possibilità di scrivere un proprio schema fornisce uno standard per rappresentare le informazioni tramite alberi etichettati Svantaggi: La semantica non è specificata formalmente

5 RDF versus XML In XML è importante l’ordine con cui sono fatte le asserzioni, in RDF no. La semantica in RDF è specificata formalmente, in XML è immersa nelle etichette che si associano ai tag e nella sintassi del DTD. La specifica formale di RDF è raggiungibile a:

6 RDF: Modello Soggetto: La risorsa che si vuole descrivere
Predicato: Una proprietà della risorsa Oggetto: Il valore della proprietà Una combinazione dei precedenti elementi è detta statement (o regola) emptiesInto River BodyOfWater Il valore della proprietà [Oggetto] Una proprietà della risorsa [Predicato] La risorsa che si vuole descrivere [Soggetto]

7 RDF: Esempio RDF fornisce l’attributo ID per identificare la risorsa che viene descritta. 1 2 L’attributo ID vive nel namespace RDF. <?xml version="1.0"?> <River rdf:ID="Yangtze" xmlns:rdf=" xmlns=" <length>6300 kilometers</length> <startingLocation>western China's Qinghai-Tibet Plateau</startingLocation> <endingLocation>East China Sea</endingLocation> </River> 3 L’identificatore "fragment” indica la fine del namespace.

8 RDF Schema RDF Schema fornisce nozioni di modellazione per:
esprimere classi (Class) e le interrelazioni tra classi (subClassOf). definire proprietà (Property,subPropertyOf) e associarle alle classi. domain, range definire le istanze (non necessariamente ground) con la proprietà type River BodyOfWater emptiesInto domain range type Yangtzee River

9 OWL: Sommario Origini di OWL Properties Class
Symmetric, Transitive, Functional, Inverse Functional range, domain, subPropertyOf, inverseOf, equivalentProperty Class SubClassOf, intersectionOf, unionOf, complementOf, Enumeration, Equivalence, Disjoint Statements sulle istanze ground sameIndividualAs,DIfferentFrom,AllDifferent 3 facce di Owl Lite,DL,Full

10 Origini di OWL OWL DAML OIL RDF Tutti influenzati da RDF
DAML = DARPA Agent Markup Language OIL = Ontology Inference Layer DAML+OIL OWL

11 Definire Property in OWL
OWL usa rdfs:range, rdfs:domain, e rdfs:subPropertyOf. OWL introduce due classi di Property: owl:ObjectProperty è la classe di proprietà che hanno come valore un oggetto istanza di una classe (Resource2Resource) owl:DatatypeProperty è la classe di proprietà che hanno come valore un dato di tipo semplice o strutturato (rdfs:Literal o XML Schema built-in datatype)

12 Gerarchia delle property classes
rdf:Property owl:ObjectProperty owl:DatatypeProperty owl:FunctionalProperty owl:InverseFunctionalProperty owl:SymmetricProperty owl:TransitiveProperty FunctionalProperty e InverseFunctionalProperty possono essere usate per associare Resources a Resources, oppure Resources a un RDF Schema Literal o a un XML(S) datatype. InverseProperty è una proprietà di ObjectProperty

13 Esempio: la tassonomia delle sorgenti d’acqua
Ocean Lake BodyOfWater River Stream Sea NaturallyOccurringWaterSource Tributary Brook Rivulet

14 Symmetric Properties Se un sorgente d’acqua A connectsTo una sorgente B, allora la sorgente B connectsTo A. NaturallyOccurringWaterSource Properties: connectsTo: NaturallyOccurringWaterSource connectsTo SymmetricProperty type <owl:ObjectProperty rdf:ID="connectsTo"> <rdf:type rdf:resource=" <rdfs:domain rdf:resource="#NaturallyOccurringWaterSource"/> <rdfs:range rdf:resource="#NaturallyOccurringWaterSource"/> </owl:ObjectProperty>

15 Transitive Properties
Se A è containedIn B, B è containedIn C allora A è containedIn C. Properties: containedIn: BodyOfWater Sea containedIn TransitiveProperty type <owl:ObjectProperty rdf:ID=“containedIn"> <rdf:type rdf:resource=" <rdfs:domain rdf:resource="#Sea"/> <rdfs:range rdf:resource="#BodyOfWater"/> </owl:ObjectProperty>

16 Functional Properties
Per ogni istanza c’è al più un valore per la property Properties: emptiesInto: BodyOfWater River emptiesInto FunctionalProperty type <owl:ObjectProperty rdf:ID=“containedIn"> <rdf:type rdf:resource=" <rdfs:domain rdf:resource="#Sea"/> <rdfs:range rdf:resource="#BodyOfWater"/> </owl:ObjectProperty>

17 Inverse Properties Se una proprietà P1 associa la Resource1 alla Resource2, allora la Inverse property associa la Resource2 alla Resource1 Properties: emptiesInto: BodyOfWater River Properties: feedsFrom: River BodyOfWater feedsFrom emptiesInto inverseOf <owl:ObjectProperty rdf:ID="feedsFrom"> <owl:inverseOf rdf:resource="#emptiesInto"/> <rdfs:domain rdf:resource="#BodyOfWater"/> <rdfs:range rdf:resource="#River"/> </owl:ObjectProperty

18 Inverse Functional Properties
Per un dato valore di range il dominio è unico Properties: emptiesInto: BodyOfWater River BodyOfWater Properties: feedsFrom: River (functional) <owl:ObjectProperty rdf:ID="feedsFrom"> <rdf:type rdf:resource=" <owl:inverseOf rdf:resource="#emptiesInto"/> <rdfs:domain rdf:resource="#BodyOfWater"/> <rdfs:range rdf:resource="#River"/> </owl:ObjectProperty>

19 Global vs Local River Properties: emptiesInto: BodyOfWater Flueve: a River emptiesInto Sea Flueve rdfs:range stabilisce una global restriction su emptiesInto, ossia, rdfs:range value si applica a River e a tutte le sottoclassi di River. Nel contesto di Flueve, vogliamo restringere il range della property emptiesInto alla sola classe Sea, ossia vogliamo una local restriction of emptiesInto.

20 Due forme di rdfs:subClassOf
1 <rdfs:subClassOf rdf:resource="#River"/> Specifica la classe usando l’attributo rdf:resource. <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#emptiesInto"/> <owl:allValuesFrom rdf:resource="#Sea"/> </owl:Restriction> </rdfs:subClassOf> Specifica la risorsa usando owl:Restriction. Specifica che tutti i valori sono presi da Sea 2 anonymous class

21 Restrizioni Tutti i valori devono appartenere ad una data classe (allValuesFrom). Al più un valore deve appartenere ad una certa classe (someValuesFrom). La restrizione prescrive un valore specifico (hasValue). La restrizione impone un vincolo sulla cardinalità delle occorrenze dell’attributo (cardinality,mincardinality,maxcardinality)

22 RDFS OWL Definire Classi in OWL
Le classi di OWL sono molto più espressive delle classi di RDF Schema classes. <rdfs:Class rdf:ID="River"> <rdfs:subClassOf rdf:resource="#Stream"/> </rdfs:Class> <owl:Class rdf:ID="River"> <rdfs:subClassOf rdf:resource="#Stream"/> </owl:Class> RDFS OWL rdfs:Class owl:Class

23 Classi: Esempio River Flueve (French): “un fiume che sfocia nel mare".
Properties: emptiesInto: BodyOfWater Flueve Flueve (French): “un fiume che sfocia nel mare". Rivìere (French): “un fiume che sfocia in un lago o in un altro fiume”. Rivìere

24 intersectionOf <owl:Class rdf:ID="Flueve"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="#River"/> <owl:Restriction> <owl:onProperty rdf:resource="#emptiesInto"/> <owl:allValuesFrom rdf:resource="#Sea"/> </owl:Restriction> </owl:intersectionOf> </owl:Class> I membri di questa classe anonima sono istanze che hanno la proprietà emptiesInto in cui tutti i valori sono istanze di Sea. River Flueve

25 L’ereditarietà multipla
<owl:Class rdf:ID="Flueve"> <rdfs:subClassOf rdf:resource="#River"/> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#emptiesInto"/> <owl:allValuesFrom rdf:resource="#Sea"/> </owl:Restriction> </rdfs:subClassOf> </owl:Class> I membri di questa classe anonima sono istanze che hanno la proprietà emptiesInto in cui tutti i valori sono istanze di Sea. River Flueve Ci potrebbero essere dei Rivers che sfociano nel mare che non sono Flueves

26 unionOf I membri di questa classe anonima sono istanze che hanno la proprietà emptiesInto in cui tutti i valori sono istanze di Sea. Rivìere River <owl:Class rdf:ID="Rivìere"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="#River"/> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="#emptiesInto"/> <owl:allValuesFrom rdf:resource="#Sea"/> </owl:Restriction> <owl:allValuesFrom rdf:resource="#River"/> </owl:unionOf> </owl:Class> </owl:intersectionOf> I membri di questa classe anonima sono istanze che hanno la proprietà emptiesInto in cui tutti i valori sono istanze di River.

27 complementOf WaterSource NaturallyOccurringWaterSource
ManMadeWaterSource NaturallyOccurringWaterSource Intersezione delle WaterSource e il complementOf ManMadeWaterSource. <owl:Class rdf:ID="NaturallyOccurringWaterSource"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="#WaterSource"/> <owl:Class> <owl:complementOf rdf:resource="#ManMadeWaterSource"/> </owl:Class> </owl:intersectionOf>

28 oneOf: enumerare le istanze di una classe
<owl:Class rdf:ID="Kyoto-Protected-River"> <rdfs:subClassOf rdf:resource="#River"/> <owl:oneOf rdf:parseType="Collection"> <geo:River rdf:about=" <geo:River rdf:about=" <geo:River rdf:about=" <geo:River rdf:about=" … </owl:oneOf> </owl:Class> Qui enumeriamo i fiumi che sono protetti dal Trattato di Kyoto

29 equivalentClass Ocean Lake LakeOceanSea Sea Vogliamo affermare che BodyOfWater è equivalente a LakeOceanSea. <owl:Class rdf:ID="BodyOfWater"> <rdfs:subClassOf rdf:resource="#NaturallyOccurringWaterSource"/> <owl:equivalentClass rdf:resource=" </owl:Class>

30 disjointWith <owl:Class rdf:ID="River"> <rdfs:subClassOf rdf:resource="#Stream"/> <owl:disjointWith rdf:resource="#Brook"/> <owl:disjointWith rdf:resource="#Rivulet"/> <owl:disjointWith rdf:resource="#Tributary"/> </owl:Class> In questa definizione di River, un’istanza di River non può essere un’istanza di Brook, Rivulet o Tributary. La proprietà disjointWith è una proprietà simmetrica.

31 Sommario delle proprietà delle classi
Properties: subClassOf: rdfs:Class domain: rdfs:Class range: rdfs:Class rdfs:Class owl:Class owl:Restriction Properties: intersectionOf: rdf:List unionOf: rdf:List complementOf: owl:Class oneOf: rdf:List equivalentClass: owl:Class disjointWith: owl:Class Properties: onProperty: rdf:Property allValuesFrom: rdfs:Class hasValue: someValuesFrom: rdfs:Class cardinality: xsd:nonNegativeInteger minCardinality: xsd:nonNegativeInteger maxCardinality: xsd:nonNegativeInteger

32 OWL statements owl:sameIndividualAs owl:differentFrom owl:AllDifferent
Applicabile a due istanze Rinforza functionalProperty owl:differentFrom Può portare a contraddizioni con functionalProperty owl:AllDifferent Applicabile a un set di istanze

33 Le tre facce di OWL Non tutti hanno bisogno di tutta l’espressività di OWL: OWL Full OWL DL OWL Lite

34 Confronti OWL Full OWL DL OWL Lite Tutto quello che è
stato presentato è disponibile nella versione Full. E’ inoltre possibile miscelare le descrizioni OWL con RDF(S). Non è possibile usare owl:cardinality con TransitiveProperty. Non è possibile avere classi membro, ad esempio definire metaclassi. Non è possibile usare owl:minCardinality o owl:maxCardinality. I soli valori consentiti sono per owl:cardinality sono 0 e 1. Non sono disponibili owl:hasValue, owl:disjointWith, owl:one of, owl:complementOf, owl:unionOf.

35 OWL Guide fornisce una buona descrizione di OWL con molti esempi:
OWL Resources OWL Guide fornisce una buona descrizione di OWL con molti esempi: OWL Reference è una guida completa e dettagliata: Per tutti gli altri documenti OWL, e informazioni su Semantic Web: