2395 search results - page 422 / 479 » Reasoning in Semantic Wikis |
171
click to vote
RULEML
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we present R-DEVICE, a deductive rule language for reasoning about RDF metadata. R-DEVICE includes features such as normal and generalized path expressions, stratifie...
149
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
Both OWL-DL and function-free Horn rules3 are decidable logics with interesting, yet orthogonal expressive power: from the rules perspective, OWL-DL is restricted to tree-like rule...
191
click to vote
VLDB
2004
ACM
15 years 11 months ago
2004
ACM
Query containment is the most fundamental relationship between a pair of database queries: a query Q is said to be contained in a query Q if the answer for Q is always a subset of...
173
click to vote
WDAG
2004
Springer
15 years 11 months ago
2004
Springer
We apply the classic theory of linearizability to operations that must wait for some other thread to establish a precondition. We model such an operation as a request and a follow-...
154
click to vote
ICDS
2010
IEEE
15 years 11 months ago
2010
IEEE
—Learning ontology from text is a challenge in knowledge engineering research and practice. Learning relations between concepts is even more difficult work. However, when conside...