Sciweavers

619 search results - page 8 / 124
» Paraconsistent Reasoning for the Semantic Web
Sort
View
99
Voted
ESWS
2007
Springer
15 years 3 months ago
Web Service Contracting: Specification and Reasoning with SCIFF
The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a speci...
Marco Alberti, Federico Chesani, Marco Gavanelli, ...
JELIA
2010
Springer
14 years 10 months ago
Parametrized Logic Programming
Traditionally, a logic program is built up to reason about atomic first-order formulas. The key idea of parametrized logic programming is that, instead of atomic first-order form...
Ricardo Gonçalves, José Júlio...
110
Voted
GEOS
2009
Springer
15 years 4 months ago
Towards Reasoning Pragmatics
Abstract. The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenge...
Pascal Hitzler
150
Voted
SEMWEB
2010
Springer
14 years 6 months ago
A reasonable Semantic Web
Abstract. The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenge...
Pascal Hitzler, Frank van Harmelen