This linguistically motivated work addresses issues in reasoning intelligently over spatial descriptions of simple, static scenes to produce plausible graphical interpretations. I...
The amount of data published on the Semantic Web has witnessed a tremendous growth in the last years to which the Linked Open Data (LOD) project has contributed significantly. Whil...
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...