2500 search results - page 208 / 500 » Logical Semantics of Modularisation |
159
click to vote
DEXAW
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper briefly reviews the recent literature on consistent query answering, an approach to handle database inconsistency in a systematic and logical manner based on the notio...
204
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
154
click to vote
RSCTC
2000
Springer
15 years 10 months ago
2000
Springer
The aim of the paper is to present basic notions related to granular computing, namely the information granule syntax and semantics as well as the inclusion and closeness (similari...
188
click to vote
DLOG
2008
15 years 8 months ago
2008
A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential a...
166
click to vote
OWLED
2008
15 years 8 months ago
2008
We study conjunctive query answering in the description logic EL, the core of the designated OWL2-EL profile of OWL2. In particular, we present an approach that allows the use of c...