Transcript Implementeren en toepassen van Web Ontology Language (OWL

Implementeren en toepassen van
Web Ontology Language (OWL) in
Semantic Media Wiki (SMW)
Voorbeeld van een resultaat van het
vak Capita selecta specialisatie
OWL toepassing in Semantic
Media Wiki
• Inleiding
• OWL toegepast in Semantic Wiki
• Demo van de toepassing in Semantic
MediaWiki ter illustratie
21 november 2009
TouW Informatica Lustrum Symposium: Forensic Intelligence
Rineke Oostenrijk
1
Inleiding (1)
• Wie ben ik
• Capita selecta
“Semantic Web”
21 november 2009
TouW Informatica Lustrum Symposium: Forensic Intelligence
Rineke Oostenrijk
2
Inleiding (2)
• Wat is Semantic MediaWiki (SMW)
Definitie: Een semantic wiki is een wiki, met een onderliggend kennismodel,
dat in wiki pagina’s wordt beschreven via semantisch annotaties.
Informatie over data en relaties tussen pagina’s zijn opvraagbaar en
kunnen geexporteerd worden als een database
• Wat kun je met SMW
• Hoe doe je dat
–
–
–
–
–
Categorieën en Eigenschappen
Pagina’s (artikelen)
Formulieren
Sjablonen (templates)
Functies
21 november 2009
TouW Informatica Lustrum Symposium: Forensic Intelligence
Rineke Oostenrijk
3
Inleiding (3)
Analoge begrippen:
Semantic MediaWiki
Informatica
Category, Categorie
Class, Entiteit
Property, Eigenschap
Relatie, Associatie, Attribuut
Pagina, Artikel
Instantie, Object
Web Ontology Language
Data Definition language
Ontologie
Database + DDL
Categorie +Eigenschappen
+Sjablonen +Formulieren
Model driven development
RDF triple
Cel in datatabel
21 november 2009
TouW Informatica Lustrum Symposium: Forensic Intelligence
Rineke Oostenrijk
4
Evolutie van project
Beschrijven van
OWL Concept
Annoteren van
Categorieen,
Eigenschappen en
pagina’s met
ontologische
eigenschappen
Valideren van
pagina’s tegen
de ontologische
structuur
Februari
April
Augustus
Data
Ontologie
Rules
21 november 2009
TouW Informatica Lustrum Symposium: Forensic Intelligence
Rineke Oostenrijk
5
Pooh en de herkenning
21 november 2009
TouW Informatica Lustrum Symposium: Forensic Intelligence
Rineke Oostenrijk
6
OWL als onderdeel van SW
Resource Description Framework
RDF Voorbeeld:
OWL presentatie is gemaakt door Rineke
Subject
url OWL
presentatie
Property
dcterms:creator
uitwerking in xml:
uri Rineke
<rdf:RDF>
<rdf:Description about="http://www.adres/owl.ppt">
<dcterms:creator rdf:resource ="http://www.adres/rineke">
</dcterms:creator>
</rdf:Description>
</rdf:RDF>
21 november 2009
Object
TouW Informatica Lustrum Symposium: Forensic Intelligence
Rineke Oostenrijk
7
OWL toepassen in SMW
datamodel (beschrijvend)
OWL Concept
in ‘onze SMW’
21 november 2009
TouW Informatica Lustrum Symposium: Forensic Intelligence
Rineke Oostenrijk
8
OWL toepassen in SMW
Datamodel (Annotatie)
Specialisatie
van SW
Constructie
Zie Categorie
OWL Constructie
21 november 2009
TouW Informatica Lustrum Symposium: Forensic Intelligence
Rineke Oostenrijk
9
Annoteren SW objecten
OWL Properties
•
•
•
•
On Classes, voor Categorieën
On Properties, voor Eigenschappen
On Individuals, voor pagina’s
On Restrictions, voor Restrictie pagina’s
– Vastleggen constraint op Eigenschap via restrictie
eigenschap Owl:onProperty
– Mogelijke constraints met de restrictie eigenschappen
•
•
•
•
Owl:allValuesFrom
Owl:cardinality
Owl:maxCardinality
Owl:minCardinality
• Interface: OWL constructies gebruik
21 november 2009
TouW Informatica Lustrum Symposium: Forensic Intelligence
Rineke Oostenrijk
10
Valideren
• Voldoet een pagina aan de ontologische
kenmerken van zijn context : Toetsen met Rules
• Nut: Garantie dat een RDF export van SW
pagina’s compatibel is met een
gemeenschappelijk, gedeeld kennis domein
(Knowledge Base)
21 november 2009
TouW Informatica Lustrum Symposium: Forensic Intelligence
Rineke Oostenrijk
11
Pagina en context
• Blauw:
ontologische
kenmerken
• Validatie van
pagina
– via
Categorie
– via
Eigenschap
21 november 2009
TouW Informatica Lustrum Symposium: Forensic Intelligence
Rineke Oostenrijk
12
Uitwerking Rule
• Rule definities in: Rules on Properties
• Voorbeeld definitie Sjabloon:Rule InverseOf
: Premisse: P Owl:inverseOf IP AND Pg P In (n = 1 .. m)
: IF (voor elke n <= m) In IP Pg => OK
Voorbeeld: Rineke isMoederVan Rosa en Rosa isKindVan Rineke
isKindVan en isMoederVan zijn inverse eigenschappen.
De rule in woorden :
Stel Eigenschap isMoederVan Owl:inverseOf isKindVan
en de pagina Rineke heeft eigenschap isMoederVan voor (Rosa, Eva)
Als geldt voor (Rosa, Eva) isKindVan Rineke
Dan pagina = valide
• Test alle ERRORs met pagina: Test Nonsens
• Test willekeurige pagina met: Check_Pagina_op_OWL_Properties
21 november 2009
TouW Informatica Lustrum Symposium: Forensic Intelligence
Rineke Oostenrijk
13
Einde
Zijn er nog vragen?
21 november 2009
TouW Informatica Lustrum Symposium: Forensic Intelligence
Rineke Oostenrijk
14