New reasoning algorithm based on EFALC

MaRDI QIDQ3656297zbMATH OpenFDO

Authors

Publication date 13 January 2010

zbMATH Keywords

cut conceptextended fuzzy description logicsTBoxes

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Reasoning within extended fuzzy description logic supporting terminological axiom restrictions
• On computational complexity of the extended fuzzy description logic with numerical restriction
• Reasoning Technique for Extended Fuzzy $\cal{ALCQ}$
• Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm
• Reasoning and Quantification in Fuzzy Description Logics

Cited in

(2)

• Reasoning within extended fuzzy description logic supporting terminological axiom restrictions
• On computational complexity of the extended fuzzy description logic with numerical restriction

This page was built for publication: New reasoning algorithm based on EFALC

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3656297)