1928 search results - page 74 / 386 » Integrity Constraints in OWL |
164
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Approaches to enforcing communication integrity in the implementation, exemplified by ArchJava, consider only architectural constraints, without taking into account the late integ...
175
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper introduces a new SAT solver that integrates logicbased reasoning and integer programming methods to systems of CNF and PB constraints. Its novel features include an eff...
126
click to vote
COLING
1996
15 years 7 months ago
1996
We present a hybrid text understanding methodology for the resolution of textual ellipsis. It integrates language-independent conceptual criteria and language-dependent functional...
146
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Entropy (i.e. convex integral) functionals and extensions of these functionals are minimized on convex sets. This paper is aimed at reducing as much as possible the assumptions on ...
152
click to vote
SEMWEB
2005
Springer
15 years 11 months ago
2005
Springer
Situation awareness involves the identification and monitoring of relationships among objects participating in an evolving situation. This problem in general is intractable (i.e.,...