start | find | index | login or register | edit
by earl, 7339 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]

powered by vanilla
echo earlZstrainYat|tr ZY @. • esa3 • online for 8533 days • c'est un vanilla site