Description of the RACER System and its Applications

By Volker Haarslev, Ralf Möller. Description Logics, 2001

387 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Jena: implementing the semantic web recommendations (2004, unknown): “The architecture permits plug-in connections to engines being developed by the wider community, such as Racer [15], FaCT [18] and the Java Theorem Prover [14].”
A software engineering approach to ontology building (2009, methodology): “Semantic quality can be mainly verified by checking the consistency of the ontology, achieved by using a reasoner, such as Racer [18] or Pellet [WR11].”
An ontology for context-aware pervasive computing environments (2003, methodology): “, 1999], RACER [Volker Haarslev, 2001] and Bubo [Volz et al.”
Swoop: A Web Ontology Editing Browser (2006, background): “Having dealt with the important aspects of search and comparison of related data in a multiple ontology setting, we are now left with the critical task of reusing data efficiently.”
Description logic programs: combining logic programs with description logic (2003, methodology): “This essentially leads to data that is replicated in order to enable ontology-based processing, e.g., by reading the exported files into a classifier such as FaCT [12] or Racer [ 10 ].”