Philosophical ontology, domain ontology, and formal ontology