Integrated Query Answering with Weighted Fuzzy Rules

Weighted fuzzy logic programs increase the expressivity of fuzzy logic programs by allowing the association of a significance weight with each atom in the body of a fuzzy rule. In this paper, we propose a prototype system for the practical integration of weighted fuzzy logic programs with relational database systems in order to provide efficient query answering services. In the system, a dynamic weighted fuzzy logic program is a set of rules together with a set of database queries, fuzzification transformations and fact derivation rules, which allow the provided set of rules to be augmented with a set of fuzzy facts retrieved from the underlying databases. The weights of the rules may be estimated by a neural network-based machine learning process using some specially designated for this purpose training database data.

[1]  Jeffrey D. Ullman,et al.  Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.

[2]  Manuel Ojeda-Aciego,et al.  A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations , 2006, 2006 IEEE International Conference on Fuzzy Systems.

[3]  George J. Klir,et al.  Fuzzy sets and fuzzy logic - theory and applications , 1995 .

[4]  Andreas Stafylopatis,et al.  Top-Down Computation of the Semantics of Weighted Fuzzy Logic Programs , 2007, RR.

[5]  Umberto Straccia,et al.  Any-world assumptions in logic programming , 2005, Theor. Comput. Sci..

[6]  Andreas Stafylopatis,et al.  A Connectionist Model for Weighted Fuzzy Programs , 2006, The 2006 IEEE International Joint Conference on Neural Network Proceedings.

[7]  James A. Hendler,et al.  The Semantic Web — ISWC 2002 , 2002, Lecture Notes in Computer Science.

[8]  Hisao Tamaki,et al.  OLD Resolution with Tabulation , 1986, ICLP.

[9]  Ehud Shapiro,et al.  Third International Conference on Logic Programming , 1986 .

[10]  Jeffrey M. Bradshaw,et al.  Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment , 2004, SEMWEB.

[11]  Jeffrey D. Ullman,et al.  Principles Of Database And Knowledge-Base Systems , 1979 .

[12]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, International Semantic Web Conference.

[13]  Laks V. S. Lakshmanan,et al.  A Parametric Approach to Deductive Databases with Uncertainty , 2001, IEEE Trans. Knowl. Data Eng..

[14]  Andreas Stafylopatis,et al.  Adaptation of Weighted Fuzzy Programs , 2006, ICANN.

[15]  Frank van Harmelen,et al.  Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema , 2002, SEMWEB.

[16]  Peter Vojtás,et al.  Fuzzy logic programming , 2001, Fuzzy Sets Syst..

[17]  Boris Motik,et al.  Reducing SHIQ-Description Logic to Disjunctive Datalog Programs , 2004, KR.

[18]  Marc Toussaint,et al.  Extracting Motion Primitives from Natural Handwriting Data , 2006, ICANN.