Completeness Knowledge Representation in Fuzzy Description Logics

Semantic Web is increasingly becoming the best extension of World Wide Web which enables machines to be more interpretable and present information in less ambiguous process. Web Ontology Language (OWL) is based on all the knowledge representation formalisms of Description Logics (DLs) that has the W3C standard. DLs are the families of formal knowledge representation languages that have high expressive power in reasoning concepts. However, DLs are unable to express a number of vague or imprecise knowledge and thereby cannot handle more uncertainties. To reduce this problem, this paper focuses on the reasoning processes with knowledge-base representation in fuzzy description logics. We consider Godel method in solving the completeness of our deductive system. We also discuss the desirable concepts based on entailment to fuzzy DL knowledge-base satisfiability. Indeed, fuzzy description logic is the suitable formalism to represent this category of knowledge.

[1]  Lotfi A. Zadeh,et al.  Is there a need for fuzzy logic? , 2008, NAFIPS 2008 - 2008 Annual Meeting of the North American Fuzzy Information Processing Society.

[2]  Agnieszka Lawrynowicz,et al.  The role of semantics in mining frequent patterns from knowledge bases in description logics with rules , 2010, Theory and Practice of Logic Programming.

[3]  Umberto Straccia,et al.  Description logic programs under probabilistic uncertainty and fuzzy vagueness , 2009, Int. J. Approx. Reason..

[4]  Umberto Straccia,et al.  Fuzzy description logics with general t-norms and datatypes , 2009, Fuzzy Sets Syst..

[5]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[6]  Umberto Straccia,et al.  Fuzzy description logics under Gödel semantics , 2009, Int. J. Approx. Reason..

[7]  Sebastian Rudolph,et al.  Foundations of Semantic Web Technologies , 2009 .

[8]  Thomas Lukasiewicz,et al.  Probabilistic description logic programs under inheritance with overriding for the Semantic Web , 2008, Int. J. Approx. Reason..

[9]  Tran Cao Son,et al.  Semantic Web Services , 2001, IEEE Intell. Syst..

[10]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[11]  Àngel García-Cerdaña,et al.  Fuzzy Description Logics and t-norm based fuzzy logics , 2010, Int. J. Approx. Reason..

[12]  Ho-fung Leung,et al.  A Formal Model of Ontology for Handling Fuzzy Membership and Typicality of Instances , 2010, Comput. J..

[13]  Jeff Z. Pan,et al.  Fuzzy extensions of OWL: Logical properties and reduction to fuzzy description logics , 2010, Int. J. Approx. Reason..

[14]  Mohd Shahir Liew,et al.  Tractability method for ontology development of Semantic Web , 2011, 2011 International Conference on Semantic Technology and Information Retrieval.

[15]  Jidi Zhao,et al.  Knowledge Representation and Reasoning in Norm-Parameterized Fuzzy Description Logics , 2010 .