Knowledge Representation and Reasoning in Norm-Parameterized Fuzzy Description Logics

  1. (PDF, 445 KB)
AuthorSearch for: ; Search for:
TypeBook Chapter
Book titleCanadian Semantic Web Technologies and Applications
Pages2753; # of pages: 26
AbstractThe SemanticWeb is an evolving extension of theWorld WideWeb in which the semantics of the available information are formally described, making it more machine-interpretable. The current W3C standard for Semantic Web ontology languages, OWL, is based on the knowledge representation formalism of Description Logics (DLs). Although standard DLs provide considerable expressive power, they cannot express various kinds of imprecise or vague knowledge and thus cannot deal with uncertainty, an intrinsic feature of the real world and our knowledge. To overcome this deficiency, this paper extends a standard Description Logic to a family of norm-parameterized Fuzzy Description Logics. The syntax to represent uncertain knowledge and the semantics to interpret fuzzy concept descriptions and knowledge bases are addressed in detail. The paper then focuses on a procedure for reasoning with knowledge bases in the proposed Fuzzy Description Logics. Finally, we prove the soundness, completeness, and termination of the reasoning procedure.
Publication date
AffiliationNational Research Council Canada (NRC-CNRC); NRC Institute for Information Technology
Peer reviewedNo
NPARC number16285581
Export citationExport as RIS
Report a correctionReport a correction
Record identifier1b0d8b15-fd9a-41e7-bbed-886b35fdf34c
Record created2010-11-03
Record modified2016-05-09
Bookmark and share
  • Share this page with Facebook (Opens in a new window)
  • Share this page with Twitter (Opens in a new window)
  • Share this page with Google+ (Opens in a new window)
  • Share this page with Delicious (Opens in a new window)
Date modified: