2395 search results - page 142 / 479 » Reasoning in Semantic Wikis |
204
click to vote
SEMWEB
2004
Springer
16 years 5 days ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...
188
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we describe the OnEQL system, a query engine that implements optimization techniques and evaluation strategies to speed up the evaluation time of querying a...
208
click to vote
AIA
2006
15 years 8 months ago
2006
Epistemic logic allows to reason not only about situations, but also about the knowledge that a set of agents have about situations. In later years, epistemic logic has been appli...
157
click to vote
KI
2010
Springer
15 years 5 months ago
2010
Springer
Location models are data structures or knowledge bases used in Ubiquitous Computing for representing and reasoning about spatial relationships between so-called smart objects, i.e....
159
click to vote
FROCOS
2005
Springer
16 years 10 days ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...