Joining Implications in Formal Contexts and Inductive Learning in a Horn Description Logic.
Francesco KriegelPublished in: ICFCA (2019)
Keyphrases
- inductive learning
- description logics
- formal contexts
- concept descriptions
- mathcal shiq
- formal concepts
- knowledge acquisition
- knowledge base
- concept lattice
- knowledge representation
- formal concept analysis
- machine learning
- semantic web
- np hard
- domain theory
- dl lite
- reasoning problems
- inductive logic programming
- snomed ct
- ontology languages
- rough set theory
- first order logic
- feature selection
- artificial intelligence
- learning algorithm