Sciweavers

677 search results - page 14 / 136
» Uncertainty Reasoning for the Semantic Web
Sort
View
FLAIRS
2004
14 years 11 months ago
Knowledge-Based Constraint Satisfaction for Spatial Reasoning
This linguistically motivated work addresses issues in reasoning intelligently over spatial descriptions of simple, static scenes to produce plausible graphical interpretations. I...
Dan Tappan
APWEB
2006
Springer
15 years 1 months ago
Named Graphs as a Mechanism for Reasoning About Provenance
Named Graphs is a simple, compatible extension to the RDF syntax that enables statements to be made about RDF graphs. This approach is in contrast to earlier attempts such as RDF r...
E. Rowland Watkins, Denis A. Nicole
FM
2003
Springer
169views Formal Methods» more  FM 2003»
15 years 2 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
ESWS
2008
Springer
14 years 11 months ago
Numeric reasoning in the Semantic Web
Abstract. The Semantic Web is an effort by the W3C to enable integration and sharing of information across different applications and organizations using annotations by means of on...
Chimène Fankam, Stéphane Jean, Guy P...
ESWS
2010
Springer
15 years 1 months ago
Scalable and Parallel Reasoning in the Semantic Web
Abstract. The current state of the art regarding scalable reasoning consists of programs that run on a single machine. When the amount of data is too large, or the logic is too com...
Jacopo Urbani