SPARQL-DL Syntax

Diese Version der SPARQL-DL ist voll kompatibel zu OWL 2.

Anfragearten

SPARQL-DL unterstützt zwei Arten von Anfragen: ASK und SELECT. Eine ASK-Anfrage wird mit einem Booleschen Wert beantwortet. Eine SELECT-Anfrage gibt alle möglichen Bindungen für alle angegebenen Variablen zurück.

ASK-Anfrage:

   ASK { [comma-separated list of atoms] }

SELECT-Anfrage:

   SELECT [DISTINCT] [space-separated list of variables]
[WHERE] { [comma-separated list of atoms] }
[OR WHERE { [comma-separated list of atoms] }]*

Genauso wie in SPARQL, können mit Hilfe des DISTINCT Schlüsselworts alle redundanten Bindungen aus der Ergebnismenge entfernt werden.

Sprachprimitive

In SPARQL-DL existieren drei unterschiedliche Primitive in Anfrageatomen: Variablen, URIs und Literale. Hierfür gelten die folgenden Syntaxregeln:

  • Variable: ?[a-zA-Z]+ (zum Beispiel ?a, ?myVar)
  • Full IRI: <http://example.com>
  • Prefixed IRI: [the prefix]:[the suffix]
  • Literal: "this is a literal" (das Zeichen " innerhalb eines Literals kann mit \" geschützt werden)

Prefixe

SPARQL-DL unterstützt Prefixe in gleicher Form wie in SPARQL. Eine Prefix Deklaration muss vor einer SPARQL-DL Anfrage angegeben werden:

   PREFIX [some prefix]: <[some URI]>
PREFIX ...
...

OR WHERE

SPARQL-DL bietet mit "OR WHERE" ein Konstrukt zu Vereinigung von Ergebnissen. Hierbei werden die Ergebnisse der einzelnen Klauseln zu einer Antwort zusammengefügt.

   ...
WHERE { ... }
OR WHERE { ... }
OR WHERE { ... }
...

Unterstützte Anfragen

Class(a)
Property(a)
Individual(a)
Type(a, b)
PropertyValue(a, b, c)
EquivalentClass(a, b)
SubClassOf(a, b)
EquivalentProperty(a, b)
SubPropertyOf(a, b)
InverseOf(a, b)
ObjectProperty(a)
DataProperty(a)
Functional(a)
InverseFunctional(a)
Transitive(a)
Symmetric(a)
Reflexive(a)
Irreflexive(a)
SameAs(a, b)
DisjointWith(a, b)
DifferentFrom(a, b)
ComplementOf(a, b)
Annotation(a, b, c)
StrictSubClassOf(a, b)
DirectSubClassOf(a, b)
DirectType(a, b)
StrictSubPropertyOf(a, b)
DirectSubPropertyOf(a, b)

Einige dieser Anfragen finden sich in den Anfragebeispielen.