Transforming Fuzzy Description Logic \mathcal{ALC}_\mathcal{FL} into Classical Description Logic \mathcal{ALCH}

DOI10.1007/978-3-642-35975-0_10MaRDI QIDQ5507388zbMATH OpenOpenAlexFDO

Authors Yining Wu

Publication date 19 December 2016

Published in Uncertainty Reasoning for the Semantic Web II (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-35975-0_10

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Logics in Artificial Intelligence
• ALC for CLA: towards description logic on concept lattices
• Fuzzy Description Logics – A Survey
• \({\mathcal{ALC}_\mathcal{ALC}}\): a context description logic
• Fuzzy description logics and \(t\)-norm based fuzzy logics
• \({\mathcal{ALC}}+T\): a preferential extension of description logics

Cited in

(2)

• Generalized fuzzy rough description logics
• Logics in Artificial Intelligence

Describes a project that uses

Uses Software

• Fuzzydl

This page was built for publication: Transforming Fuzzy Description Logic $\mathcal{ALC}_\mathcal{FL}$ into Classical Description Logic $\mathcal{ALCH}$

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