383 search results - page 25 / 77 » Well-Founded Semantics for Description Logic Programs in the... |
IEEEHPCS
2010
13 years 6 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
KES
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This work presents a clustering method which can be applied to relational knowledge bases. Namely, it can be used to discover interesting groupings of semantically annota...
WLP
2007
Springer
14 years 1 months ago
2007
Springer
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The need to deal with vague information in Semantic Web languages is rising in importance and, thus, calls for a standard way to represent such information. We may address this is...
SEMWEB
2005
Springer
14 years 1 months ago
2005
Springer
There has been considerable debate as to the merits and the applicability of probabilistic or statistical reasoning to Semantic Web. Much of this debate seems to have centered on ...