An inference engine for RDF - Agfa-Gevaert
This permitted to test different aspects of inferencing and the logic connected to it
...... RDF Schema (rdfs) has as a purpose the introduction of some basic
ontological notions ...... [LINDHOLM] Lindholm, Exercise Assignment Theorem
prover for ...