Racer
Renamed Abox and Concept Expression Reasoner

Racer
Project title: Renamed Abox and Concept Expression Reasoner
Duration: 1997-
Description: Robust Server for Scalable Ontology Reasoning
Racer handles large Aboxes in combination with large and expressive Tboxes. It provides highly optimized standard and non-standard inference services for sophisticated ontology applications. Racer offers much more than OWL by supporting rules, constraint reasoning, and expressive query answering (e.g., in SPARQL syntax). The Racer query language nRQL (new Racer Query Language, pronounce: niracle and hear as miracle) offers grounded conjunctive queries with head projection operators, negation as failure, aggregation operators, and server-side processing of query results (e.g., XML generation) Data persistency is provided by referring to AllegroGraph, an extremely fast triple store providing access to billions of triples.
Team:

Concordia University Montreal:
Prof. Dr. Volker Haarslev

Hamburg University of Technology:
Prof. Dr. Ralf Möller

Racer Systems:
Kay Hidde,
Michael Wessel

Documentation: Release Notes 1.9.2
User's Guide and Refererence Manual
Download: RacerPro Server for Linux, Mac OS X and Windows
Add ons
(Open Source):
Load Balancer (RacerManager) RacerManager is an open-source semantic web infrastructure that serves as a scalable front-end for applications to efficiently query OWL ontologies.
Ontolisp: A Common Lisp framework for the Semantic Web, offering parsers and printers for the following Semantic Web standards: OWL 2 Functional, OWL 2 XML, OWLlink XML, OWLlink functional, and OWLlink S-Expression. Contains an OWLAPI-like ontology-framework
Performance: see here
Publications:
[Loading...]
The above information is generated by Microsoft Academic Search®, please visit Microsoft Academic Search for more information. Please check here for terms of use.
Graphical User Interface: RacerPorter
Contact: