2395 search results - page 128 / 479 » Reasoning in Semantic Wikis |
122
click to vote
CSL
2008
Springer
15 years 6 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...
131
click to vote
WISE
2005
Springer
15 years 10 months 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 ...
106
click to vote
LOPSTR
2004
Springer
15 years 10 months ago
2004
Springer
Machines Mads Sig Ager BRICS Report Series RS-04-20 ISSN 0909-0878 October 2004 04-20M.S.Ager:FromNaturalSemanticstoAbstractMachines
162
click to vote
TIME
2007
IEEE
15 years 10 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...
126
click to vote
CIA
2007
Springer
15 years 10 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...