AllOnto [1, 2] is a Knowledge Base System capable of storing and performing queries on a large set of RDF/OWL specifications (including the storing and querying of reified statements). It includes reasoning capabilities like type inference, transitivity and the handling of these two OWL constructs: "sameAs" and "inverseOf". In addition, it is capable of storing and querying the provenance of information.
1. Pasquier C: Biological data integration using Semantic Web technologies. Biochimie 2008, 90:584–94.
2. Pasquier C: Applying Semantic Web technologies to biological data integration and visualization. In Data management in semantic web. Edited by Jin H, Zehua L. Nova Science Publishers, Inc. 2011:131–151.