5284 search results - page 629 / 1057 » Ontologizing Semantic Relations |
177
Voted
EDBT
2008
ACM
16 years 7 months ago
2008
ACM
Peer Data Management Systems (PDMSs) have been introduced as a solution to the problem of large-scale sharing of semantically rich data. A PDMS consists of semantic peers connecte...
159
Voted
BTW
2001
Springer
15 years 11 months ago
2001
Springer
In this article, we present our efforts1 on realizing transformation independence in open, extensible, and highly distributed multimedia information The main focus is on the abstra...
159
click to vote
AI
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this paper, we present an argumentation-based approach to dealing with inconsistency occurring in knowledge bases. We investigate several important logical properties ...
164
click to vote
FMICS
2010
Springer
15 years 7 months ago
2010
Springer
Bitwise instructions, loops and indirect data access pose difficult challenges to the verification of microcontroller programs. In particular, it is necessary to show that an indir...
168
Voted
JOLLI
2008
15 years 6 months ago
2008
In this paper, consistency is understood as the absence of the negation of a theorem, and not, in general, as the absence of any contradiction. We define the basic constructive log...