CEDAR Project Software

CEDAR TBox Reasoner and ABox Query Processor

Keywords

RDF, SPARQL, Semantic Web, taxonomy, ontology, classification, reasoning, graph representation, query processing and optimization.

Synopsis

This is the latest version of the CEDAR taxonomic reasoner for large ontologies. This new version provides fuller support for TBox reasoning, checking consistency, and retrieving instances. The CEDAR system is based upon the OSF formalism that describes labelled graphs. It is implemented on an entirely new architecture which includes several optimization techniques. Through a bidirectional mapping between OSF graph structures and the Resource Description Framework (RDF) allowing a translation from OSF queries into SPARQL for retrieving instances from an ABox consisting of an RDF triplestore. We carried out comparative performance evaluation experiments using CEDAR as well as well-known Semantic Web reasoners (such as FaCT++, Pellet, HermiT, TrOWL, and RacerPro) on very large public ontologies. For the same queries on the same ontologies, the results achieved by CEDAR were compared to those obtained by all the other reasoners. The results of experiments show that CEDAR consistently performs on a par with the fastest systems for concept classification, and several orders of magnitudemore efficiently in terms of response time for Boolean query-answering over attributed concepts, as well as for ABox triplestore querying. The latter result is irrespective of the triplestore management used because the CEDAR reasoner uses its knowledge to optimize SPARQL queries before submitting them to the triplestore.

Software

  • CedarReasonerEvaluationTool.jar.zip a zipped archive of a self-contained and stand-alone Java app: the CEDAR reasoner evaluation tool, along with: Watch a demo video to give you an idea on how to use this tool (put on pause at your convenience to take time reading the comments as you go). Reading CEDAR Technical Report Number 12 will also help. (See below.)

  • CEDAR-OSF-Reasoner-V2.Beta.zip Java classes and associated data and test files used by the tool above;
  • Javadoc Javadoc documentation of the Jacc system;
  • Java sources (password protected intranet)

    • Technical References