A Minimal Deductive System for General Fuzzy RDF

It is well-known that crisp RDF is not suitable to represent vague information. Fuzzy RDF variants are emerging to overcome this limitations. In this work we provide, under a very general semantics, a deductive system for a salient fragment of fuzzy RDF. We then also show how we may compute the top-k answers of the union of conjunctive queries in which answers may be scored by means of a scoring function.

[1]  Jeff Z. Pan,et al.  An Argument-Based Approach to Using Multiple Ontologies , 2009, SUM.

[2]  Melvin Fitting,et al.  Bilattices Are Nice Things , 2002 .

[3]  Umberto Straccia.  Basic Concepts and Techniques for Managing Uncertainty and Vagueness in Semantic Web Languages , 2007 .

[4]  Umberto Straccia,et al.  Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs , 2008, Reasoning Web.

[5]  Alberto O. Mendelzon,et al.  Foundations of semantic web databases , 2004, PODS.

[6]  Seung-won Hwang,et al.  Minimal probing: supporting expensive predicates for top-k queries , 2002, SIGMOD '02.

[7]  Daniel J. Abadi,et al.  SW-Store: a vertically partitioned DBMS for Semantic Web data management , 2009, The VLDB Journal.

[8]  Jorge Pérez,et al.  Minimal Deductive Systems for RDF , 2007, ESWC.

[9]  Vilém Novák,et al.  Submitted/to appear: Fuzzy Sets and Systems Supported by: , 2022 .

[10]  Aldo Franco Dragoni,et al.  A Fuzzy Semantics for Semantic Web Languages , 2005, ISWC-URSW.

[11]  Lora Aroyo,et al.  The Semantic Web: Research and Applications , 2009, Lecture Notes in Computer Science.

[12]  Aldo Franco Dragoni,et al.  A Fuzzy Semantics for the Resource Description Framework , 2008, URSW.

[13]  Umberto Straccia,et al.  Top-k Retrieval in Description Logic Programs Under Vagueness for the Semantic Web , 2007, SUM.

[14]  Reiner Hähnle,et al.  Advanced Many-Valued Logics , 2001 .

[15]  Peter Gurský,et al.  Fuzzy RDF in the Semantic Web : Deduction and Induction , 2005 .

[16]  Mauro Mazzieri,et al.  A Fuzzy RDF Semantics to Represent Trust Metadata , 2004 .

[17]  CARLO MEGHINI,et al.  A model of multimedia information retrieval , 2001, JACM.

[18]  Melvin Fitting,et al.  Fixpoint Semantics for Logic Programming a Survey , 2001, Theor. Comput. Sci..

[19]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

[20]  Kevin Chen-Chuan Chang,et al.  RankSQL: query algebra and optimization for relational top-k queries , 2005, SIGMOD '05.

[21]  Diego Reforgiato Recupero,et al.  Annotated RDF , 2006, TOCL.

[22]  Matthew L. Ginsberg,et al.  Multivalued logics: a uniform approach to reasoning in artificial intelligence , 1988, Comput. Intell..

[23]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[24]  Dave Robertson,et al.  Probabilistic Dialogue Models for Dynamic Ontology Mapping , 2006, URSW.

[25]  Reiner Hähnle,et al.  Many-valued logic and mixed integer programming , 1994, Annals of Mathematics and Artificial Intelligence.