checking in ontology