RACER
by earl, 7498 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/
search
recent stores (more)
echo earlZstrainYat|tr ZY @.
