Abstract Description logics are a family of knowledge representation formalisms that are
descended from semantic networks and frames via the system Kl-one. During the last …

RACER implements a TBox and ABox reasoner for the logic SℌIQ. RACER was the first full-
fledged ABox description logic system for a very expressive logic and is based on optimized …

Reasoner is a software that is used to derive new facts from the existing ontologies. Some of
the popular reasoners developed in the last few years are: Pellet, RACER, FACT++ …

Description of the RACER System and its Applications Page 1 Description of the RACER
System and its Applications Volker Haarslev and Ralf Möller University of Hamburg, Computer …

The last years have seen two major advances in Knowledge Representation and
Reasoning. First, many interesting problems (ranging from Semi-structured Data to …

Abstract Reasoning on OWL ontologies is known to be intractable in the worst-case, which is
a serious problem because in practice, most OWL ontologies have large Aboxes, ie …

Ontologies are not only crucial for extending the traditional web into the Semantic Web but
also for develo** intelligent applications, by converting the raw data into smart data …

We present an empirical analysis of optimization techniques devised to speed up the so-
called TBox classification supported by description logic systems which have to deal with …

Logics (DLs) are a family of formal languages for describing complex structured classes.
These languages contain boolean operators and quantification over class attributes, as well …

Semantic web reasoners and languages enable the semantic web to function. Some of the
latest reasoning models developed in the last few years are: DLP, FaCT, RACER, Pellet …