Voorbeeld van een resultaat van het vak Capita selecta specialisatie 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

Inleiding (1) Wie ben ik Capita selecta “Semantic Web” 21 november 2009 TouW Informatica Lustrum Symposium: Forensic Intelligence Rineke Oostenrijk

Inleiding (2) Wat is Semantic MediaWiki (SMW) Wat kun je met 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

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

Valideren van pagina’s tegen de ontologische structuur 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 Data April Ontologie Augustus Rules 21 november 2009 TouW Informatica Lustrum Symposium: Forensic Intelligence Rineke Oostenrijk

Pooh en de herkenning 21 november 2009 TouW Informatica Lustrum Symposium: Forensic Intelligence Rineke Oostenrijk

OWL als onderdeel van SW Resource Description Framework RDF Voorbeeld: OWL presentatie is gemaakt door Rineke Subject url OWL presentatie Property dcterms:creator Object uitwerking in xml: <rdf:RDF> <rdf:Description about="http://www.adres/owl.ppt"> <dcterms:creator rdf:resource ="http://www.adres/rineke"> </dcterms:creator> </rdf:Description> </rdf:RDF> uri Rineke 21 november 2009 TouW Informatica Lustrum Symposium: Forensic Intelligence Rineke Oostenrijk

OWL toepassen in SMW datamodel (beschrijvend) OWL Concept in ‘onze SMW’ 21 november 2009 TouW Informatica Lustrum Symposium: Forensic Intelligence Rineke Oostenrijk

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

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

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

Pagina en context Blauw: ontologische kenmerken Validatie van pagina via Categorie via Eigenschap 21 november 2009 TouW Informatica Lustrum Symposium: Forensic Intelligence Rineke Oostenrijk

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

Einde Zijn er nog vragen? 21 november 2009 TouW Informatica Lustrum Symposium: Forensic Intelligence Rineke Oostenrijk