Bassiliades N., Vlahavas I., and Elmagarmid A.K., "E-DEVICE: An extensible active knowledge base system with multiple rule type support", IEEE TKDE, 12(5), pp. 824844, 2000.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....environment. In any of the above ways, the X DEVICE query processor executes the query and transforms the results into an XML document that is returned to the user. In this section, we give a brief overview of the X DEVICE deductive rule language. More details about X DEVICE can be found in [5], 6] 7] 5.1. First Order Syntax and Semantics The syntax for X DEVICE deductive rules is given in Appendix E. Rules are composed of condition and conclusion, whereas the condition defines a pattern of objects to be matched over the database and the conclusion is a derived class template that ....

.... discrimination network, extended with reordering of condition elements, for reducing time complexity and virtual hybrid memories, for reducing space complexity [4] Furthermore, set oriented rule execution can be used for minimizing the number of inference cycles (and time) for large data sets [5]. 5.2. Extended Language Constructs for Querying XML Data The deductive rule language of X DEVICE supports constructs and operators for traversing and querying tree structured XML data, which are implemented using second order logic syntax (i.e. variables can range over class and attribute ....

[Article contains additional citation context not shown here]

Bassiliades N., Vlahavas I., and Elmagarmid A.K., "E-DEVICE: An extensible active knowledge base system with multiple rule type support", IEEE TKDE, 12(5), pp. 824844, 2000.

....The advantages of using a logic based query language come from their well understood mathematical properties. The declarative character of these languages also allows the use of advanced optimization techniques. X DEVICE is an extension of the active object oriented knowledge base system DEVICE ([4]) DEVICE integrates high level, declarative rules (namely deductive and production rules) into an active OODB that supports only event driven rules [13] built on top of Prolog. This is achieved by translating each high level rule into one event driven rule. The condition of the declarative rule ....

....by matching the information from the company profile and the content of the news items. The X DEVICE object schema for this case is shown in Appendix A. In this section, we give a brief overview of the X DEVICE deductive rule language. More details about DEVICE and X DEVICE can be found in [4], 5] 6] Especially, the general algorithms for the translation of the various XML aware constructs to first order logic have been presented in [6] Here, due to space limitations, we will present only few translation cases, so that the reader can have an idea of the process. First Order ....

[Article contains additional citation context not shown here]

Bassiliades N., Vlahavas I., and Elmagarmid A.K., "E-DEVICE: An extensible active knowledge base system with multiple rule type support", IEEE TKDE, 12(5), pp. 824-844, 2000.

....rules. In this way the primitives of active OODB systems, such as active rules and complex events are re used, inheriting all the advantages of the object oriented technology, such as a) extensibility for the rule system, as was demonstrated by the easy integration of deductive rules into DEVICE [4], b) readyto use persistence for the discrimination network in the form of events as first class objects, which 3 was a straightforward extension of the main memory implementation, c) graceful coexistence with ECA rules, and d) flexibility for experimenting and optimising separately the various ....

....extensions) The various components are plugged in as modules, extending the basic active OODB system, rather than being placed on a distinct layer on 19 top of the EXACT and ADAM systems. This is a consequence of the OODB extensibility through metaclasses [30] and makes DEVICE itself extensible [4]. DEVICE supports both main memory and disk based event and rule objects. The disk based extension was necessary because: a) rule detection may require a lot of intermediate information storage, which cannot possibly be stored in main memory, and b) rules and events are first class objects that ....

[Article contains additional citation context not shown here]

Bassiliades, N and Vlahavas, I, "E-DEVICE: An Extensible Active Knowledge Base System with Multiple Rule Support", Technical Report TR-96-27, Dept. of Informatics, Aristotle University of Thessaloniki, Greece, 1996.

....uniform and transparent access to the data of the underlying component databases is used. In this paper we argue that logic offers the desired power and flexibility to data warehousing and we describe the integration of a nonfederated multidatabase system [29] with a knowledge base system [7], which provides the data integration component of a Data Warehouse, fulfilling all the above requirements. It must be noticed that the system described in the paper is a prototype that tests the usefulness of logic in data warehousing 2 and cannot be considered as an industrial strength ....

....materialized views can be easily and efficiently defined and maintained. Furthermore, logic rules can be used for several data warehousing utilities, such as data cleansing, integrity checking and summarization. In addition, this paper extends the logic language presented in previous work of ours [5, 6, 7] with a second order logic syntax (i.e. variables can range over class and attribute names) which is unambiguously translated into first order logic (i.e. variables can range over only class instances and attribute values) Second order syntax proves extremely valuable for integrating ....

[Article contains additional citation context not shown here]

N. Bassiliades, I. Vlahavas, and A. Elmagarmid, "E-DEVICE: An extensible active knowledge base system with multiple rule type support", IEEE Trans. On Knowledge and Data Engineering, Vol. 12, No. 5, pp. 824-844, 2000.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC