270 search results - page 1 / 54 » Description of the RACER System and its Applications |
DLOG
2001
13 years 6 months ago
2001
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 ...
DLOG
2004
13 years 6 months ago
2004
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
DLOG
2003
13 years 6 months ago
2003
In this paper, we introduce RICE, a graphical application for interacting with the description logic inference server Racer. Comparing RICE with OilEd, we address the problem of v...
DLOG
2003
13 years 6 months ago
2003
The Semantic Web initiative defines important challenges for knowledge representation and database systems. Recently, several standards for representation languages have been pro...
EON
2003
13 years 6 months ago
2003
In this paper we describe Racer, which can be considered as a core inference engine for the semantic web. The Racer inference server offers two APIs that are already used by at le...