2395 search results - page 128 / 479 » Reasoning in Semantic Wikis |
154
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...
173
click to vote
WISE
2005
Springer
16 years 13 days ago
2005
Springer
OWLIM is a high-performance Storage and Inference Layer (SAIL) for Sesame, which performs OWL DLP reasoning, based on forward-chaining of entilement rules. The reasoning and query ...
149
click to vote
LOPSTR
2004
Springer
16 years 7 days ago
2004
Springer
Machines Mads Sig Ager BRICS Report Series RS-04-20 ISSN 0909-0878 October 2004 04-20M.S.Ager:FromNaturalSemanticstoAbstractMachines
216
click to vote
TIME
2007
IEEE
16 years 1 months ago
2007
IEEE
Transaction-time temporal databases and query languages provide a solid framework for analyzing properties of queries over data streams. In this paper we focus on issues connected...
174
click to vote
CIA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Effective deployment and utilisation of limited and constrained intelligence resources — including sensors and other sources — is seen as a key issue in modern multin...