Existential Notation3 Logic
D\"orthe Arndt, Stephan Mennicke

TL;DR
This paper explores the relationship between Notation3 Logic (N3) with blank nodes and existential rules, providing a translation method, performance comparisons of reasoners, and insights into N3 list features for improved reasoning and standardization.
Contribution
It introduces a translation from N3 with blank nodes to existential rules, enabling better reasoning performance analysis and insights into N3 list features for standardization.
Findings
Existential rule reasoners perform well with many facts.
EYE reasoner is fast with many dependent rules.
Translation improves reasoning efficiency and understanding of N3 features.
Abstract
In this paper, we delve into Notation3 Logic (N3), an extension of RDF, which empowers users to craft rules introducing fresh blank nodes to RDF graphs. This capability is pivotal in various applications such as ontology mapping, given the ubiquitous presence of blank nodes directly or in auxiliary constructs across the Web. However, the availability of fast N3 reasoners fully supporting blank node introduction remains limited. Conversely, engines like VLog or Nemo, though not explicitly designed for Semantic Web rule formats, cater to analogous constructs, namely existential rules. We investigate the correlation between N3 rules featuring blank nodes in their heads and existential rules. We pinpoint a subset of N3 that seamlessly translates to existential rules and establish a mapping preserving the equivalence of N3 formulae. To showcase the potential benefits of this translation in…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSemantic Web and Ontologies · Service-Oriented Architecture and Web Services · Advanced Database Systems and Queries
MethodsOntology
