The Four-Category Ontology