Ontology-driven data system creation software

Transcriptie

1 Ontology-driven data system creation software Lloyd Rutledge TouW-dag 21 maart 2015

2 Pagina 2 Semantic Web in a nutshell A unifiable world-wide database on the World Wide Web Graph of node-edge triples is like one sparse table URI s as universal identifiers Open World Assumption Current data collection may be incomplete No unique naming assumption Multiple URI s for the same thing Much inferencing Helps handle incomplete data Ontologies Define data structure and inferencing

3 Pagina 3

4 Fresnel Forms plugin for Protégé

5 Pagina 5 Fresnel Forms plugin for Protégé Protégé: Top tool for editing a Semantic Web ontology Fresnel Forms plugin lets user design an interface Generates default system interface for ontology GUI-editor for interface specification Fresnel is standard for semantic browser interface specification Interface export to semantic wiki Interface is browsing and form-based annotation Educational context Developed by two ABI projects, some functionality from a third Principles from MDD and Business Rules Protégé used in Semantic Web and MSC Rule based Design Potential use by Masters Thesis students

6

7 Pagina 7

8

9

10 Linked Data Cloud, 2007

11 Pagina 11 Great contribution, but can t it be easier? Model-driven development Start with ontology Automatically generate default interface from it Efficiently tailor that interface Form-based annotation Instead of text editing template parameter code Guides user to enter field values that fit ontology Direct export to Semantic Web

12 Pagina 12

13 Pagina 13 ABI 29 MDD Protégé -OWL Team Thomas Brenninkmeijer, Protégé guru Tim Zwanenberg, XForms/Fresnel guru Harold Pootjes, supervisor Bijdrage Eerste versie plugin voor Protégé Default en GUI voor Fresnel KLAAR! - Augustus 2014

14 Pagina 14

15 Pagina 15 ABI 30 Protégé Forms Team Alex Mekkering, Protégé guru Teun Theunissen, Fresnel guru Joop van de Heijning, wiki guru Rik Bos, supervisor Bijdrage Nu ook export naar wiki Default en GUI functies uitbreiden Fresnel ontologie uitbreiden Verwacht juni 2015

16 Fresnel Forms plugin for Protégé

17 Generating the default interface Pagina 17

18 Pagina 18 Default interface for an ontology Ontology Domain Class range Data type range Cardinality <=> 1 Interface Property-box assignment Autocompletion Wiki link to form for page creation Box displays Entry fields Mandatory or optional List or single

19 Foundation Text URIs rdfs: CSS rdf: :sub- :type Containers :Property :Class :domain is Whole Namespace owl:thing owl:ontology rdfs:isdefinedby owl:imports :subclassof :subpropertyof Default w/o :range Identifier Prefix rdfs:seealso Fragment identifier rdfs:label skos:preflabel rdfs:comment xml:lang Default Frensel Delimiters Cascading Fresnel Fresnel not automatically generated from ontology Class Literal Ontology owl:objectproperty owl:dataproperty owl:annotationproperty :label Psuedo-classes :containerstyle :resourcestyle :propertystyle :labelstyle :valuestyle :Lens Fresnel :allproperties :hideproperties Additional content :member in :showproperties :classlensdomain :showproperties :hideproperties :showproperties rdf:list :mergeproperties :alternateproperties MediaWiki and extensions [[EquivalentURI::...]] SMW Identifier/prefix specs OWF SMW [[Imported from::...]] Wiki page name prefixes MW Each gets own template and form for domainless properties OWF Mouseover on label OWF, content on page OWF Selection of text display from user for label, comment, etc. delimiter= SF Put text: before, after, between, starting, ending, if empty OWF Link style MW Whole table Multiple For template and form tabel SF Single Left Right, class= SF for forms [[Category:]] MW #arraymap/list SF Property: SMW Category:... MW, also: [[Category:...]] in template MW Template:... MW (if domain) Form:... SF (if domain) [[Has default form::...]] on category SF Check box to assign classes if not domain OWF [[Category:...]] on category page MW Nested form access OWF [[Subproperty of::...]] on property page SMW Grouped together on forms and templates by default OWF Page Asssign property in template OWF Un- Sort properties in template OWF autocomplete on category=... SF [[Has default form::...]] on property SF Page String Loaded as part of ontology to process OWF Link from page for property or category OWF Pagename MW, Label on form & template OWF CSS MW Row Cell Template row queries multiple properties for one display SF Description Ontology URI's used in RDF export Secondary prefix for class and property page names Form and template for Namespace (2ary level) general properties from... Top level form and template Wiki page name namespace has levels Ontology (2ary level) Source URI (2ary level) New sublevel Labels for property and class on templates and forms Shows description Adapts language to user Wiki page is member of given category User can enter sorted list as comma-delimited Recognized in wiki data system as Property Category Data display table/template Form for data entry Clicking to new pages leads to given form for data entry Wiki and queries recognize as subcategory Queries using property also recognize superproperties Properties in template and forms are Placed Removed Sorted Values from muliiple properties display as if from one Pull down list shows current pages in target class(es) Clicking to new pages leads to given form for data entry Entered as wiki page name Links to wiki page Entered and displayed as unlinked string Pagina 19

20 Fresnel: RDF interface in RDF Specifies how RDF is display Separates style from content: like CSS for XML Also in RDF Supported by multiple semantic browsers such as Longwell

21 Domain-independent default for browser (Longwell) With (handmade) Fresnel style

22 Pagina 22 Default browser Wikipedia Fresnel Forms, default Property order not normalized Property display for type No tailored CSS Simple two-column table

23 Pagina 23 Default Form Order same as browser Shows all properties Browser only those with values Input fields special for data types Cardinality min/max =1 Optional or mandatory List or single Autocompletion to class members

24 Pagina 24 Falco Paul s BPMIT Master s thesis What is best default property order? Compares algorithms for sorting ontology properties in browsers Wikipedia infoboxes are truth set Simple heuristic outperforms various text-processing algorithms An ABI student s research context assignment will apply this to Fresnel Forms Resulting Fresnel Forms makes a better default interface Especially for Wikipedia, albeit with chicken-egg paradox

25 Editing the interface with Fresnel Forms

26 Pagina 26 Edited browser Wikipedia Fresnel Forms, edited Property order easy to change CSS Fits in Fresnel standard <div>-based better than table Awards is more page link than data annotation Maybe with SPARQL queries Age calculation Honorific acronyms Ordering of multiple values works But via the wiki code Not via Semantic Web

27 Pagina 27

28 Pagina 28

29 That s fine for one infobox, but what about all the others*? Fresnel Forms scales to process the entire DBpedia ontology Default GUI display appears in a few minutes Fresnel generation takes about a half hour Protégé on special server makes wiki in about an hour The new, improved Wikipedia interface is right here on my laptop Jimmy Wales just needs to import the wiki XML And install a few Semantic MediaWiki extensions Existing infoboxes share same foundational syntax Wikibots can automate some simple cleanup And/or modified existing infobox templates can map to new ones DBpedia ontology needs to be up-to-date Default interface could use some tailoring * ~500 from Fresnel Forms algorithm applied to the DBpedia ontology Pagina 29

30 Pagina 30

31

32 Paper submission van de ABI s Pagina 32

33 Pagina 33 Fresnel Forms summary Efficient building of data system interface for given ontology Wikipedia infoboxes can be rebuilt with this approach and tool Valorization: the OU made Wikipedia resilient and now some research context

34 Pagina 34 Future work: the same, but with rules Apply the course Rule based Design Relation algebra logic Ampersand tool Relation algebra constraints plus Semantic Web inferencing Masters thesis students already busy with Ampersand to Semantic web case study conversions Potential software Automatic conversion Ampersand to Semantic Web plus Fresnel New Protégé plugin adds relation algebra rules to ontology Plus reasoner in Protégé? Fresnel Forms generates wiki that handles rules as constraints Like the Ampersand wiki And then with BI

35 Pagina 35 Semantic web in OU onderwijs Bachelors Vrije ruimte Cursus Semantic web ABI projecten Masters 2009: Capita Selecta Thema Semantic Web Misschien: Ontwerpen van Bedrijfsregels voor MCS OBR opdracht maar dan op Protégé Afstudeer onderwerpen Ph.D Jij?

36 Model-driven development gedrag interfacespecificatie bedrijfsregels gedrag informatiemodel default interfacespecificatie informatiemodel nr titel aantal tracks Album Albumnr Titel Aantal 1 i generatie album volgnr titel componist * Track Album Volgnr Titel Componistnaam i i from OU course T37121 Model-driven development workbook

37

38 + = + Van OU course T64211 Semantic web werkboek en tekstboeken

39 Ontwerpen met Bedrijfsregels - Ampersand RULE "Toegelaten identificatiemiddelen": vogaanvrageridmsoort~;vogaanvrageridmsoort 'Paspoort' \/ \/'ID kaart' \/ \/'Rijbewijs' MEANING "Voor het identificeren van de aanvrager met fysieke middelen zijn toegestaan: Paspoort, ID kaart, Rijbewijs" MESSAGE "U mag hier alleen 'Paspoort', 'ID kaart' of of 'Rijbewijs' invullen." Van Masters Scriptie Pim Bos Pagina 39

40 Van Ampersand naar Semantic web Ampersand gbabsn :: NatuurlijkPersoon -> BurgerServiceNummer [INJ,UNI] --burgerservicenummer ingeschrevene; Semantic Web / Protégé: Van Masters Scriptie Pim Bos Pagina 40

41 Pagina 41 Masters afstudeerders in logic Pim Bos, BPMIT Bestaande ambtelijke wettekst (VOG) Ampersand in Protégé KLAAR! Azar Lalmohamed, BPMIT Bestaande gezondheid wettekst (HIPAA) in Ampersand KLAAR! Pieter Slootweg, BPMIT HIPAA in Protégé Enno Beversluis, BPMIT Roosteradministratie in BPMN en SBVR dan in Protégé

42 Business Intelligence

43 Business Intelligence Kishan Shri, BPMIT BI volwassenheidsmodellen voor ziekenhuizen KLAAR! Jurrian Wijffels, BPMIT Succesfactoren voor BI dashboards in onderwijs 14 april! Gert-Jan den Besten, ABI Learning Analytics voor OU op SpagoBI Justian Knobbout, Ph.D Learning Analytics voor formatieve toetsen Met Johan Versendaal BISS

44 Pagina 44 Semantic Wiki s, ABI en Masters CS Semantic Friendly Forms, ABI team 10 Rens te Kloese, Henri Gerrits en Mark Rotteveel Default interface van ontologie ingevoerde op wiki zelf Rineke Oostenrijk, Masters CS CSA: OWL afleiding op semantic wiki s, deel van publicatie Scriptie: Semantic Search voor onderzoeksdocumenten 14 april! Astrid Ramakers, Masters CS Semantic wiki voor meertalige semantic registries

45 Pagina 45 Semantic Wiki s, BPMIT Falco Paul, BPMIT Automatiseren van property volgorde op Wikipedia KLAAR! Hein Koops, BPMIT Semantic wiki voor onderwijs procesmanagement Henk Langbroek, BPMIT Semantic wiki voor formatieve toetsen