Axiomatisation of general concept inclusions from finite interpretations

DOI10.1080/11663081.2016.1168230zbMATH Open1400.68206OpenAlexW2475034985MaRDI QIDQ4586152FDOQ4586152

Authors: Daniel Borchmann, Felix Distel, Francesco Kriegel 

Publication date: 12 September 2018

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2016.1168230

Recommendations

• Description logics in knowledge representation
• Acquisition of Terminological Knowledge in Probabilistic Description Logic
• Concept learning in description logics using refinement operators
• An approach to exploring description logic knowledge bases
• Machine Learning: ECML 2004

zbMATH Keywords

formal concept analysisdescription logicsontology learningterminological knowledge

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Conceptual Structures at Work
• Title not available (Why is that?)
• Two basic algorithms in concept analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Attribute-incremental construction of the canonical implication basis
• Title not available (Why is that?)
• Title not available (Why is that?)
• An approach to exploring description logic knowledge bases
• A Finite Basis for the Set of $\mathcal{EL}$ -Implications Holding in a Finite Model
• Formal concept analysis. 8th international conference, ICFCA 2010, Agadir, Morocco, March 15--18, 2010. Proceedings
• Title not available (Why is that?)
• Lexico-Logical Acquisition of OWL DL Axioms

Cited In (7)

• Mining ℰℒ⊥ Bases with Adaptable Role Depth
• Formal concept analysis: from knowledge discovery to knowledge processing
• Title not available (Why is that?)
• Using grammar-based genetic programming for mining disjointness axioms involving complex class expressions
• Most specific consequences in the description logic \(\mathcal{E} \mathcal{L} \)
• Title not available (Why is that?)
• Towards an error-tolerant construction of \(\mathcal{EL}^\bot\)-ontologies from data using formal concept analysis

Uses Software

• BioPortal
• DBpedia

This page was built for publication: Axiomatisation of general concept inclusions from finite interpretations

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