The notion of deductive database is generalized by extending the rst-order language, used to formulate facts, rules and constraints, to a rst-order language involving time operators. A deductive database based on such an extended language is called temporal. In this paper, we rst introduce two additional time operators, one to reference past tenses, the other to reference future tenses. Then, t...

We review in this paper both a framework for integrating the treatment of advanced update problems in deductive databases and the architecture of the FOLRE deductive database management system prototype, which extends the basic updating facilities provided by current deductive database systems. The distinguishing feature of our approach is the underlying integrative framework used to specify an...

The aim of this article is to study the concept of unique solvability of max-min fuzzy neutrosophic soft matrix equation and strong regularity of fuzzy neutrosophic soft matrices over Fuzzy Neutrosophic Soft Algebra (FNSA). A Fuzzy Neutrosophic Soft Matrix (FNSM) is said to have Strong, Linear Independent (SLI) column (or, in the case of fuzzy neutrosophic soft square matrices, to be strongly r...

In this paper we present O-DEVICE, a deductive object-oriented knowledge base system for reasoning over OWL documents. O-DEVICE imports OWL documents into the CLIPS production rule system by transforming OWL ontologies into an object-oriented schema of the CLIPS Object-Oriented Language (COOL) and instances of OWL classes into COOL objects. The purpose of this transformation is to be able to us...

This paper illustrates a prototype system, called GPRS, supporting the Generalized Production Rules database language (GPR for short). The language GPR integrates, in a unified framework, active rules, which allow the specification of event driven computations on data, and deductive rules, which can be used to derive intentional relations in the style of logic programming. The prototype realize...

This paper discusses the different approach to solve the complex problems in real-world by a great diversity of intelligent techniques including traditional hard computing techniques such as expert systems and soft computing techniques such as fuzzy logic, neural networks, and genetic algorithms. The paper has a discussion of possibility to integrate several technologies into one basic structur...