start | find | index | login or register | edit
RACER
by earl, 5575 days ago
Renamed ABox and Concept Expression Reasoner

"RACER is a Semantic Web inference engine, a Description Logics reasoning system and a prover for modal logic Km with graded modalities and axioms."

Written in Common Lisp.

People: [create Volker Haarslev], [create Ralf Möller]

- http://www.sts.tu-harburg.de/~r.f.moeller/racer/
powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 6769 days • c'est un vanilla site