SemWeb
SemWeb.Reasoning Namespace
See
http://taubz.for.net/code/semweb
.