Another, more focused line of objection has come from those who prefer to reserve the use of the term for a particular kind of a formal representation used in the over- arching project of the semantic web. These critics tend to focus on our idea category, indicating that the kind of semantic taxonomy expressed there is somehow not properly described as ontological. There are a number of things one might note here: it isn’t clear how the semantic divisions we focus on will enhance automated reasoning, or how the category of philosophical ideas will plug into higher-level ontologies to ensure interoperability