COINS 2.0 SEMANTIEK Hans Schevers www.BuildingBits.nl.

Slides:



Advertisements
Verwante presentaties
SQL deel 2: datamodel ontwerp
Advertisements

Omgang met kwaliteitscriteria en beoordelen
Learning Analytics SURF | Seminar Tools voor Learning Analytics
Fedora Content Model en XSLT Fedora op Klompen, Amsterdam, Egbert Gramsbergen TU Delft Library / Digital Product Development
Metadata proces april 2009 train de trainers. Waar in het werkproces metadata Binnen de organisatie zal afgesproken moeten worden van welke data er metadata.
Advies databankarchivering COP Documentbeheer en archivering III 25 november 2008.
PHP & MYSQL LES 03 PHP & DATABASES. PHP & MYSQL 01 PHP BASICS 02 PHP & FORMULIEREN 03 PHP & DATABASES 04 CMS: BEST PRACTICE.
17 april 2008 WAB*info De digitale bron van de Nederlandse waterbodems Gaston Lamaitre Data-ICT-Dienst, Delft Uitvoerders: Atlis (hoofdaannemer), CSO (functioneel.
Semantic wiki’s voor Semantic web onderwijs NIOC 2011, 8 april 2011 Lloyd Rutledge en Harold Pootjes Open Universiteit.
Inleiding en Ontwerpen voor het semantische web : 2 cursussen
Uitwerking tentamen Functioneel Programmeren 29 januari 2009.
Presentatie adviesplan gemeente Westland Versie:1.0 Datum:
Open Universiteit Nederland Afstudeeropdracht Bachelor Informatica
Automatisch Redeneren in de praktijk
Exploratie van de ontwerpruimte 3. Prototypes, emulatie en simulatie Prof. dr. ir. Dirk Stroobandt Academiejaar
Kennis- voorstelling OWLEOLRedeneren met EOL Opdracht 1 Kies een interessant domein. Beantwoord een aantal vragen (30%): –Geef 3-5 voorbeelden van objecten,
Centrum voor proces- en productontwikkeling Samenhang taxonomie XBRL-NL met Auditfile en Winstaangifte.
Designing Knowledge Systems b Hoofdstuk 11 van Knowledge Engineering and Management. The CommonKADS Methodology. b A.Th. Schreiber, J.M. Akkermans, A.A.Anjewierder,
1 OMI Technisch ontwerp. 2 Technisch ontwerp ‘content’ Veel breder dan business portals (Carlson) Verschillende aspecten / aandachtspunten:
Introductie/Agenda 1 Cor Verbaas 1.Business Analist. 2.Werkzaam bij AEP sinds juni Verantwoordelijk voor de business applicaties binnen AEP. 4.MFGPro.
SBR de Nederlandse Taxonomie Architectuur (NTA)
Samenhang taxonomie XBRL-NL met Auditfile en Winstaangifte
Scriptieseminarie 3 Methode – Experimenteel onderzoek
OWL toepassing in Semantic Media Wiki
Sparkle een bewijssysteem voor Clean Maarten de Mol Katholieke Universiteit Nijmegen 11 januari 2002.
Interfaces Hoofdstuk 23 Hoofdstuk 23.
Hoofdstuk 7 ERP-systemen: human resources Enterprise Resource Planning © Pearson Education, 2007; Enterprise Resource Planning door Mary Sumner.
J. Tukkers (VZ) J. van Walraven D. Omri D. ten Berge M. Waijers
Vroegsignalering van psychosociale problemen
Hogeschool van Amsterdam - Interactieve Media – Internet Development – Jochem Meuwese - -
Virtueel Bouwen – Digitaal Verbinden Bouw Information Model Bauke de Vries.
Databases I Het Entity-Relationship Model
Databases I (H. 2) Wiebren de Jonge Vrije Universiteit, Amsterdam versie 2003 (blijft dit jaar ‘incompleet’)
Introductie in Linked Data
Programmeren.
HjH HjH 2 1.Windows XP, Vista worden niet meer ondersteund. - gevolgen beveiligingsproblemen; denk aan bank! - nieuwe hardware zal.
Agenda Inleiding en Lagerhuis: Proces management en proces keten optimalisatie gaat ons helpen inzicht te krijgen in de impact van toekomstige veranderingen.
ANALYSE 3 INFANL01-3 WEEK CMI Informatica.
Nieuwe cursus: Semantic web TouW-Informatica Symposium, 13 november 2010, Amsterdam Lloyd Rutledge.
Het waarom en wat van beslismodellering Miranda Lintermans Voldoet onze wizard aan de wet? 21 mei 2015.
1 Waarom COINS en waarom “Redesign the Standard”? Dik Spekkink Clustermanager Proces & IT Wat is.
COINS 2.0 presentatie, 7 april 2016 Gebruik COINS voor Informatiemanagement Herman Winkels Rijkswaterstaat Bij RWS voor Beheer en Onderhoud.
BIBLIOTHEKEN EN REFERENTIEKADERS Peter Willems. BIBLIOTHEKEN EN REFERENTIEKADERS Bibliotheek: Dynamisch, eenvoudig aan te passen, objectversiemanagement.
Validatie van tijdreeksmodellen Kwaliteit van voorspellingen en gekwantificeerde onzekerheid 20 november 2014, Martin Knotters.
Wat is SQL (1)? SQL (Structured Query Language):  is een zeer krachtige taal met een beperkt vocabulaire (aantal ‘woorden’)  is declaratief (‘WAT’ niet.
COINS 2.0 Hoofdlijnen Hans Schevers
COINS 2.0 NAVIGATOR Peter Willems. COINS 2.0 NAVIGATOR 2 | COINS 2.0 Navigator Highlights Volledig redesign ten opzichte van de COINS 1.x Navigator Pre-release.
COINS 2.0 API als onderdeel van de SDK 7 april 2016 Bastiaan Bijl.
25 augustus 2009 Ontwikkeling PROTIDE Klankbordgroepoverleg #4.
Validiteit eDiagnostiek systeem voor psychische stoornissen Ies Dijksman, MSc Psycholoog en Promovendus 1 PhD M. Spigt 1 en Prof. Dr. G.J. Dinant 1 1.
Planning producten COINS(2.o) Frans van Dam Projectleider COINS2.0 1.
Het chaotische samenwerk spel! Bram Adriaensen Mathieu Maas Martijn Wiendels Jonique Raemakers.
HET NIEUWE COINS CORE MODEL Peter Willems. HET NIEUWE COINS CORE MODEL 2 | Het nieuwe COINS core model Highlights Back to basics Meer gebruik van OWL.
Digitaal Stelsel Omgevingswet
Key Process Indicator Sonja de Bruin
EFFACTS USER DAY 2016 Hoe & waarom implementeer ik DocuSign bij ICL.
Disclosure belangen NHG spreker
1. Kan je objectief kijken?
Inleiding, stand van zaken COINS2.o
Algemeen schema Strategisch support Management support Strategie
Uw eigen diensten verkopen via 2tCloud
NHG-PreventieConsult module COPD: van ontwikkeling naar implementatie
COINS Navigator 2.
Workshop Semantiek III #GIPOD
ASP.NET MVC Web Development
COINS Navigator 2.
SQL Les February 2019.
PDO secured 1 februari 2016.
SQL Les 9 12 May 2019.
Transcript van de presentatie:

COINS 2.0 SEMANTIEK Hans Schevers

COINS 2.0 Standaard COINS 2.0 is gebaseerd op OWL 2.0 OWL –Gestandaardiseerd vocabulair voor RDF –Kennis representatie taal Kan extra informatie afleiden via Reasoners COINS 2.0 Semantiek –Wat en hoe gebruikt COINS 2.0 dit?

Gevolgtrekkingen COINS Core/OTL/Ref. kaders insert {?C rdfs:subClassOf ?A} WHERE { ?C rdfs:subClassOf ?B. ?B rdfs:subClassOf ?A. filter not exists{?C rdfs:subClassOf ?A }

subproperties INSERT {?p1 rdfs:subPropertyOf ?p3} WHERE { ?p1 rdfs:subPropertyOf ?p2. ?p2 rdfs:subPropertyOf ?p3 }

Schema Nivo: property range insert {?p rdfs:range ?c2} WHERE { ?p rdfs:range ?c1. ?c1 rdfs:subClassOf ?c2 }

Gevolgtrekkingen COINS CBIM Nivo insert {?x a ?c2} where { ?c1 rdfs:subClassOf ?c2 ?x a ?c1. }

Gevolgtrekkingen COINS CBIM insert {?y ?p2 ?x} WHERE { ?p1 owl:inverseOf ?p2. ?x ?p1 ?y. }

COINS 2.0 voorbeeld: CBIM

Gevolgtrekking en validatie hasProperties belongsTo

(On)gewenste gevolgtrekkingen volgens COINS (?) rdf:type

(On)gewenste gevolgtrekkingen

Valide COINS containers en OWA Valide container is OWA proof (doel) Geen gevolgtrekking mogelijk –Domain/Range definities kloppen met de data  dus geen OWA entailment –Er wordt voldaan aan cardinaliteitsrestricties  dus geen “same-as” entailment

COINS Semantiek workflow (Pragmatisch) COINS Schema (CoreModel, Referentiekaders, OTL’s) COINS CBIM (Data in de CoinsContainer) Validatie (Data in de CoinsContainer)

OTL/Refkader validatie OTL/Refkader validatie gaat automatisch mee mits –Er owl:vocabulair gebruikt is dat door de sparql rules ondersteund wordt

COINS ‘Lite’ profiel Ondersteuning voor –Owl:min/max/exactly cardinality, Owl QCR (min 2 “LandHoofd”), functionalProperty, datatype check, objectproperty check, Domain & Range checking. (mag deze relatie gelegd worden), etc. (nog) geen ondersteuning voor: –Owl:sameAs,owl:InverseFunctionProperty, owl:reflexive

COINS Semantiek en OWA en CWA COINS-BIM op basis van COINS Core en evt op basis van Referentie kaders en OTL(s) OWL OWA afleidingen (inference) Validatie (CWA) Ongewenste afleidingen COINS Lite profile

Software voor verwerken COINS model (Lite Profiel) RDF (TripleStore) Sparql queries Zeer kleine implementatie –voor ‘rule’ gedrag van Sparql –Output validatie rules

eerste test gedaan op MBI dataset voor COINS 2.0 met OTL beta versie voor COINS 2.0 Sparql queries voor schema verrijking –Run als rules Sparql queries voor instantie data –Run als rules Sparql validatie –Output results OTL

Tussen resultaten schema entailment in 6 rondes inserted triples end Schema entailment: total triples schema entailment took 40 seconds Instance entailment in 2 rounds inserted triples total triples instance entailment took 123 seconds Start validation validating: min cardinality not existing found overtredingen. Hieronder enkele voorbeelden (incompleet) this= min="1” property= validating: min Cardinality existing relations CQR MIN Cardinality Existing cardinality CQR MAX Cardinality Existing cardinality …… Validation took 111 seconds

Implementatie strategie “Materialisering van de afleidingen” –Makkelijk –Veel triples Complexere validatie queries –Moeilijk –Minder triples –(sneller?)

Conclusies COINS werkt met CWA aannamen –UNA –Cardinaliteits restricties als restricties –Domain/Range definities als restricties Valide COINS Container is valide in OWA Semantiek is te specificeren via –Sparql (rules) Semantiek is pragmatisch te implementeren via –Sparql rules –Sparql queries voor validatie –RDF-Triplestore