Abstract | While applications in different areas have shown the necessity of dealing with uncertain knowledge, Semantic Web techniques based on standard Description Logics do not have such a capability. Motivated by this discrepancy, we introduce an expressive fuzzy description logic, fZSI , which extends the classic Description Logic SI to deal with uncertain knowledge about concepts and roles as well as instances of concepts and roles. In the family of Fuzzy Logics it is semantically based on Zadeh Logic, which naturally interprets uncertain knowledge about concepts and roles as fuzzy sets and fuzzy relations, and interprets uncertain knowledge about instances as elements with degrees of membership. The paper focuses on several reasoning methods for the main reasoning problems in fZSI , including consistency checking, instance range entailment, and f-retrieval problems. |
---|