Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im...
Transcript of Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im...
![Page 1: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/1.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Web Ontology Language: OWL
Michael Mandl
Centrum für Informations- und Sprachverarbeitung/Institut für Informatik,
Ludwig-Maximilians-Universität München
19.05.2009
![Page 2: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/2.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Überblick
Motivation
Grundlagen
Die OWL Sprache im Detail
Literatur
Fragen - Diskussion
![Page 3: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/3.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Anforderungen an Ontologiesprachen
• wohldefinierte Syntax• wohldefinierte Semantik• effiziente Beweisführung ( reasoning support )• ausreichende Expressivität• Einfachheit der Ausdrücke
![Page 4: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/4.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Anforderungen an Ontologiesprachen
• wohldefinierte Syntax• wohldefinierte Semantik• effiziente Beweisführung ( reasoning support )• ausreichende Expressivität• Einfachheit der Ausdrücke
![Page 5: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/5.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Die OWL-Sprachen
• es gibt drei Arten von OWL:OWL Lite ⊆ OWL DL ⊆ OWL Full
• OWL Lite• entscheidbar• wenig ausdrucksstark• Komplexität ExpTime
• OWL DL• entscheidbar• wird von aktuellen Softwarewerkzeugen unterstützt• Komplexität NExpTime
• OWL Full• enthält ganz RDFS• unentscheidbar
![Page 6: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/6.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Die OWL-Sprachen
• es gibt drei Arten von OWL:OWL Lite ⊆ OWL DL ⊆ OWL Full
• OWL Lite• entscheidbar• wenig ausdrucksstark• Komplexität ExpTime
• OWL DL• entscheidbar• wird von aktuellen Softwarewerkzeugen unterstützt• Komplexität NExpTime
• OWL Full• enthält ganz RDFS• unentscheidbar
![Page 7: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/7.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Die OWL-Sprachen
• es gibt drei Arten von OWL:OWL Lite ⊆ OWL DL ⊆ OWL Full
• OWL Lite• entscheidbar• wenig ausdrucksstark• Komplexität ExpTime
• OWL DL• entscheidbar• wird von aktuellen Softwarewerkzeugen unterstützt• Komplexität NExpTime
• OWL Full• enthält ganz RDFS• unentscheidbar
![Page 8: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/8.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Die OWL-Sprachen
• es gibt drei Arten von OWL:OWL Lite ⊆ OWL DL ⊆ OWL Full
• OWL Lite• entscheidbar• wenig ausdrucksstark• Komplexität ExpTime
• OWL DL• entscheidbar• wird von aktuellen Softwarewerkzeugen unterstützt• Komplexität NExpTime
• OWL Full• enthält ganz RDFS• unentscheidbar
![Page 9: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/9.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Die OWL-Sprachen
• es gibt drei Arten von OWL:OWL Lite ⊆ OWL DL ⊆ OWL Full
• OWL Lite• entscheidbar• wenig ausdrucksstark• Komplexität ExpTime
• OWL DL• entscheidbar• wird von aktuellen Softwarewerkzeugen unterstützt• Komplexität NExpTime
• OWL Full• enthält ganz RDFS• unentscheidbar
![Page 10: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/10.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL Syntax Überblick
• OWL basiert syntaktisch auf RDF/RDFS• RDF/RDFS wird gewöhnlich in XML kodiert• OWL kann aber auch anders kodiert werden, z.B.
• abstrakte Darstellung• functional-style-syntax• Manchester-Syntax• UML
![Page 11: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/11.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL Syntax Überblick
• OWL basiert syntaktisch auf RDF/RDFS• RDF/RDFS wird gewöhnlich in XML kodiert• OWL kann aber auch anders kodiert werden, z.B.
• abstrakte Darstellung• functional-style-syntax• Manchester-Syntax• UML
![Page 12: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/12.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL Syntax Überblick
• OWL basiert syntaktisch auf RDF/RDFS• RDF/RDFS wird gewöhnlich in XML kodiert• OWL kann aber auch anders kodiert werden, z.B.
• abstrakte Darstellung• functional-style-syntax• Manchester-Syntax• UML
![Page 13: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/13.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Grundlagen: URI
• URI = Uniform Resource Identifier• dienen zur weltweiten eindeutigen Bezeichnungvon Ressourcen
• Ressource kann alles sein, was eine klare Identitätbesitzt
![Page 14: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/14.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Grundlagen: URI
• URI = Uniform Resource Identifier• dienen zur weltweiten eindeutigen Bezeichnungvon Ressourcen
• Ressource kann alles sein, was eine klare Identitätbesitzt
![Page 15: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/15.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Grundlagen: RDF
• RDF = Resource Description Framework• RDF-Tripel haben die Form:Subjekt Pradikat−−−−−→Objekt bzw.:(URI ∪ bnode) × URI × (URI ∪ bnode ∪ Literal)
• eine Menge von Tripeln heißt auch RDF-Graph
![Page 16: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/16.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Grundlagen: RDF
• RDF = Resource Description Framework• RDF-Tripel haben die Form:Subjekt Pradikat−−−−−→Objekt bzw.:(URI ∪ bnode) × URI × (URI ∪ bnode ∪ Literal)
• eine Menge von Tripeln heißt auch RDF-Graph
![Page 17: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/17.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Ein RDF-Graph
http://www.w3.org/People/EM/contact#me
http://www....contact#Person
Eric Miller
mailto:[email protected]
Dr.
http://www.w3.o.../<-rdf-syntax-ns#type
http://ww...fullName
http://ww...mailbox
http://ww...personalTitle
![Page 18: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/18.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
In XML1 <?xml vers ion=" 1 .0 "?>2 <rdf:RDF xm l n s : r d f=" h t t p : //www.w3 . org /1999/02/3 22− rd f−syntax−ns#"4 xm l n s : c on t a c t=" h t t p : //www.w3 . org /2000/10/5 swap/pim/ con ta c t#">6 <con t a c t :P e r s o n7 r d f : a b o u t=" h t t p : //www.w3 . org /Peop le /EM/8 con t a c t#me">9 <con t a c t : f u l lName>
10 E r i c M i l l e r11 </ con t a c t : f u l lName>12 <con t a c t :ma i l b o x13 r d f : r e s o u r c e="mailto:em@w3 . org "/>14 <c o n t a c t : p e r s o n a l T i t l e>15 Dr .16 </ c o n t a c t : p e r s o n a l T i t l e>17 </ con t a c t :P e r s o n>18
19 </ rdf :RDF>
![Page 19: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/19.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Grundlagen: RDF Schema
• RDFS ist ein spezielles RDF-Vokabular( RDF-Schemas sind legale RDF-Graphen )
• ermöglicht Spezifikation von schematischemWissen
• mit RDFS sind einfache Ontologien konstruierbar
![Page 20: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/20.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Grundlagen: RDF Schema
• RDFS ist ein spezielles RDF-Vokabular( RDF-Schemas sind legale RDF-Graphen )
• ermöglicht Spezifikation von schematischemWissen
• mit RDFS sind einfache Ontologien konstruierbar
![Page 21: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/21.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Properties und Klassen in RDFS
[URI]rdf :type−−−−→ rdfs : class
<r d f : D e s c r i p t i o n r d f : a b o u t="Moto rVeh i c l e "><r d f : t y p e r d f : r e s o u r c e=
" h t t p : //www.w3 . org /2000/01/ rd f−schema#C l a s s "/></ r d f : D e s c r i p t i o n>
bzw. kürzer:
<r d f s : C l a s s r d f : a b o u t="MotorVeh i c l e "/>
[URI]rdf :type−−−−→ rdf : Property
( in N3 Notation )ex:employer rdf:type rdf:Propertyex:employer rdfs:domain ex:Person
ex:employer rdfs:range ex:Organization
![Page 22: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/22.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Properties und Klassen in RDFS
[URI]rdf :type−−−−→ rdfs : class
<r d f : D e s c r i p t i o n r d f : a b o u t="Moto rVeh i c l e "><r d f : t y p e r d f : r e s o u r c e=
" h t t p : //www.w3 . org /2000/01/ rd f−schema#C l a s s "/></ r d f : D e s c r i p t i o n>
bzw. kürzer:
<r d f s : C l a s s r d f : a b o u t="MotorVeh i c l e "/>
[URI]rdf :type−−−−→ rdf : Property
( in N3 Notation )ex:employer rdf:type rdf:Propertyex:employer rdfs:domain ex:Person
ex:employer rdfs:range ex:Organization
![Page 23: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/23.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Properties und Klassen in RDFS
[URI]rdf :type−−−−→ rdfs : class
<r d f : D e s c r i p t i o n r d f : a b o u t="Moto rVeh i c l e "><r d f : t y p e r d f : r e s o u r c e=
" h t t p : //www.w3 . org /2000/01/ rd f−schema#C l a s s "/></ r d f : D e s c r i p t i o n>
bzw. kürzer:
<r d f s : C l a s s r d f : a b o u t="MotorVeh i c l e "/>
[URI]rdf :type−−−−→ rdf : Property
( in N3 Notation )ex:employer rdf:type rdf:Propertyex:employer rdfs:domain ex:Person
ex:employer rdfs:range ex:Organization
![Page 24: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/24.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Grenzen der Ausdrucksstärke von RDF Schema
Das geht mit RDFS nicht:
• Lokaler Geltungsbereich von Properties• Disjunktheit von Klassen• Boole’sche Kombination von Klassen• Kardinalitätsbeschränkungen• Spezielle Charakteristika von Properties
![Page 25: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/25.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Grenzen der Ausdrucksstärke von RDF Schema
Das geht mit RDFS nicht:• Lokaler Geltungsbereich von Properties• Disjunktheit von Klassen• Boole’sche Kombination von Klassen• Kardinalitätsbeschränkungen• Spezielle Charakteristika von Properties
![Page 26: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/26.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Der OWL-Stammbaum
Frames
RDF/RDFS
Description Logics
OIL
DAML-ONT
DAML+OIL OWL
![Page 27: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/27.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Der OWL-Stammbaum
Frames
RDF/RDFS
Description Logics
OIL
DAML-ONT
DAML+OIL OWL
![Page 28: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/28.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Wie mächtig sind OWL Lite - OWL DL?
• OWL Lite ∼= SHIF(D)• OWL DL ∼= SHOIN (D)• ( OWL 2 ∼= SROIQ(D) )
![Page 29: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/29.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Wie mächtig sind OWL Lite - OWL DL?
• OWL Lite ∼= SHIF(D)• OWL DL ∼= SHOIN (D)• ( OWL 2 ∼= SROIQ(D) )
![Page 30: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/30.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL Lite ( SHIF(D) )
SHIF(D) steht für:
• S ist ALC mit transitiven RollenALC bildet Klassen aus:
⊥ |> |A | ¬C |C t D |C u D | ∃R.C | ∀R.C
• H = Rollenhierarchien• I = inverse Rollen• F = funktionale Rollen• (D) = Datentypen
![Page 31: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/31.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL Lite ( SHIF(D) )
SHIF(D) steht für:• S ist ALC mit transitiven RollenALC bildet Klassen aus:
⊥ |> |A | ¬C |C t D |C u D | ∃R.C | ∀R.C
• H = Rollenhierarchien• I = inverse Rollen• F = funktionale Rollen• (D) = Datentypen
![Page 32: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/32.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL: Ableitung von Klassen/Properties aus RDF
rdfs:Resource
rdfs:Class
owl:Class
rdf:Property
owl:objectProperty owl:DatatypeProperty
![Page 33: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/33.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL Lite RDF-Schema FeaturesClass
<owl : C l a s s r d f : ID="Winery"/><owl : C l a s s r d f : ID="Region"/><owl : C l a s s r d f : ID="ConsumableThing"/>
![Page 34: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/34.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL Lite RDF-Schema Featuresrdfs:subClassOf
<owl : C l a s s r d f : ID="a s s o c i a t e P r o f e s s o r "><r d f s : subC la s sOf r d f : r e s o u r c e=
"#academicStaf fMember"/></owl : C la s s>
![Page 35: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/35.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL Lite RDF-Schema FeaturesObjectProperties
<owl : Data typePrope r t y r d f : ID="isTaughtBy"><owl : domain r d f : r e s o u r c e="#cou r s e "/><owl : range r d f : r e s o u r c e="#academicStaf fMember"/><r d f s : subPrope r tyOf r d f : r e s o u r c e="#i n v o l v e s "/>
</owl : DatatypePrope r ty>
![Page 36: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/36.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL Lite RDF-Schema FeaturesDatatypeProperties
<owl : Data typePrope r t y r d f : ID="age"><r d f s : range r d f : r e s o u r c e=" ht tp : //www.w3 . . .# nonNega t i v e I n t e g e r "/>
</owl : DatatypePrope r ty>
![Page 37: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/37.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL Lite RDF-Schema FeaturesSubProperties
<owl : Data typePrope r t y r d f : ID="isTaughtBy"><owl : domain r d f : r e s o u r c e="#cou r s e "/><owl : range r d f : r e s o u r c e="#academicStaf fMember"/><r d f s : subPrope r tyOf r d f : r e s o u r c e="#i n v o l v e s "/>
</owl : DatatypePrope r ty>
![Page 38: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/38.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL Lite ÄquivalenzequivalentClass
<owl : C l a s s r d f : ID=" f a c u l t y "><owl : e q u i v a l e n t C l a s s r d f : r e s o u r c e="#academicStaf fMember">
</owl : C la s s>
![Page 39: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/39.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL Lite weitere Properties
• <owl:equivalentProperty> (P1 ≡ P2)• <owl:sameIndividualAs> ({x1} ≡ {x2})• <owl:differentFrom> ({x1} v ¬{x2})• <owl:AllDifferent>
![Page 40: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/40.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL Lite Propertie-RelationenTransitiveProperty
<owl : Ob j e c tP rope r t y r d f : ID=" l o c a t e d I n "><r d f : t ype r d f : r e s o u r c e="&owl ; T r a n s i t i v e P r o p e r t y "/><r d f s : domain r d f : r e s o u r c e="&owl ; Thing"/><r d f s : range r d f : r e s o u r c e="#Region"/>
</owl : Ob j ec tPrope r t y>
• inverseOf• SymmetricProperty• FunctionalProperty• InverseFunctionalProperty
![Page 41: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/41.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL Lite Propertie-RelationenTransitiveProperty
<owl : Ob j e c tP rope r t y r d f : ID=" l o c a t e d I n "><r d f : t ype r d f : r e s o u r c e="&owl ; T r a n s i t i v e P r o p e r t y "/><r d f s : domain r d f : r e s o u r c e="&owl ; Thing"/><r d f s : range r d f : r e s o u r c e="#Region"/>
</owl : Ob j ec tPrope r t y>
• inverseOf• SymmetricProperty• FunctionalProperty• InverseFunctionalProperty
![Page 42: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/42.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL Lite Property RestrictionsExistenzquantifizierung
<owl : C l a s s r d f : about="#academicStaf fMember"><r d f s : subClassOf>
<owl : R e s t r i c t i o n ><owl : onPrope r t y r d f : r e s o u r c e="#tea ch e s "/><owl : someValuesFromr d f : r e s o u r c e="#unde rg radua t eCou r s e"/>
</owl : R e s t r i c t i o n ></ r d f s : subClassOf>
</owl : C la s s>
zugehörige Formel aus der Beschreibungslogik?academicStaffMember v ∃teaches.undergraduateCourse
![Page 43: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/43.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL Lite Property RestrictionsExistenzquantifizierung
<owl : C l a s s r d f : about="#academicStaf fMember"><r d f s : subClassOf>
<owl : R e s t r i c t i o n ><owl : onPrope r t y r d f : r e s o u r c e="#tea ch e s "/><owl : someValuesFromr d f : r e s o u r c e="#unde rg radua t eCou r s e"/>
</owl : R e s t r i c t i o n ></ r d f s : subClassOf>
</owl : C la s s>
zugehörige Formel aus der Beschreibungslogik?
academicStaffMember v ∃teaches.undergraduateCourse
![Page 44: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/44.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL Lite Property RestrictionsExistenzquantifizierung
<owl : C l a s s r d f : about="#academicStaf fMember"><r d f s : subClassOf>
<owl : R e s t r i c t i o n ><owl : onPrope r t y r d f : r e s o u r c e="#tea ch e s "/><owl : someValuesFromr d f : r e s o u r c e="#unde rg radua t eCou r s e"/>
</owl : R e s t r i c t i o n ></ r d f s : subClassOf>
</owl : C la s s>
zugehörige Formel aus der Beschreibungslogik?academicStaffMember v ∃teaches.undergraduateCourse
![Page 45: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/45.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL Lite Property RestrictionsAllquantifizierung
<owl : C l a s s r d f : about="#f i r s t Y e a r C o u r s e "><r d f s : subClassOf>
<owl : R e s t r i c t i o n ><owl : onPrope r t y r d f : r e s o u r c e="#isTaughtBy"/><owl : a l lVa l u e sF romr d f : r e s o u r c e="#P r o f e s s o r "/>
</owl : R e s t r i c t i o n ></ r d f s : subClassOf>
</owl : C la s s>
zugehörige Formel aus der Beschreibungslogik?firstY earCourse v ∀isTaughtBy.Professor
![Page 46: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/46.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL Lite Property RestrictionsAllquantifizierung
<owl : C l a s s r d f : about="#f i r s t Y e a r C o u r s e "><r d f s : subClassOf>
<owl : R e s t r i c t i o n ><owl : onPrope r t y r d f : r e s o u r c e="#isTaughtBy"/><owl : a l lVa l u e sF romr d f : r e s o u r c e="#P r o f e s s o r "/>
</owl : R e s t r i c t i o n ></ r d f s : subClassOf>
</owl : C la s s>
zugehörige Formel aus der Beschreibungslogik?
firstY earCourse v ∀isTaughtBy.Professor
![Page 47: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/47.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL Lite Property RestrictionsAllquantifizierung
<owl : C l a s s r d f : about="#f i r s t Y e a r C o u r s e "><r d f s : subClassOf>
<owl : R e s t r i c t i o n ><owl : onPrope r t y r d f : r e s o u r c e="#isTaughtBy"/><owl : a l lVa l u e sF romr d f : r e s o u r c e="#P r o f e s s o r "/>
</owl : R e s t r i c t i o n ></ r d f s : subClassOf>
</owl : C la s s>
zugehörige Formel aus der Beschreibungslogik?firstY earCourse v ∀isTaughtBy.Professor
![Page 48: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/48.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL DL ( SHOIN (D) )
OWL DL enthält OWL Lite sowie zusätzlich:• O nominals ( Definition durch Aufzählung )• N Zahlenrestriktionen
![Page 49: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/49.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL DL ( SHOIN (D) )
OWL DL enthält OWL Lite sowie zusätzlich:• O nominals ( Definition durch Aufzählung )• N Zahlenrestriktionen
![Page 50: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/50.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL DLoneOf / aufgezählte Klassen
<owl : oneOf r d f : parseType="C o l l e c t i o n "><owl : Thing r d f : about="#Monday"/><owl : Thing r d f : about="#Tuesday"/>. . .
</owl : oneOf>
![Page 51: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/51.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL DLhasValue
<r d f s : subClassOf><owl : R e s t r i c t i o n >
<owl : onPrope r t y r d f : r e s o u r c e="#hasSugar"/><owl : hasVa lue r d f : r e s o u r c e="#Dry"/>
</owl : R e s t r i c t i o n ></ r d f s : subClassOf>
![Page 52: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/52.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL DLBoole’sche Kombinationen/Disjunktheit/Kardinalitätsbeschränkungen
<owl : C l a s s r d f : about="#cou r s e"><r d f s : subClassOf>
<owl : R e s t r i c t i o n ><owl : complementOf r d f : r e s o u r c e="#staf fMember"/>
</owl : R e s t r i c t i o n ></ r d f s : subClassOf>
</owl : C la s s>
• <owl:unionOf>• <owl:intersectionOf>• <owl:disjointWith>
• <owl:minCardinality>• <owl:maxCardinality>• <owl:cardinality>
![Page 53: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/53.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL DLBoole’sche Kombinationen/Disjunktheit/Kardinalitätsbeschränkungen
<owl : C l a s s r d f : about="#cou r s e"><r d f s : subClassOf>
<owl : R e s t r i c t i o n ><owl : complementOf r d f : r e s o u r c e="#staf fMember"/>
</owl : R e s t r i c t i o n ></ r d f s : subClassOf>
</owl : C la s s>
• <owl:unionOf>• <owl:intersectionOf>• <owl:disjointWith>
• <owl:minCardinality>• <owl:maxCardinality>• <owl:cardinality>
![Page 54: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/54.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Protege
Konstruktion einer kleinen Ontologie mithilfe des Editors “Protege”an dieser Stelle
![Page 55: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/55.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
OWL Lite vs. OWL Full
benutzen das gleiche Vokabular, Unterschiede:• Typrestriktion ( z.B. eine Klasse darf nicht zugleich einIndividuum sein )
• in OWL DL gibt es keine Restriktionen auf der Sprache selbst• in OWL DL explizite Typisierung• in OWL DL Property Separation• in OWL DL keine transitiven Kardinalitätsrestriktionen• in OWL DL beschränkte anonyme Klassen
![Page 56: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/56.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Neuerungen in OWL 2
• Schlüssel• Property-Ketten• mehr Datentypen• qualifizierte Kardinalitätsbeschränkungen• asymmetrische, reflexive und disjunkte Properties• verbesserte Annotation( formale Äquivalenz zu UML )
![Page 57: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/57.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Neuerungen in OWL 2
• Schlüssel• Property-Ketten• mehr Datentypen• qualifizierte Kardinalitätsbeschränkungen• asymmetrische, reflexive und disjunkte Properties• verbesserte Annotation( formale Äquivalenz zu UML )
![Page 58: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/58.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Quellen:
Grigoris Antoniou, Frank van HarmelenWeb Ontology Language: OWLhttp://www.cs.vu.nl/~frankh/postscript/OntoHandbook03OWL.pdf
Pascal Hitzler, Markus Krötzsch, Sebastian RudolphFolien: Semantic Web Technologies 1http://semantic-web-grundlagen.de/wiki/SWebT1_WS08/09#Online-Ressourcen
![Page 59: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/59.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Fragen - Diskussion
Fragen
![Page 60: Web Ontology Language: OWL · 2009. 5. 27. · ÜberblickMotivationGrundlagenDie OWL Sprache im DetailLiteraturFragen - Diskussion InXML 1 2](https://reader035.fdocuments.us/reader035/viewer/2022071411/6107acc89495bc4f586ed440/html5/thumbnails/60.jpg)
Überblick Motivation Grundlagen Die OWL Sprache im Detail Literatur Fragen - Diskussion
Fragen -Diskussion
Diskussion