1928 search results - page 64 / 386 » Integrity Constraints in OWL |
112
click to vote
ICIAP
2007
ACM
15 years 1 months ago
2007
ACM
The paper deals with the design and implementation of a stereo algorithm. Disparity map is formulated as a Markov Random Field with a new smoothness constraint depending not only ...
IAJIT
2008
14 years 12 months ago
2008
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...
113
click to vote
IEEESCC
2005
IEEE
15 years 5 months ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
SAC
2004
ACM
15 years 5 months ago
2004
ACM
Integrity constraints are valuable tools for enforcing consistency of data in a database. Global integrity constraints ensure integrity and consistency of data spanning multiple d...
121
click to vote
IV
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper aims to propose solutions to the issue of ontology visualization, by presenting intuitive and userfriendly ontology editing and visualization environments mainly orient...