1061 search results - page 23 / 213 » Integrity Constraints for Linked Data |
SEMWEB
2009
Springer
15 years 6 months ago
2009
Springer
In many data-centric applications, it is desirable to use OWL as an expressive schema language with which one expresses constraints that must be satisfied by instance data. Howeve...
AAAI
2010
15 years 1 months ago
2010
In many data-centric applications, it is desirable to use OWL as an expressive schema language with which one expresses constraints that must be satisfied by instance data. However...
OWLED
2008
15 years 1 months ago
2008
In many data-centric applications it is desirable to use OWL as an expressive schema language where one expresses constraints that need to be satisfied by the (instance) data. Howe...
108
click to vote
SEFM
2006
IEEE
15 years 5 months ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
117
click to vote
DAGSTUHL
2006
15 years 1 months ago
2006
Abstract. "Cognitive computer vision is concerned with integration and control of vision systems using explicit but not necessarily symbolic models of context, situation and g...