Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

16

CADE
2001
Springer

favoriteEmaildiscussreport

140views Logical Reasoning» more CADE 2001»

RACER System Description

14 years 4 months ago

RACER System Description

Download www.racer-systems.com

RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized sound and complete algorithms. RACER also implements a decision procedure for modal logic satisfiability problems (possibly with global axioms).

Ralf Möller, Volker Haarslev

Real-time Traffic

ABox Description Logic | Automated Reasoning | CADE 2001 | Expressive Logic | Modal Logic Satisfiability |

claim paper

Related Content

» Description of the RACER System and its Applications

» Graphical Interfaces for Racer Querying DAMLOIL and RDF Documents

» Reasoning about Nominals with FaCT and RACER

» Extended Query Facilities for Racer and an Application to SoftwareEngineering Problems

» Description Logic Systems

» Racer A Core Inference Engine for the Semantic Web

» Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions

» Optimization Techniques for Retrieving Resources Described in OWLRDF Documents First Resul...

» Detecting Inconsistencies between UML Models Using Description Logic

Post Info
More Details (n/a)

Added	03 Dec 2009
Updated	03 Dec 2009
Type	Conference
Year	2001
Where	CADE
Authors	Ralf Möller, Volker Haarslev

Comments (0)