Bridges from Language to Logic: Concepts, Contexts and Ontologies
Valeria de Paiva · Electronic Notes in Theoretical Computer Science · 2011
This paper gives a brief overview of the work on translating natural language sentences into logic done at PARC and distills a few simple-minded lessons. Then we turn our attention to formal logics applicable to systems of contexts and describe some open questions on these systems.