<> "The repository administrator has not yet configured an RDF license."^^ . <> . . "Ontology and Formal Semantics - Integration Overdue"^^ . "In this note we suggest that difficulties encountered in natural language semantics are, for the most part, due to the use of mere symbol manipulation systems that are devoid of any content. In such systems, where there is hardly any link with our common-sense view of the world, and it is quite difficult to envision how one can formally account for the considerable amount of content that is often implicit, but almost never explicitly stated in our everyday discourse. \r\nThe solution, in our opinion, is a compositional semantics grounded in an ontology that reflects our commonsense view of the world and the way we talk about it in ordinary language. In the compositional logic we envision there are ontological (or first-intension) concepts, and logical (or second-intension) concepts, and where the ontological concepts include not only Davidsonian events, but other abstract objects as well (e.g., states, processes, properties, activities, attributes, etc.) \r\nIt will be demonstrated here that in such a framework, a number of challenges in the semantics of natural language (e.g., metonymy, intensionality, metaphor, etc.) can be properly and uniformly addressed.\r\n"^^ . "2007-12-01" . . . . . . . . "Walid"^^ . "Saba"^^ . "Walid Saba"^^ . . . . . . "Ontology and Formal Semantics - Integration Overdue (PDF)"^^ . . . . . . . . . . . . "Saba_2007_OFS.pdf"^^ . . . "Ontology and Formal Semantics - Integration Overdue (Image (PNG))"^^ . . . . . . "fullsize.png"^^ . . . "Ontology and Formal Semantics - Integration Overdue (Image (PNG))"^^ . . . . . . "preview.png"^^ . . . "Ontology and Formal Semantics - Integration Overdue (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #5876 \n\nOntology and Formal Semantics - Integration Overdue\n\n" . "text/html" . . . "Computational Linguistics" . . . "Semantics" . . . "Artificial Intelligence" . .