5818 search results - page 958 / 1164 » A reasonable Semantic Web |
172
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
185
click to vote
ISBI
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present a Case Based Reasoning (CBR) system for the retrieval of medical cases made up of a series of images with semantic information (such as the patient age, ...
154
click to vote
LFCS
2007
Springer
16 years 23 days ago
2007
Springer
LP can be seen as a logic of knowledge with justifications. Artemov’s Realization Theorem says justifications can be extracted from validities in the more conventional Hintikk...
168
click to vote
LPAR
2007
Springer
16 years 23 days ago
2007
Springer
In this paper we propose a nonmonotonic extension ALC + Tmin of the Description Logic ALC for reasoning about prototypical properties and inheritance with exception. The logic ALC ...
142
click to vote
SEMWEB
2007
Springer
16 years 23 days ago
2007
Springer
In this paper we address the problem of migrating instances between heterogeneous overlapping ontologies. The instance migration problem arises when one wants to reclassify a set o...