Encyclopedia > R > RACER system
RACER system
The RACER system (Renamed ABox and Concept Expression Reasoner) is a knowledge representation system that implements a highly optimized tableau calculus for a very expressive description logic (DL). It offers reasoning services for multiple TBoxes and ABoxes (as defined in DL).
Information are taken from Wikipedia, the open encyclopedia, to which contribute many volunteers from around the whole world. Texts are available under the following conditions GNU Free Documentation License.
Encyklopedie (cz) Encyklopédia (sk) Enzyklopädie (de)