pellet (software)
bn: Pellet
in: open source OWL DL reasoner in Java, that has partial SPARQL query support
oc: http://www.mindswap.org/2003/pellet/
oc (homepage): http://pellet.owldl.com/
in:  expressivity of supported DL is SROIQ(D)
oc (download): http://pellet.owldl.com/downloads/pellet-1.5.1.zip

(implements-technology)
technology: dig
software: pellet

dig (interface-specification)
oc (homepage): http://dig.sourceforge.net/
oc (technical-report): http://dl-web.man.ac.uk/dig/2003/02/interface.pdf
oc: http://dl-web.man.ac.uk/dig/
oc: http://jena.sourceforge.net/how-to/dig-reasoner.html

#--

fact (software)
bn: The FaCT System
oc (homepage): http://www.cs.man.ac.uk/~horrocks/FaCT/
in: Fast Classification of Terminologies
in: Description Logic classifier -- ALC + transitive roles, functional roles and a role hierarchy --\
  inverse roles and qualified number restrictions
in (implementation-language): Common Lisp
oc (guide): http://dl-web.man.ac.uk/dig/fact.shtml