2395 search results - page 183 / 479 » Reasoning in Semantic Wikis |
196
click to vote
DLOG
2011
14 years 10 months ago
2011
We introduce an extension of Description Logics (DLs) for representing and reasoning about contextualized knowledge. Our formalism is inspired by McCarthy’s theory of formalizing...
213
click to vote
DLOG
2008
15 years 9 months ago
2008
Abstract. Fuzzy Description Logics (f-DLs) have been proposed as extensions of classical Description Logics able to handle imprecise and vague knowledge. Although several extension...
180
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. Semantic labelling is a transformational technique for proving termination of Term Rewriting Systems (TRSs). Only its variant with finite sets of labels was used so far i...
189
click to vote
IEEECIT
2005
IEEE
16 years 10 days ago
2005
IEEE
In spite of many standards efforts, Web services with similar or compatible functionalities often have heterogeneous semantics. One reason is the disparate ontologies used for ser...
202
click to vote
ASP
2005
Springer
16 years 9 days ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...