Joining implications in formal contexts and inductive learning in a Horn description logic

DOI10.1007/978-3-030-21462-3_9MaRDI QIDQ2294546zbMATH OpenOpenAlexFDO

Authors Francesco Kriegel

Publication date 11 February 2020

Full work available at URL https://doi.org/10.1007/978-3-030-21462-3_9

zbMATH Keywords

data miningformal concept analysisaxiomatizationinductive learningconcept inclusionHorn description logicjoining implication

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• Computing implications with negation from a formal context
• Study of decision implications based on formal concept analysis
• Extracting attribute implications from a formal context: unifying the basic approaches
• Finite hull systems and their implication bases.
• scientific article; zbMATH DE number 2140439

This page was built for publication: Joining implications in formal contexts and inductive learning in a Horn description logic

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