A deductive probabilistic and fuzzy object-oriented database language

doi:10.1016/S0165-0114(03)00031-9

Fuzzy Sets and Systems

Volume 140, Issue 1, 16 November 2003, Pages 129-150

https://doi.org/10.1016/S0165-0114(03)00031-9 Get rights and content

Abstract

We introduce a deductive probabilistic and fuzzy object-oriented model where a class property (i.e., an attribute or a method) can contain fuzzy set values, and uncertain class membership and property applicability are measured by lower and upper bounds on probability. Each uncertainly applicable property is interpreted as a default probabilistic logic rule, which is defeasible, and probabilistic default reasoning on fuzzy events is proposed for uncertain property inheritance and class recognition. This provides a formal basis for the design and implementation of FRIL++, the object-oriented extension of FRIL, a logic programming language dealing with both probability and fuzziness. The basic features of FRIL++ and its application as a programming language for deductive probabilistic and fuzzy object-oriented databases are presented.

References (35)

T.H. Cao et al.
Fuzzy typesa framework for handling uncertainty about types of objects
Internat. J. Approx. Reason.
(2000)
W. Dubitzky et al.
Towards concept-oriented databases
Data Knowledge Eng.
(1999)
B.R. Gaines
Fuzzy and probability uncertainty logics
J. Inform. Control
(1978)
H. Geffner et al.
Conditional entailmentbridging two approaches to default reasoning
Artificial Intelligence
(1992)
R. George et al.
Modelling class hierarchies in the fuzzy object-oriented data model
Internat. J. Fuzzy Sets and Systems
(1993)
I. Itzkovich et al.
Fuzzy extension of inheritance hierarchies
Internat. J. Fuzzy Sets and Systems
(1994)
R. Ramakrishnan et al.
A survey on deductive database systems
J. Logic Programming
(1995)
L. Shastri
Default reasoning in semantic networksa formalization of recognition and inheritance
Artificial Intelligence
(1989)
J.F. Baldwin, T.H. Cao, T.P. Martin, J.M. Rossiter, Towards soft computing object-oriented logic programming, in: Proc....
J.M. Baldwin, J. Lawry, T.P. Martin, A note on probability/possibility consistency for fuzzy events, in: Proc. 6th...

J.F. Baldwin, T.P. Martin, B.W. Pilsworth, FRIL—Fuzzy and Evidential Reasoning in Artificial Intelligence, Research...

G. Bordogna et al.

A fuzzy object-oriented data model managing vague and uncertain information

Internat. J. Intell. Systems

(1999)

P. Bosc, O. Pivert, At the crossroads of database systems and fuzzy sets, in: Proc. 1st Internat. Joint Conf. of the...

T.H. Cao

Uncertain inheritance and recognition as probabilistic default reasoning

Internat. J. Intell. Systems

(2001)

T.H. Cao, J.M. Rossiter, T.P. Martin, J.F. Baldwin, On the implementation of FRIL++ for object-oriented logic...

T.H. Cao, J.M. Rossiter, T.P. Martin, J.F. Baldwin, Inheritance and recognition in uncertain and fuzzy object-oriented...

K.R. Dittrich, A. Geppert, Object-oriented DBMS and beyond, in: Proc. Conf. on Current Trends in Theory and Practice of...

Cited by (26)

Data modeling and querying with fuzzy sets: A systematic survey
2022, Fuzzy Sets and Systems
Citation Excerpt :
In the fuzzy and probabilistic relational databases, for example, a tuple with probabilistic measure contains fuzzy attribute values (i.e., attribute values represented by fuzzy sets/possibility distributions), or a tuple with membership degree contains probabilistic attribute values (i.e., attribute values represented by probability distributions). To enable fuzzy databases more intelligent, a fuzzy deductive object-oriented database model has been proposed for knowledge-based complex fuzzy data processing in [128,129,251], and even a deductive probabilistic and fuzzy object-oriented database language has been proposed [49]. Recently, there has been a renewed interest in introducing fuzzy logic programming into fuzzy databases [116].
Uncertainty extensively exists in data and knowledge intensive applications, in which fuzzy information processing plays a crucial role. Fuzzy sets have been extensively used to enhance various database models for managing fuzzy data or flexibly querying crisp data. This has resulted in numerous contributions in this research area. This paper pays attention to three crucial issues in fuzzy techniques for data management: modeling fuzzy data, querying fuzzy data, and fuzzy queries over crisp data, and provides a full up-to-date survey on the current state of the art in fuzzy data modeling and querying. The paper identifies fuzzy conceptual data models, fuzzy (relational and object-oriented) database models and fuzzy XML model as well as the relationships among these fuzzy data models. For each type of fuzzy data models, the paper summarizes its query processing. The paper also reviews fuzzy querying over classical data models. In addition to providing a generic overview of the approaches for fuzzy data modeling and querying, this survey paper serves for identifying possible research opportunities in the area of fuzzy data processing.
A relational database model and algebra integrating fuzzy attributes and probabilistic tuples
2022, Fuzzy Sets and Systems
Citation Excerpt :
As such, however, both [15] and [46] did not consider uncertainty at the tuple level. Meanwhile, for the deductive and fuzzy object-oriented database language proposed in [16], an object class property, i.e., an attribute or a method, could contain fuzzy set values and the uncertain applicability of a property to a class was represented by probability intervals. Some other references on fuzzy object-oriented databases can be found in [38].
Although there have been many fuzzy or probabilistic relational database models proposed for representing and handling imprecise and uncertain information of objects in real-world applications, models combining the relevance and strength of both fuzzy set theory and probability theory appear sporadic. In this paper, we propose a new fuzzy and probabilistic relational database model where the imprecision of an attribute value is represented by a fuzzy set and the uncertainty of a relational tuple is represented by a probability interval. The mass assignment theory is employed to deal with the challenge of integration and computation of both fuzzy sets and probabilities in the same model. The conjunction and disjunction strategies to combine imprecise and uncertain information are introduced. Then the fundamental concepts of the classical relational database model are extended and generalized in this new model. The syntax and semantics of the selection operation are formally defined. Finally, the other important algebraic operations on imprecise attributes and uncertain tuples are developed.
A description logic approach for representing and reasoning on fuzzy object-oriented database models
2012, Fuzzy Sets and Systems
With the wide utilization of description logics (DLs), researches on applications of DLs have become the important research lines in the Semantic Web. In particular, DLs have been deeply studied in database modeling. This paper proposes a description logic approach to represent and reason on fuzzy object-oriented database (FOOD) models. After recalling some basic notions of FOOD models and a fuzzy DL called f-ALCIQ(D), we propose a kind of formal definition and semantics of FOOD models. On this basis, representation and reasoning of FOOD models with f-ALCIQ(D) is studied. We first translate a FOOD model and its corresponding database instance into an f-ALCIQ(D) knowledge base (i.e., TBox and ABox), and further implement a prototype translation tool called FOOD2DL. Then, based on the translated f-ALCIQ(D) knowledge bases, we investigate how to reason on FOOD models (e.g., consistency, subsumption, and redundancy) through the reasoning mechanism of f-ALCIQ(D). The formalization in f-ALCIQ(D) of FOOD models makes it possible to improve the ability of reasoning on database models by means of the inference services offered by fuzzy DLs.
Chapter 1 On the expressiveness of the languages for the semantic web - Making a case for 'a little more'
2006, Capturing Intelligence
The best pair of shoes you can find are the ones that fit perfectly. No inch too short, no inch too wide or long. The same, of course, holds for applications in all fields of computer science. It should serve our needs perfectly. If it does more, it usually comes with a tradeoff in performance or scalability. On top of that, for logic based systems, the maintenance of a consistent knowledge base is important. Hence a decidable language is needed to maintain this consistency computationally. Recently, the restriction of the Semantic Web standard OWL to bivalent logic has been increasingly criticized for its inability to semantically express uncertainties. We will argue for the augmentation of the current standard to close this gap. We will argue for an increased expressiveness at different layers of the cake and we want to show that only a spiced up version of some of the layers can take the blandness out of it. We want to show that it is possible to have a mixture that can account for reasoning based on uncertainties, possibilistic measures, but also for other epistemologically relevant concepts, such as belief or trust.
Uncertain and fuzzy object bases: A data model and algebraic operations
2011, International Journal of Uncertainty, Fuzziness and Knowldege-Based Systems
A Temporal Case-Based Reasoning Platform Relying on a Fuzzy Vector Spaces Object-Oriented Model and a Method to Design Knowledge Bases and Decision Support Systems in Multiple Domains
2022, Algorithms

View all citing articles on Scopus

View full text

A deductive probabilistic and fuzzy object-oriented database language

Abstract

Internat. J. Approx. Reason.

Data Knowledge Eng.

J. Inform. Control

Artificial Intelligence

Internat. J. Fuzzy Sets and Systems

Internat. J. Fuzzy Sets and Systems

J. Logic Programming

Artificial Intelligence

A fuzzy object-oriented data model managing vague and uncertain information

Internat. J. Intell. Systems

Uncertain inheritance and recognition as probabilistic default reasoning

Internat. J. Intell. Systems