35 search results - page 3 / 7 » Opening, Closing Worlds - On Integrity Constraints |
KI
2008
Springer
14 years 9 months ago
2008
Springer
This paper presents a mapping solution from ERDF(S) to Take vocabulary. The work is related to an investigation of integrating ERDF Derivation Rules into Take inference engine. Som...
SEKE
2007
Springer
15 years 3 months ago
2007
Springer
In this paper, we present an approach to query processing for paraconsistent databases in the presence of integrity constraints. Paraconsistent databases are capable of representi...
88
Voted
SARA
2009
Springer
15 years 4 months ago
2009
Springer
Classical planning deals with finding a (shortest) sequence of actions transferring the world from its initial state to a state satisfying the goal condition. Traditional planning...
ER
2009
Springer
15 years 2 months ago
2009
Springer
Ontological metamodeling or multilevel-modeling refers to ng complex domains at multiple levels of abstraction, especially in domains where the borderline between individuals and c...
IEEEARES
2006
IEEE
15 years 3 months ago
2006
IEEE
— Service Oriented Architectures with underlying technologies like web services and web services orchestration have opened the door to a wide range of novel application scenarios...