Description of the RACER System and its Applications

13 years 5 months ago

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.

Volker Haarslev, Ralf Möller

Real-time Traffic

ABox Description Logic | Automated Reasoning | DLOG 2001 | Logic | Logic Shiq |

claim paper

» Graphical Interfaces for Racer Querying DAMLOIL and RDF Documents

» Description Logic Systems

» Racer A Core Inference Engine for the Semantic Web

» Representation and Reasoning on RBAC A Description Logic Approach

» Approximation of Ontologies in CASL

» Fast Vehicle Detection with Probabilistic Feature Grouping and its Application to Vehicle ...

» A selfdescribing data transfer model for ITS applications

» Incremental Query Answering for Implementing Document Retrieval Services

Post Info
More Details (n/a)

Added	31 Oct 2010
Updated	31 Oct 2010
Type	Conference
Year	2001
Where	DLOG
Authors	Volker Haarslev, Ralf Möller

Comments (0)

Sciweavers

Description of the RACER System and its Applications

ABox Description Logic | Automated Reasoning | DLOG 2001 | Logic | Logic Shiq |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers