Inference engine for the CarbonDB ontology