Building an Inferencing Engine

I’m playing around with the idea of building an inference engine for MongoDB. The idea is to load up some RDF data and attempt to run queries that use the ontologies in the RDF for inferencing. For instance, if I have an ontology that defines an isParentOf relationship with an inverse relationship of isChildOf, the inferencing engine would know those two relationships are inverse. When the data store only has one record that defines

<AugustCoppola> <isParentOf> <NicolasCage>

I can get a result from the following query even though this record doesn’t exist.

? <isChildOf> <AugustCoppola>

Looking briefly into how I could do this, I found the following:

The trick is to make it happen.