AllOnto (Pasquier 2008, 2011) 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.
Pasquier, C. (2008), “Biological data integration using Semantic Web technologies.” Biochimie, Elsevier, 90, 584–94. https://doi.org/10.1016/j.biochi.2008.02.007.
Pasquier, C. (2011), “Applying Semantic Web technologies to biological data integration and visualization,” in Data management in semantic web, eds. H. Jin and L. Zehua, Nova Science Publishers, Inc., pp. 131–151.