2395 search results - page 318 / 479 » Reasoning in Semantic Wikis |
135
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The WSMO-MX matchmaker applies different matching filters to retrieve WSMO-oriented service descriptions that are semantically relevant to a given query with respect to...
108
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
The reasons for the lack of uptake of the semantic web amongst ordinary users can be attributed to technology perception, comprehensibility and ease of use. To address these three ...
138
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...
141
Voted
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...
159
click to vote
ASP
2005
Springer
15 years 9 months ago
2005
Springer
This paper outlines a novel approach to the computation of answer sets in an evolving and interactive environment. Instead of recomputing the semantics of the entire program, our a...