SPARQL in N3: SPARQL construct as a rule language for the Semantic Web

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

SPARQL in N3: SPARQL construct as a rule language for the Semantic Web

Dörthe ArndtDörthe Arndt,  William Van WoenselWilliam Van Woensel,  Dominik TomaszukDominik Tomaszuk
Dörthe Arndt, William Van Woensel, Dominik Tomaszuk
SPARQL in N3: SPARQL construct as a rule language for the Semantic Web
In Aidan Hogan, Ken Satoh, Hasan Dağ, Anni-Yasmin Turhan, Dumitru Roman, and Ahmet Soylu, eds., RuleML+RR 2025, to appear. Springer
  • KurzfassungAbstract
    Reasoning in the Semantic Web (SW) commonly uses Description Logics (DL) via OWL2 DL ontologies, or SWRL for variables and Horn clauses. The Rule Interchange Format (RIF) offers more expressive rules but is defined outside RDF and rarely adopted. For querying, SPARQL is a well-established standard operating directly on RDF triples. We leverage SPARQL CONSTRUCT queries as logic rules, enabling (1) an expressive, familiar SW rule language, and (2) general recursion, where queries can act on the results of others. We translate these queries to the Notation3 Logic (N3) rule language, allowing use of existing reasoning machinery with forward and backward chaining. Targeting a one-to-one query-rule mapping improves exchangeability and interpretability. Benchmarks indicate competitive performance, aiming to advance the potential of rule-based reasoning in the SW.
  • Projekt:Project: ScaDS.AI
  • Forschungsgruppe:Research Group: Computational LogicComputational Logic
The final publication is available at Springer.
@inproceedings{AWT2025,
  author    = {D{\"{o}}rthe Arndt and William Van Woensel and Dominik Tomaszuk},
  title     = {SPARQL in N3: {SPARQL} construct as a rule language for the
               Semantic Web},
  editor    = {Aidan Hogan and Ken Satoh and Hasan Da{\u{g}} and Anni-Yasmin
               Turhan and Dumitru Roman and and Ahmet Soylu},
  booktitle = {RuleML+RR 2025},
  publisher = {Springer},
  year      = {2025},
  month     = {September}
}