Sciweavers

619 search results - page 4 / 124
» Paraconsistent Reasoning for the Semantic Web
Sort
View
SEMWEB
2007
Springer
14 years 1 months ago
Opportunistic Reasoning for the Semantic Web: Adapting Reasoning to the Environment
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...
Carlos Pedrinaci, Tim Smithers, Amaia Bernaras
LACL
2001
Springer
14 years 3 days ago
Combinators for Paraconsistent Attitudes
Abstract. In order to analyse the semantics of natural language sentences a translation into a partial type logic using lexical and logical combinators is presented. The sentences ...
Jørgen Villadsen
PPSWR
2005
Springer
14 years 1 months ago
A Revised Architecture for Semantic Web Reasoning
The current architecture for the Semantic Web, with its emphasis on RDF syntactic and semantic compatability, has severe problems when expressive Semantic Web languages are incorpo...
Peter F. Patel-Schneider
IJAR
2007
86views more  IJAR 2007»
13 years 7 months ago
Non-deterministic semantics for logics with a consistency operator
In order to handle inconsistent knowledge bases in a reasonable way, one needs a logic which allows nontrivial inconsistent theories. Logics of this sort are called paraconsistent...
Arnon Avron
SAC
2010
ACM
14 years 2 months ago
Inductive reasoning and semantic web search
Extensive research activities are recently directed towards the Semantic Web as a future form of the Web. Consequently, Web search as the key technology of the Web is evolving tow...
Claudia d'Amato, Floriana Esposito, Nicola Fanizzi...