Ontology and Formal Semantics - Integration Overdue