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: |
| Documentation: |
Release
Notes 1.9.2 User's Guide and Refererence Manual |
| Download: | RacerPro Server for Linux, Mac OS X and Windows RacerDLL for Java (soon) |
| Add ons (Open Source): |
Probabilistic
Reasoning Component (Contra Bovem Rufum) Load Balancer (RacerManager) |
| Performance: | see here |
| Publications: | see here |
| Graphical User Interface: | RacerPorter
|
| Contact: |
 |