Rules have been proposed for providing active behaviour in DBMS. Previous attempts to add rules to Object Oriented DBs have often resulted in a di-chotomy between rules and other kind of objects. Bere a uniform approach is presented, in which rules are described and handled in the same way as any other object in the system, without any additional mechanisms… (More)
The KRAFT project aims to investigate how a distributed architecture can support the transformation and reuse of a particular class of knowledge, namely constraints, and to fuse this knowledge so as to gain added value, by using it for constraint solving or data retrieval.
The ability to create reliable, scalable virtual organisations (VOs) on demand in a dynamic, open and competitive environment is one of the challenges that underlie Grid computing. In response, in the CONOISE-G project, we are developing an infrastructure to support robust and resilient virtual organisation formation and operation. Specifically, CONOISE-G… (More)
In this talk… • We argue for the utility of an expressive quantified constraint language for the SW logic layer – based on classical range-restricted FOL • We develop a quantified constraint representation as an extension of the Semantic Web Rule Language (SWRL) – compatible with OWL as well as RDFS • We illustrate the use of the CIF/SWRL representation in… (More)
We present a framework for semantic web applications based on constraint interchange and processing. At the core of the framework is a well-established semantic data model (P/FDM) with an associated expressive constraint language (Colan). To allow data instances to be transported across a network, we map our data model to the RDF Schema specification. To… (More)
The provision of more intelligent support for complex database applications is becoming an important research topic, and declaratively stated integrity constraints are increasingly being seen as a potential source of semantic information for such advanced DBMS's. However, despite much research effort, the problem of efficiently compiling and checking a wide… (More)