Aidan's PhD Viva

Exploiting RDFS and OWL for Integrating Heterogeneous, Large-Scale, Linked Data Corpora Aidan Hogan PhD Viva

Cold Open Figure 1: Web of Data explicit data implicit data Topic of thesis: How can consumers tap into the implicit data

[object Object],[object Object],[object Object],[object Object],

[object Object],[object Object],

,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],… the micro … Linked Data Principles

… the macro … A Web of Data Images from: http://richard.cyganiak.de/2007/10/lod/ ; Cyganiak, Jentzsch September 2010 August 2007 November 2007 February 2008 March 2008 September 2008 March 2009 July 2009

Take Query Answering … ,[object Object],[object Object],

Take Query Answering … Gimme webpages relating to Tim Berners-Lee foaf:page timbl:i timbl:i foaf:page ?pages .

Hetereogenity in terminology … webpage: properties foaf:page foaf:homepage foaf:isPrimaryTopicOf foaf:weblog doap:homepage foaf:topic foaf:primaryTopic mo:musicBrainz mo:myspace … = rdfs:subPropertyOf = owl:inverseOf

Linked Data, RDFS and OWL: Linked Vocabularies … … Image from http://blog.dbtune.org/public/.081005_lod_constellation_m.jpg : ; Giasson, Bergman

Hetereogenity in naming … Tim Berners-Lee: URIs … timbl:i dblp:100007 identica:45563 adv:timbl fb:en.tim_berners-lee db:Tim-Berners_Lee = owl:sameAs

Returning to our Query … Gimme webpages relating to Tim Berners-Lee foaf:page timbl:i timbl:i foaf:page ?pages . ... 7 x 6 = 42 possible patterns foaf:homepage foaf:isPrimaryTopicOf doap:homepage foaf:topic foaf:primaryTopic mo:myspace dblp:100007 identica:45563 adv:timbl fb:en.tim_berners-lee db:Tim-Berners_Lee

[object Object],[object Object],[object Object],[object Object],[object Object],

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],

Linked Data Reasoning: Challenges Scalable Expressive Robust Domain-Agnostic

,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Web Reasoning: Forward Chaining! One size does not fit all! Don't materialise too much!

[object Object], Our Approach

Our Approach… ,[object Object],[object Object],[object Object],[object Object]

Scalable Reasoning: In-mem T-Box ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],

[object Object],[object Object],[object Object], Scalable Reasoning: Two Scans

... ex:me foaf:homepage ex:hp . ... ... ex:hp rdf:type foaf:Document . ex:me foaf:page ex:hp . ex:hp foaf:topic ex:me . ... IN-MEM T-BOX ON-DISK A-BOX ON-DISK OUTPUT ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Scalable Reasoning: No A-Box Joins

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object], Scalable Reasoning: A-Box joins?

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object], Authoritative Reasoning

Survey of terminology: counts ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object], Survey of terminology: counts

Survey of terminology: ranks ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],

[object Object],[object Object],[object Object],[object Object],[object Object], Survey of terminology: ranks

Scalable Distributed Reasoning ... ... ex:me ex:presented ex:ThisTalk ... SAME T-BOX SAME T-BOX SAME T-BOX SAME T-BOX SAME T-BOX DIFF. A-BOX DIFF. A-BOX DIFF. A-BOX DIFF. A-BOX DIFF. A-BOX ... ... ex:me ex:presented ex:ThisTalk ... ... ... ex:me ex:presented ex:ThisTalk ... ... ... ex:me ex:presented ex:ThisTalk ... ... ... ex:me ex:presented ex:ThisTalk ... LOCAL OUTPUT ... ... ex:me ex:presented ex:ThisTalk ... LOCAL OUTPUT LOCAL OUTPUT LOCAL OUTPUT LOCAL OUTPUT ... ... ex:me ex:presented ex:ThisTal ... ... ex:me ex:presented ex:ThisTalk ... ... ex:me ex:presented ex:ThisTalk ... ... ex:me rdf:type ex:Awesome . ... ... ... ... ... ... ... ex:me ex:presented ex:ThisTalk ... ... ... ex:me ex:presented ex:ThisTalk ... ... ... ex:me ex:presented ex:ThisTalk ... ... ... ex:me ex:presented ex:ThisTalk ... ... ... ex:me ex:presented ex:ThisTalk ... EXTRACT T-BOX EXTRACT T-BOX EXTRACT T-BOX EXTRACT T-BOX EXTRACT T-BOX COLLECT T-BOX COLLECT T-BOX COLLECT T-BOX COLLECT T-BOX COLLECT T-BOX ... ...

Reasoning Performance (1 machine)

Reasoning Performance: Distrib. ,[object Object],

Reasoning: Results 962 million unique/novel triples 947 million unique triples

Annotated Reasoning ,[object Object],[object Object],[object Object],

[object Object],[object Object],[object Object],[object Object], Annotated Reasoning: ranks

[object Object],[object Object],[object Object],[object Object],[object Object], Annotated Reasoning

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object], Why?

[object Object], Inconsistencies: aka. Contradictions

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object], Cannot compute…

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object], Fixing inconsistencies

[object Object],[object Object], Inconsistencies found

Performance ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object], Consolidation: Baseline ,[object Object],[object Object],[object Object]

[object Object], Consolidation: Baseline ,[object Object],[object Object],[object Object]

[object Object],[object Object],[object Object], Canonicalisation timbl:i rdf:type foaf:Person . identica:48404 foaf:knows identica:45563 . dbpedia:Berners-Lee dpo:birthDate “ 1955-06-08”^^xsd:date . dbpedia:Berners-Lee rdf:type foaf:Person . identica:48404 foaf:knows dbpedia:Berners-Lee . dbpedia:Berners-Lee dpo:birthDate “ 1955-06-08”^^xsd:date . ,[object Object],[object Object],[object Object]

Baseline Consolidation: Performance ,[object Object],[object Object],[object Object],[object Object],[object Object],

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object], Baseline Consolidation: Results

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object], Extended Consolidation

[object Object],[object Object],[object Object],[object Object], Derive owl:sameAs on-disk

Extended Consolidation: Performance ,[object Object],[object Object],[object Object],[object Object],[object Object],

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object], Extended Consolidation: Results

timbl:i foaf:page ?pages . ,[object Object],[object Object],[object Object],dbpedia:Berners-Lee foaf:page ?pages .

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object], Conclusions

Aidan's PhD Viva

Empfohlen

Empfohlen

Weitere ähnliche Inhalte

Was ist angesagt?

Was ist angesagt? (20)

Andere mochten auch

Andere mochten auch (20)

Ähnlich wie Aidan's PhD Viva

Ähnlich wie Aidan's PhD Viva (20)

Kürzlich hochgeladen

Kürzlich hochgeladen (20)

Aidan's PhD Viva