2005 | OriginalPaper | Buchkapitel
Two Reasoning Methods for Extended Fuzzy ALCH
verfasst von : Dazhou Kang, Jianjiang Lu, Baowen Xu, Yanhui Li, Yanxiang He
Erschienen in: On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This paper introduces cut sets of fuzzy concepts and fuzzy roles as atomic concepts and atomic roles to build extended fuzzy
$\cal{ALCH}$
$\cal{(EFALCH)}$
, a new fuzzy extension of
$\cal{ALCH}$
. It talks about two reasoning methods for
$\cal{ EFALCH}$
. The first one presents a sound and complete algorithm for
$\cal{EFALCH}$
reasoning tasks and proves the complexity is PSPACE-complete. The second one reduces
$\cal{EFALCH}$
into
$\cal{ ALCH}$
, which can be performed in polynomial time and keep the semantic consistency, and then uses
$\cal{ALCH}$
reasoning method to solve
$\cal{EFALCH}$
reasoning tasks.