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

DOI10.1007/978-3-030-21462-3_9OpenAlexW2949547573MaRDI QIDQ2294546FDOQ2294546

Authors: Francesco Kriegel 

Publication date: 11 February 2020

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

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

zbMATH Keywords

data miningformal concept analysisaxiomatizationinductive learningconcept inclusionHorn description logicjoining implication

Mathematics Subject Classification ID

Knowledge representation (68T30)

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)