RDFS Reasoner

Enter an RDFS graph either by pasting it into the text area below or enter its URL. The reasoner takes an RDFS file in either RDF/XML or NTriple syntax as input.

You can choose whether you want to use the simple entailment regime, the RDF entailment regime, the RDFS entailment regime or the extensional RDFS (eRDFS) entailment regime by changing the value of the radio button below the text area. By default the RDFS entailment regime is used.

As queries only WSML conjunctive queries are allowed. Such a query is build by conjunctions of WSML attribute value molecules. Variables start with a '?' and 'hasValue' is a mandatory WSML keyword.

If a default namespace is indicated in the XML document (either a namespace with an empty prefix or a namespace defined as follows: xmlns="myNS"), this is taken as default namespace in the queries. If a namespace other than the default namespace is part of the query, it's prefix can be used as follows: rdf#localname. Please note that the namespace prefixes that may be used in the queries must correspond to the ones used in the XML document. A full URI needs to written as follows in a query: '_"http://test.example.org/test#localname" '.

Query examples:

Pressing the <Submit Query> button will then display the variable bindings for the query you entered.

Graph URL:
RDFS Graph:
Conjunctive Query:
Entailment Regimes:         Simple         RDF         RDFS         eRDFS
       

 

This RDFS Reasoner implementation is based on the work described in Logical foundations of (e)RDF(S): Complexity and reasoning..

The RDFS Reasoner currently supports the simple, the RDF, the RDFS and the eRDFS entailment regimes. It has the following limitations:

The reasoner is using IRIS as underlying reasoner engine.

The release rdfs-reasoner v0.1 (support for simple, RDF and RDFS Entailment Regimes) can be downloaded at rdfs-reasoner v0.1.

The release rdfs-reasoner v0.2 (support for simple, RDF, RDFS and eRDFS entailment regimes) can be downloaded at rdfs-reasoner v0.2.

The source code contains an example that shows how to use the RDFS Reasoner (e.g. parse an RDFS file, create a reasoner, register the graph at the reasoner, execute queries,...).

This service is also accessible as Web Service.

The current interface might be changed without notice, so please drop us a line if you use it.

Version History | Display Using Frames | No Frames

$Date: 2007-11-14 10:00:36 $