The RDFS Reasoner is a framework that enables reasoning over RDF Schema ontologies and that uses IRIS as underlying reasoning engine. The RDFS Reasoner implementation is based on the work described in the paper "RDF and Logic: Reasoning and Extension". The RDFS Reasoner translates ontology descriptions in RDF Schema to F-Logic molecules and rules. The RDFS Reasoner currently supports the simple, RDF, RDF Schema and extensional RDFS (eRDFS) entailment regimes and allows WSML conjunctive queries as queries. Page contains links to an online demo and a downloadable package.
Keywords: Web Service Modeling Language (WSML), Description Logics, F-Logic, Ontology, RDF Schema
Author: Bishop, Barry
Time required: P60M
Educational audience: professional
Interactivity type: active