main abstract ontology