1928 search results - page 43 / 386 » Integrity Constraints in OWL |
111
click to vote
SCP
1998
14 years 11 months ago
1998
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
103
click to vote
WEBI
2010
Springer
14 years 9 months ago
2010
Springer
In recent years, there has been an explosion of publicly available RDF and OWL web pages. Some of these pages are static text files, while others are dynamically generated from la...
111
click to vote
ESWS
2008
Springer
15 years 1 months ago
2008
Springer
In this contribution a system is presented, which provides access to distributed data sources using Semantic Web technology. While it was primarily designed for data sharing and sc...
CAISE
2005
Springer
15 years 5 months ago
2005
Springer
Integrity checking is aimed at efficiently determining whether the state of the information base is consistent after the application of a set of structural events. One possible way...
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— This paper addresses the optimal control of nonholonomic systems through provably correct discretization of the system dynamics. The essence of the approach lies in the...