presumed ontologies