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

Recomendados

Recomendados

Mais conteúdo relacionado

Mais procurados

Mais procurados (20)

Destaque

Destaque (20)

Semelhante a Aidan's PhD Viva

Semelhante a Aidan's PhD Viva (20)

Último

Último (20)

Aidan's PhD Viva