Warning:
This wiki has been archived and is now read-only.

Issue 1: Entailment Regime

From RDF Data Shapes Working Group
(Redirected from Entailment Regime)
Jump to: navigation, search

This page is about the question of whether any inferencing is to be performed in relation with the processing/use of Shapes. And if no inferencing is to be performed, can we still use constructs such as owl:imports without the associated entailment regime?

Issue 1 is concerned with this question.

[Deprecated] the new wikipage can be found here: ISSUE-1: What inferencing can or must be used

Options for Defining Semantics of Constraints

SPARQL

General Information

  • SPARQL entailment regimes can be found here.

Advantages

  • Each solution that does not rely on SPARQL requires work by the database vendors (who have implemented SPARQL already) (cf. mail).
  • SPARQL is already a successful standard, with many implementations and broad uptake (cf. mail).
  • Software engineers who are not antagonistic to Semantic Web standards take quickly to the idea of representing constraints in SPARQL (cf. mail).
  • Extensibility of SPARQL has been practically established in the Jena framework and in current SPIN implementations. Standardization of this extensibility would help SPARQL gain more coherence across implementations, having benefits beyond the core Shapes use cases (cf. mail).
  • The (programming-language) semantics of a SPARQL expression have already been settled, so we don't have to re-do this work (cf. mail).

Disadvantages

  • SPARQL can't express recursive queries, which would be required by e.g. Resource Shapes (cf. mail).

OWL + SWRL

General Information

  • Direct model-theoretic semantics of SWRL can be found here.

Advantages

Disadvantages

RDF Semantics

General Information

  • RDF Semantics can be found here.

Advantages

Disadvantages

Algebra on RDF Graphs and Datasets

General Information

Advantages

Disadvantages

Z Semantics

General Information

Advantages

Disadvantages

Plain English

General Information

Advantages

Disadvantages

Setbuilder Notation

General Information

Advantages

Disadvantages

XPath/XQuery Type of Notation

General Information

  • Formal Semantics can be found here.

Advantages

Disadvantages