Completeness knowledge representation in fuzzy description logics

Abstract

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 Gödel 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. © 2012 Springer-Verlag.