1928 search results - page 39 / 386 » Integrity Constraints in OWL |
DEXAW
2006
IEEE
15 years 5 months ago
2006
IEEE
Traditional methods for integrity checking in relational or deductive databases heavily rely on the assumption that data have integrity before the execution of updates. In this wa...
ECAI
2000
Springer
15 years 4 months ago
2000
Springer
The integration of constraint solvers into proof planning has pushed the problem solving horizon. Proof planning benefits from the general functionalities of a constraint solver s...
115
click to vote
ICSOC
2005
Springer
15 years 5 months ago
2005
Springer
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
DLOG
2003
15 years 1 months ago
2003
The Semantic Web initiative defines important challenges for knowledge representation and database systems. Recently, several standards for representation languages have been pro...
162
click to vote
ICDE
2000
IEEE
16 years 1 months ago
2000
IEEE
We demonstrate a prototype toolkit that uses constraints and constraint violation repair techniques to enable the automated detection and, where possible, the automated resolution...