891 search results - page 4 / 179 » Towards Reasoning Pragmatics |
WISE
2005
Springer
14 years 3 months ago
2005
Springer
OWLIM is a high-performance Storage and Inference Layer (SAIL) for Sesame, which performs OWL DLP reasoning, based on forward-chaining of entilement rules. The reasoning and query ...
SEMWEB
2007
Springer
14 years 3 months ago
2007
Springer
Despite the efforts devoted so far, the Semantic Web vision appears to be an eluding target. We propose a paradigm shift for the Semantic Web centred around the pragmatics of deve...
FLAIRS
2004
13 years 11 months ago
2004
We develop the default logic for pragmatic analysis of natural language queries. Ambiguous sentences are considered so that each set of meanings is assigned an extension of defaul...
FLOPS
2008
Springer
13 years 11 months ago
2008
Springer
We study various shortcut fusion rules for languages like Haskell. Following a careful semantic account of a recently proposed rule for circular program transformation, we propose ...
ICPW
2007
13 years 11 months ago
2007
The Rule Responder project (responder.ruleml.org) extends the Semantic Web towards a Pragmatic Web infrastructure for collaborative human-computer networks. These allow semi-autom...