Distributed Reasoning with Fuzzy Description Logics

By the development of Semantic Web, increasing demands for vague and distributed information representation have triggered a mass of theoretical and applied researches of fuzzy and distributed ontologies, whose main logical infrastructures are fuzzy and distributed description logics. However, current solutions are proposed respectively on one of these two aspects. By integrating $\mathcal{E}$-connection into fuzzy description logics, this paper proposes a novel logical approach to couple both fuzzy and distributed features within description logics. The main contribution of these paper is to propose a discrete tableau algorithm to achieve reasoning within this new logical system.

[1]  Bijan Parsia,et al.  Working with Multiple Ontologies on the Semantic Web , 2004, SEMWEB.

[2]  Elie Sanchez,et al.  Fuzzy Logic and the Semantic Web , 2005 .

[3]  Ian Horrocks,et al.  Fuzzy OWL: Uncertainty and the Semantic Web , 2005, OWLED.

[4]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[5]  Baowen Xu,et al.  Discrete Tableau Algorithms for FSHI , 2006, Description Logics.

[6]  Frank Pfenning,et al.  Logic Programming and Automated Reasoning , 1994, Lecture Notes in Computer Science.

[7]  Jeff Z. Pan,et al.  A Fuzzy Description Logic for Multimedia Knowledge Representation , 2005 .

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

[9]  Ian Horrocks,et al.  Practical Reasoning for Expressive Description Logics , 1999, LPAR.

[10]  John Yen,et al.  A fuzzy ontology-based abstract search engine and its user studies , 2001, 10th IEEE International Conference on Fuzzy Systems. (Cat. No.01CH37297).

[11]  Peter F. Patel-Schneider,et al.  Reducing OWL entailment to description logic satisfiability , 2004, Journal of Web Semantics.

[12]  David Parry,et al.  A fuzzy ontology for medical document retrieval , 2004, ACSW.

[13]  John Yen,et al.  Using fuzzy ontology for query refinement in a personalized abstract search engine , 2001, Proceedings Joint 9th IFSA World Congress and 20th NAFIPS International Conference (Cat. No. 01TH8569).

[14]  G Stix,et al.  The mice that warred. , 2001, Scientific American.

[15]  Franz Baader,et al.  An Overview of Tableau Algorithms for Description Logics , 2001, Stud Logica.

[16]  Ian Horrocks,et al.  A Description Logic with Transitive and Inverse Roles and Role Hierarchies , 1999, J. Log. Comput..

[17]  Umberto Straccia,et al.  A Fuzzy Description Logic , 1998, AAAI/IAAI.

[18]  Carsten Lutz,et al.  E-connections of abstract description systems , 2004, Artif. Intell..

[19]  Ian Horrocks,et al.  The Fuzzy Description Logic f-SHIN , 2005, ISWC-URSW.