5284 search results - page 602 / 1057 » Ontologizing Semantic Relations |
174
click to vote
IJMSO
2006
15 years 7 months ago
2006
: On the semantic web, assertions may be aggregated from many sources, those aggregations filtered, reasoned over, aggregated with other aggregators, displayed, scraped, extracted,...
198
click to vote
JELIA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Many logics for AI applications that are defined by denotational semantics are trivialized in the presence of inconsistency. It is therefore often desirable, and practic...
173
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...
161
click to vote
SYNTHESE
2010
15 years 5 months ago
2010
The focus of the paper is on the logic of clarity and the problem of higherorder vagueness. We first examine the consequences of the notion of intransitivity of indiscriminabilit...
173
click to vote
SWAP
2008
15 years 8 months ago
2008
Abstract. The limitations of deductive logic-based approaches at deriving operational knowledge from ontologies may be overcome by inductive (instancebased) methods, which are usua...