SlideShare a Scribd company logo
The Role of Reasoning for
RDF Validation
Thomas Bosch, Gesis - Leibniz Institute for the Social Sciences
Erman Acar, University of Mannheim
Andreas Nolle, Albstadt-Sigmaringen University
Kai Eckert, Stuttgart Media University
RDF Validation
• high data quality
• XML validation
• RDF Validation Workshop
• working groups
– W3C Data Shapes Working Group
– DCMI RDF Application Profiles Task Group
• existing constaint languages
(ShEx, OWL 2, DSP, ReSh, SPIN, SPARQL, …)
Constraint Types
http://purl.org/net/rdf-validation
• database of 81 requirements on RDF validation
• based on findings of WGs and case studies
• from case studies to solutions and back
• requirements correspond to constraint types
RDF Validator
http://purl.org/net/rdfval-demo
example: disjoint classes
what is the role reasoning plays
for RDF Validation?
why is reasoning beneficial for validation?
how to overcome the major shortcomings
when validating?
(1) reasoning may resolve violations
Book ⊑  author.Person
Book(Huckleberry-Finn)
author(Huckleberry-Finn, Mark-Twain)
→ Person(Mark-Twain)
(2) reasoning may cause violations
Book ⊑ Publication
Publication ⊑
∃ publisher.Publisher
Book(Huckleberry-Finn)
(3) reasoning solves redundency
Publication ⊑
∃ publicationDate.xsd:date
Book ⊑ Publication
Conference-Proceeding ⊑ Publication
Journal-Article ⊑ Publication
for which constraint types
reasoning may be performed
prior to validation
to enhance data quality?
constraint types
with and without reasoning
• 𝑹: set of constraint types with reasoning
– 43.2%
– RQL: OWL 2 QL reasoning
– RDL: OWL 2 DL reasoning
– determine if reasoning should be performed on
different levels
• 𝑹: set of constraint types without reasoning
– 56.8%
constraint types with reasoning
sub-properties
editor ⊑ creator
editor (A+Journal-Volume, A+Editor)
creator (A+Journal-Volume, A+Editor)
constraint types with reasoning
property domain
∃ author.⊤ ⊑ Publication
author(Alices-Adventures-In-Wonderland,
Lewis-Carroll)
rdf:type(Alices-Adventures-In-Wonderland,
Publication)
constraint types without reasoning
literal pattern matching
ISBN a rdfs:Datatype ;
owl:equivalentClass [ a rdfs:Datatype ;
owl:onDatatype xsd:string ;
owl:withRestrictions
([ xsd:pattern "^d{9}[d|X]$" ])] .
Book ⊑  identifier.ISBN
constraint types without reasoning
allowed values
Book ≡  subject.
{Computer-Science, Librarianship}
How efficient
in terms of runtime
validation is performed
with and without reasoning?
performance in worst case
• computational complexity
• mapping to description logics
performance in worst case
validation type complexity class
𝑹 PSPACE-Complete
RQL PTIME
RDL N2EXPTIME
PTIME ⊆ PSPACE-Complete ⊆ N2EXPTIME
for which constraint types
validation results differ
(1) if the CWA or the OWA and
(2) if the UNA or the nUNA is
assumed?
• reasoning and validation assume different semantics
– reasoning: OWA + nUNA
– validation: CWA + UNA
• different semantics lead to different validation results
• does the constraint type depend on the CWA?
• does the constraint type depend on the UNA?
semantics
CWA dependent constraint types
minimum qualified cardinality restrictions
Publication ⊑ ≥1 author.Person
CWA independent constraint types
disjoint classes
Book ⊓ JournalArticle ⊑ ⊥
UNA dependent constraint types
functional properties
funct(title)
title(The-Adventures-of-Huckleberry-Finn,
"The Adventures of Huckleberry Finn")
title(The-Adventures-of-Huckleberry-Finn,
"Die Abenteuer des Huckleberry Finn")
UNA independent constraint types
literal value comparison
birthDate(Albert-Einstein, "1955-04-18")
deathDate(Albert-Einstein, "1879-03-14")
birthDate(Albert_Einstein, "1879-03-14")
deathDate(Albert_Einstein, "1955-04-18")
owl:sameAs(Albert-Einstein, Albert_Einstein)
• CWA dependent: 56.8%
• UNA dependent: 66.6%
evaluation results on semantics
Contributions
1. role reasoning plays for validation
2. how reasoning improves data quality
3. efficiency with and without reasoning
4. dependency on different semantics

More Related Content

What's hot

What's hot (19)

Dependent types (and other ideas for guaranteeing correctness with types)
Dependent types (and other ideas for guaranteeing correctness with types)Dependent types (and other ideas for guaranteeing correctness with types)
Dependent types (and other ideas for guaranteeing correctness with types)
 
Graph databases & data integration v2
Graph databases & data integration v2Graph databases & data integration v2
Graph databases & data integration v2
 
RDF Semantics
RDF SemanticsRDF Semantics
RDF Semantics
 
Data quality in Real Estate
Data quality in Real EstateData quality in Real Estate
Data quality in Real Estate
 
OWL Full Semantics
OWL Full SemanticsOWL Full Semantics
OWL Full Semantics
 
Scala On Android
Scala On AndroidScala On Android
Scala On Android
 
Data shapes-test-suite
Data shapes-test-suiteData shapes-test-suite
Data shapes-test-suite
 
Another RDF Encoding Form
Another RDF Encoding FormAnother RDF Encoding Form
Another RDF Encoding Form
 
RDF Constraint Checking using RDF Data Descriptions (RDD)
RDF Constraint Checking using RDF Data Descriptions (RDD)RDF Constraint Checking using RDF Data Descriptions (RDD)
RDF Constraint Checking using RDF Data Descriptions (RDD)
 
RDF Validation Future work and applications
RDF Validation Future work and applicationsRDF Validation Future work and applications
RDF Validation Future work and applications
 
SWAT4LS 2014 SLIDE by Yamamoto
SWAT4LS 2014 SLIDE by YamamotoSWAT4LS 2014 SLIDE by Yamamoto
SWAT4LS 2014 SLIDE by Yamamoto
 
Towards an RDF Validation Language based on Regular Expression Derivatives
Towards an RDF Validation Language based on Regular Expression DerivativesTowards an RDF Validation Language based on Regular Expression Derivatives
Towards an RDF Validation Language based on Regular Expression Derivatives
 
Table Retrieval and Generation
Table Retrieval and GenerationTable Retrieval and Generation
Table Retrieval and Generation
 
SPARQL Query Containment with ShEx Constraints
SPARQL Query Containment with ShEx ConstraintsSPARQL Query Containment with ShEx Constraints
SPARQL Query Containment with ShEx Constraints
 
Introduction to SPARQL
Introduction to SPARQLIntroduction to SPARQL
Introduction to SPARQL
 
ShEx by Example
ShEx by ExampleShEx by Example
ShEx by Example
 
Deriving an Emergent Relational Schema from RDF Data
Deriving an Emergent Relational Schema from RDF DataDeriving an Emergent Relational Schema from RDF Data
Deriving an Emergent Relational Schema from RDF Data
 
Ontology engineering
Ontology engineering Ontology engineering
Ontology engineering
 
Entity Retrieval (tutorial organized by Radialpoint in Montreal)
Entity Retrieval (tutorial organized by Radialpoint in Montreal)Entity Retrieval (tutorial organized by Radialpoint in Montreal)
Entity Retrieval (tutorial organized by Radialpoint in Montreal)
 

Viewers also liked

2012.10 - DDI Lifecycle - Moving Forward - 3
2012.10 - DDI Lifecycle - Moving Forward - 32012.10 - DDI Lifecycle - Moving Forward - 3
2012.10 - DDI Lifecycle - Moving Forward - 3
Dr.-Ing. Thomas Hartmann
 

Viewers also liked (8)

Workshop on Semantic Statistics - Generic Multilevel Approach Designing Domai...
Workshop on Semantic Statistics - Generic Multilevel Approach Designing Domai...Workshop on Semantic Statistics - Generic Multilevel Approach Designing Domai...
Workshop on Semantic Statistics - Generic Multilevel Approach Designing Domai...
 
IASSIST 2011 - Representation of the Data Documentation Initiative using Sema...
IASSIST 2011 - Representation of the Data Documentation Initiative using Sema...IASSIST 2011 - Representation of the Data Documentation Initiative using Sema...
IASSIST 2011 - Representation of the Data Documentation Initiative using Sema...
 
2015.09 - Guidance, Please! Towards a Framework for RDF-Based Constraint Lang...
2015.09 - Guidance, Please! Towards a Framework for RDF-Based Constraint Lang...2015.09 - Guidance, Please! Towards a Framework for RDF-Based Constraint Lang...
2015.09 - Guidance, Please! Towards a Framework for RDF-Based Constraint Lang...
 
2014.12 - Let's Disco - 2 (EDDI 2014)
2014.12 - Let's Disco - 2 (EDDI 2014)2014.12 - Let's Disco - 2 (EDDI 2014)
2014.12 - Let's Disco - 2 (EDDI 2014)
 
2012.11 - ISWC 2012 - DC - 1
2012.11 - ISWC 2012 - DC - 12012.11 - ISWC 2012 - DC - 1
2012.11 - ISWC 2012 - DC - 1
 
2014.12 - Let's Disco (EDDI 2014)
2014.12 - Let's Disco (EDDI 2014)2014.12 - Let's Disco (EDDI 2014)
2014.12 - Let's Disco (EDDI 2014)
 
OCAS @ ISWC 2011 - Generic Multilevel Approach Designing Domain Ontologies Ba...
OCAS @ ISWC 2011 - Generic Multilevel Approach Designing Domain Ontologies Ba...OCAS @ ISWC 2011 - Generic Multilevel Approach Designing Domain Ontologies Ba...
OCAS @ ISWC 2011 - Generic Multilevel Approach Designing Domain Ontologies Ba...
 
2012.10 - DDI Lifecycle - Moving Forward - 3
2012.10 - DDI Lifecycle - Moving Forward - 32012.10 - DDI Lifecycle - Moving Forward - 3
2012.10 - DDI Lifecycle - Moving Forward - 3
 

Similar to 2015.09. - The Role of Reasoning for RDF Validation (SEMANTiCS 2015)

ECO_TEXT_CLUSTERING
ECO_TEXT_CLUSTERINGECO_TEXT_CLUSTERING
ECO_TEXT_CLUSTERING
George Simov
 
A hands on overview of the semantic web
A hands on overview of the semantic webA hands on overview of the semantic web
A hands on overview of the semantic web
Marakana Inc.
 
Knowledge Representation, Semantic Web
Knowledge Representation, Semantic WebKnowledge Representation, Semantic Web
Knowledge Representation, Semantic Web
Serendipity Seraph
 

Similar to 2015.09. - The Role of Reasoning for RDF Validation (SEMANTiCS 2015) (20)

2016.02 - Validating RDF Data Quality using Constraints to Direct the Develop...
2016.02 - Validating RDF Data Quality using Constraints to Direct the Develop...2016.02 - Validating RDF Data Quality using Constraints to Direct the Develop...
2016.02 - Validating RDF Data Quality using Constraints to Direct the Develop...
 
OWL briefing
OWL briefingOWL briefing
OWL briefing
 
Semantic web
Semantic webSemantic web
Semantic web
 
Semantic web Technology
Semantic web TechnologySemantic web Technology
Semantic web Technology
 
BT02.pptx
BT02.pptxBT02.pptx
BT02.pptx
 
semantic web & natural language
semantic web & natural languagesemantic web & natural language
semantic web & natural language
 
Introduction to RDF
Introduction to RDFIntroduction to RDF
Introduction to RDF
 
Ontologies and Vocabularies
Ontologies and VocabulariesOntologies and Vocabularies
Ontologies and Vocabularies
 
ECO_TEXT_CLUSTERING
ECO_TEXT_CLUSTERINGECO_TEXT_CLUSTERING
ECO_TEXT_CLUSTERING
 
A Hands On Overview Of The Semantic Web
A Hands On Overview Of The Semantic WebA Hands On Overview Of The Semantic Web
A Hands On Overview Of The Semantic Web
 
A hands on overview of the semantic web
A hands on overview of the semantic webA hands on overview of the semantic web
A hands on overview of the semantic web
 
Semantic Application for Healthcare
Semantic Application for HealthcareSemantic Application for Healthcare
Semantic Application for Healthcare
 
Semantic Web: From Representations to Applications
Semantic Web: From Representations to ApplicationsSemantic Web: From Representations to Applications
Semantic Web: From Representations to Applications
 
Rdf data-model-and-storage
Rdf data-model-and-storageRdf data-model-and-storage
Rdf data-model-and-storage
 
Knowledge Representation, Semantic Web
Knowledge Representation, Semantic WebKnowledge Representation, Semantic Web
Knowledge Representation, Semantic Web
 
Knowledge mangement
Knowledge mangementKnowledge mangement
Knowledge mangement
 
Ontology Engineering
Ontology EngineeringOntology Engineering
Ontology Engineering
 
Semantic web
Semantic web Semantic web
Semantic web
 
Expressive Querying of Semantic Databases with Incremental Query Rewriting
Expressive Querying of Semantic Databases with Incremental Query RewritingExpressive Querying of Semantic Databases with Incremental Query Rewriting
Expressive Querying of Semantic Databases with Incremental Query Rewriting
 
ShEx vs SHACL
ShEx vs SHACLShEx vs SHACL
ShEx vs SHACL
 

More from Dr.-Ing. Thomas Hartmann

2015.03 - The RDF Validator - A Tool to Validate RDF Data (KIM)
2015.03 - The RDF Validator - A Tool to Validate RDF Data (KIM)2015.03 - The RDF Validator - A Tool to Validate RDF Data (KIM)
2015.03 - The RDF Validator - A Tool to Validate RDF Data (KIM)
Dr.-Ing. Thomas Hartmann
 
Towards the Discovery of Person-Level Data (SemStats, ISWC 2013) [2013.10]
Towards the Discovery of Person-Level Data (SemStats, ISWC 2013) [2013.10]Towards the Discovery of Person-Level Data (SemStats, ISWC 2013) [2013.10]
Towards the Discovery of Person-Level Data (SemStats, ISWC 2013) [2013.10]
Dr.-Ing. Thomas Hartmann
 
2013.02 - 7th Workshop of German Panel Surveys
2013.02 - 7th Workshop of German Panel Surveys2013.02 - 7th Workshop of German Panel Surveys
2013.02 - 7th Workshop of German Panel Surveys
Dr.-Ing. Thomas Hartmann
 
2012.10 - DDI Lifecycle - Moving Forward - 3
2012.10 - DDI Lifecycle - Moving Forward - 32012.10 - DDI Lifecycle - Moving Forward - 3
2012.10 - DDI Lifecycle - Moving Forward - 3
Dr.-Ing. Thomas Hartmann
 
2012.10 - DDI Lifecycle - Moving Forward - 2
2012.10 - DDI Lifecycle - Moving Forward - 22012.10 - DDI Lifecycle - Moving Forward - 2
2012.10 - DDI Lifecycle - Moving Forward - 2
Dr.-Ing. Thomas Hartmann
 
2012.10 - Workshop on Semantic Statistics - 2
2012.10 - Workshop on Semantic Statistics - 22012.10 - Workshop on Semantic Statistics - 2
2012.10 - Workshop on Semantic Statistics - 2
Dr.-Ing. Thomas Hartmann
 

More from Dr.-Ing. Thomas Hartmann (20)

2015.03 - The RDF Validator - A Tool to Validate RDF Data (KIM)
2015.03 - The RDF Validator - A Tool to Validate RDF Data (KIM)2015.03 - The RDF Validator - A Tool to Validate RDF Data (KIM)
2015.03 - The RDF Validator - A Tool to Validate RDF Data (KIM)
 
2014.10 - How to Formulate and Validate Constraints (DC 2014)
2014.10 - How to Formulate and Validate Constraints (DC 2014)2014.10 - How to Formulate and Validate Constraints (DC 2014)
2014.10 - How to Formulate and Validate Constraints (DC 2014)
 
2014.10 - Towards Description Set Profiles for RDF Using SPARQL as Intermedia...
2014.10 - Towards Description Set Profiles for RDF Using SPARQL as Intermedia...2014.10 - Towards Description Set Profiles for RDF Using SPARQL as Intermedia...
2014.10 - Towards Description Set Profiles for RDF Using SPARQL as Intermedia...
 
2014.10 - Requirements on RDF Constraint Formulation and Validation (DC 2014)
2014.10 - Requirements on RDF Constraint Formulation and Validation (DC 2014)2014.10 - Requirements on RDF Constraint Formulation and Validation (DC 2014)
2014.10 - Requirements on RDF Constraint Formulation and Validation (DC 2014)
 
The Next Generation of the Microdata Information System MISSY - An Integrated...
The Next Generation of the Microdata Information System MISSY - An Integrated...The Next Generation of the Microdata Information System MISSY - An Integrated...
The Next Generation of the Microdata Information System MISSY - An Integrated...
 
The New Microdata Information System (MISSY) - Integration of DDI-based Data ...
The New Microdata Information System (MISSY) - Integration of DDI-based Data ...The New Microdata Information System (MISSY) - Integration of DDI-based Data ...
The New Microdata Information System (MISSY) - Integration of DDI-based Data ...
 
Use Cases and Vocabularies Related to the DDI-RDF Discovery Vocabulary (EDDI ...
Use Cases and Vocabularies Related to the DDI-RDF Discovery Vocabulary (EDDI ...Use Cases and Vocabularies Related to the DDI-RDF Discovery Vocabulary (EDDI ...
Use Cases and Vocabularies Related to the DDI-RDF Discovery Vocabulary (EDDI ...
 
Towards the Discovery of Person-Level Data (SemStats, ISWC 2013) [2013.10]
Towards the Discovery of Person-Level Data (SemStats, ISWC 2013) [2013.10]Towards the Discovery of Person-Level Data (SemStats, ISWC 2013) [2013.10]
Towards the Discovery of Person-Level Data (SemStats, ISWC 2013) [2013.10]
 
2013.05 - IASSIST 2013 - 3
2013.05 - IASSIST 2013 - 32013.05 - IASSIST 2013 - 3
2013.05 - IASSIST 2013 - 3
 
2013.05 - IASSIST 2013 - 2
2013.05 - IASSIST 2013 - 22013.05 - IASSIST 2013 - 2
2013.05 - IASSIST 2013 - 2
 
2013.05 - IASSIST 2013
2013.05 - IASSIST 20132013.05 - IASSIST 2013
2013.05 - IASSIST 2013
 
2013.05 - LDOW 2013 @ WWW 2013
2013.05 - LDOW 2013 @ WWW 20132013.05 - LDOW 2013 @ WWW 2013
2013.05 - LDOW 2013 @ WWW 2013
 
2013.02 - 7th Workshop of German Panel Surveys
2013.02 - 7th Workshop of German Panel Surveys2013.02 - 7th Workshop of German Panel Surveys
2013.02 - 7th Workshop of German Panel Surveys
 
2012.12 - EDDI 2012 - Poster Demo
2012.12 - EDDI 2012 - Poster Demo2012.12 - EDDI 2012 - Poster Demo
2012.12 - EDDI 2012 - Poster Demo
 
2012.12 - EDDI 2012 - Workshop
2012.12 - EDDI 2012 - Workshop2012.12 - EDDI 2012 - Workshop
2012.12 - EDDI 2012 - Workshop
 
2012.11 - ISWC 2012 - DC - 2
2012.11 - ISWC 2012 - DC -  22012.11 - ISWC 2012 - DC -  2
2012.11 - ISWC 2012 - DC - 2
 
2012.10 - DDI Lifecycle - Moving Forward - 3
2012.10 - DDI Lifecycle - Moving Forward - 32012.10 - DDI Lifecycle - Moving Forward - 3
2012.10 - DDI Lifecycle - Moving Forward - 3
 
2012.10 - DDI Lifecycle - Moving Forward - 2
2012.10 - DDI Lifecycle - Moving Forward - 22012.10 - DDI Lifecycle - Moving Forward - 2
2012.10 - DDI Lifecycle - Moving Forward - 2
 
2012.10 - DDI Lifecycle - Moving Forward
2012.10 - DDI Lifecycle - Moving Forward2012.10 - DDI Lifecycle - Moving Forward
2012.10 - DDI Lifecycle - Moving Forward
 
2012.10 - Workshop on Semantic Statistics - 2
2012.10 - Workshop on Semantic Statistics - 22012.10 - Workshop on Semantic Statistics - 2
2012.10 - Workshop on Semantic Statistics - 2
 

Recently uploaded

Structuring Teams and Portfolios for Success
Structuring Teams and Portfolios for SuccessStructuring Teams and Portfolios for Success
Structuring Teams and Portfolios for Success
UXDXConf
 

Recently uploaded (20)

IoT Analytics Company Presentation May 2024
IoT Analytics Company Presentation May 2024IoT Analytics Company Presentation May 2024
IoT Analytics Company Presentation May 2024
 
WSO2CONMay2024OpenSourceConferenceDebrief.pptx
WSO2CONMay2024OpenSourceConferenceDebrief.pptxWSO2CONMay2024OpenSourceConferenceDebrief.pptx
WSO2CONMay2024OpenSourceConferenceDebrief.pptx
 
Salesforce Adoption – Metrics, Methods, and Motivation, Antone Kom
Salesforce Adoption – Metrics, Methods, and Motivation, Antone KomSalesforce Adoption – Metrics, Methods, and Motivation, Antone Kom
Salesforce Adoption – Metrics, Methods, and Motivation, Antone Kom
 
Demystifying gRPC in .Net by John Staveley
Demystifying gRPC in .Net by John StaveleyDemystifying gRPC in .Net by John Staveley
Demystifying gRPC in .Net by John Staveley
 
Motion for AI: Creating Empathy in Technology
Motion for AI: Creating Empathy in TechnologyMotion for AI: Creating Empathy in Technology
Motion for AI: Creating Empathy in Technology
 
Structuring Teams and Portfolios for Success
Structuring Teams and Portfolios for SuccessStructuring Teams and Portfolios for Success
Structuring Teams and Portfolios for Success
 
"Impact of front-end architecture on development cost", Viktor Turskyi
"Impact of front-end architecture on development cost", Viktor Turskyi"Impact of front-end architecture on development cost", Viktor Turskyi
"Impact of front-end architecture on development cost", Viktor Turskyi
 
UiPath Test Automation using UiPath Test Suite series, part 2
UiPath Test Automation using UiPath Test Suite series, part 2UiPath Test Automation using UiPath Test Suite series, part 2
UiPath Test Automation using UiPath Test Suite series, part 2
 
ODC, Data Fabric and Architecture User Group
ODC, Data Fabric and Architecture User GroupODC, Data Fabric and Architecture User Group
ODC, Data Fabric and Architecture User Group
 
JMeter webinar - integration with InfluxDB and Grafana
JMeter webinar - integration with InfluxDB and GrafanaJMeter webinar - integration with InfluxDB and Grafana
JMeter webinar - integration with InfluxDB and Grafana
 
IOS-PENTESTING-BEGINNERS-PRACTICAL-GUIDE-.pptx
IOS-PENTESTING-BEGINNERS-PRACTICAL-GUIDE-.pptxIOS-PENTESTING-BEGINNERS-PRACTICAL-GUIDE-.pptx
IOS-PENTESTING-BEGINNERS-PRACTICAL-GUIDE-.pptx
 
The architecture of Generative AI for enterprises.pdf
The architecture of Generative AI for enterprises.pdfThe architecture of Generative AI for enterprises.pdf
The architecture of Generative AI for enterprises.pdf
 
Integrating Telephony Systems with Salesforce: Insights and Considerations, B...
Integrating Telephony Systems with Salesforce: Insights and Considerations, B...Integrating Telephony Systems with Salesforce: Insights and Considerations, B...
Integrating Telephony Systems with Salesforce: Insights and Considerations, B...
 
PLAI - Acceleration Program for Generative A.I. Startups
PLAI - Acceleration Program for Generative A.I. StartupsPLAI - Acceleration Program for Generative A.I. Startups
PLAI - Acceleration Program for Generative A.I. Startups
 
Unpacking Value Delivery - Agile Oxford Meetup - May 2024.pptx
Unpacking Value Delivery - Agile Oxford Meetup - May 2024.pptxUnpacking Value Delivery - Agile Oxford Meetup - May 2024.pptx
Unpacking Value Delivery - Agile Oxford Meetup - May 2024.pptx
 
Kubernetes & AI - Beauty and the Beast !?! @KCD Istanbul 2024
Kubernetes & AI - Beauty and the Beast !?! @KCD Istanbul 2024Kubernetes & AI - Beauty and the Beast !?! @KCD Istanbul 2024
Kubernetes & AI - Beauty and the Beast !?! @KCD Istanbul 2024
 
ECS 2024 Teams Premium - Pretty Secure
ECS 2024   Teams Premium - Pretty SecureECS 2024   Teams Premium - Pretty Secure
ECS 2024 Teams Premium - Pretty Secure
 
Exploring UiPath Orchestrator API: updates and limits in 2024 🚀
Exploring UiPath Orchestrator API: updates and limits in 2024 🚀Exploring UiPath Orchestrator API: updates and limits in 2024 🚀
Exploring UiPath Orchestrator API: updates and limits in 2024 🚀
 
Intelligent Gimbal FINAL PAPER Engineering.pdf
Intelligent Gimbal FINAL PAPER Engineering.pdfIntelligent Gimbal FINAL PAPER Engineering.pdf
Intelligent Gimbal FINAL PAPER Engineering.pdf
 
IESVE for Early Stage Design and Planning
IESVE for Early Stage Design and PlanningIESVE for Early Stage Design and Planning
IESVE for Early Stage Design and Planning
 

2015.09. - The Role of Reasoning for RDF Validation (SEMANTiCS 2015)

  • 1. The Role of Reasoning for RDF Validation Thomas Bosch, Gesis - Leibniz Institute for the Social Sciences Erman Acar, University of Mannheim Andreas Nolle, Albstadt-Sigmaringen University Kai Eckert, Stuttgart Media University
  • 2. RDF Validation • high data quality • XML validation • RDF Validation Workshop • working groups – W3C Data Shapes Working Group – DCMI RDF Application Profiles Task Group • existing constaint languages (ShEx, OWL 2, DSP, ReSh, SPIN, SPARQL, …)
  • 3. Constraint Types http://purl.org/net/rdf-validation • database of 81 requirements on RDF validation • based on findings of WGs and case studies • from case studies to solutions and back • requirements correspond to constraint types
  • 5. what is the role reasoning plays for RDF Validation? why is reasoning beneficial for validation? how to overcome the major shortcomings when validating?
  • 6. (1) reasoning may resolve violations Book ⊑  author.Person Book(Huckleberry-Finn) author(Huckleberry-Finn, Mark-Twain) → Person(Mark-Twain)
  • 7. (2) reasoning may cause violations Book ⊑ Publication Publication ⊑ ∃ publisher.Publisher Book(Huckleberry-Finn)
  • 8. (3) reasoning solves redundency Publication ⊑ ∃ publicationDate.xsd:date Book ⊑ Publication Conference-Proceeding ⊑ Publication Journal-Article ⊑ Publication
  • 9. for which constraint types reasoning may be performed prior to validation to enhance data quality?
  • 10. constraint types with and without reasoning • 𝑹: set of constraint types with reasoning – 43.2% – RQL: OWL 2 QL reasoning – RDL: OWL 2 DL reasoning – determine if reasoning should be performed on different levels • 𝑹: set of constraint types without reasoning – 56.8%
  • 11. constraint types with reasoning sub-properties editor ⊑ creator editor (A+Journal-Volume, A+Editor) creator (A+Journal-Volume, A+Editor)
  • 12. constraint types with reasoning property domain ∃ author.⊤ ⊑ Publication author(Alices-Adventures-In-Wonderland, Lewis-Carroll) rdf:type(Alices-Adventures-In-Wonderland, Publication)
  • 13. constraint types without reasoning literal pattern matching ISBN a rdfs:Datatype ; owl:equivalentClass [ a rdfs:Datatype ; owl:onDatatype xsd:string ; owl:withRestrictions ([ xsd:pattern "^d{9}[d|X]$" ])] . Book ⊑  identifier.ISBN
  • 14. constraint types without reasoning allowed values Book ≡  subject. {Computer-Science, Librarianship}
  • 15. How efficient in terms of runtime validation is performed with and without reasoning?
  • 16. performance in worst case • computational complexity • mapping to description logics
  • 17. performance in worst case validation type complexity class 𝑹 PSPACE-Complete RQL PTIME RDL N2EXPTIME PTIME ⊆ PSPACE-Complete ⊆ N2EXPTIME
  • 18. for which constraint types validation results differ (1) if the CWA or the OWA and (2) if the UNA or the nUNA is assumed?
  • 19. • reasoning and validation assume different semantics – reasoning: OWA + nUNA – validation: CWA + UNA • different semantics lead to different validation results • does the constraint type depend on the CWA? • does the constraint type depend on the UNA? semantics
  • 20. CWA dependent constraint types minimum qualified cardinality restrictions Publication ⊑ ≥1 author.Person
  • 21. CWA independent constraint types disjoint classes Book ⊓ JournalArticle ⊑ ⊥
  • 22. UNA dependent constraint types functional properties funct(title) title(The-Adventures-of-Huckleberry-Finn, "The Adventures of Huckleberry Finn") title(The-Adventures-of-Huckleberry-Finn, "Die Abenteuer des Huckleberry Finn")
  • 23. UNA independent constraint types literal value comparison birthDate(Albert-Einstein, "1955-04-18") deathDate(Albert-Einstein, "1879-03-14") birthDate(Albert_Einstein, "1879-03-14") deathDate(Albert_Einstein, "1955-04-18") owl:sameAs(Albert-Einstein, Albert_Einstein)
  • 24. • CWA dependent: 56.8% • UNA dependent: 66.6% evaluation results on semantics
  • 25. Contributions 1. role reasoning plays for validation 2. how reasoning improves data quality 3. efficiency with and without reasoning 4. dependency on different semantics