ontology that is not sufficiently rigorous to allow software to infer new facts without intervention by humans