inferred ontology