Axiomatisation of general concept inclusions from finite interpretations

DOI10.1080/11663081.2016.1168230MaRDI QIDQ4586152zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

formal concept analysisdescription logicsontology learningterminological knowledge

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 1670908 (Why is no real title available?)
• scientific article; zbMATH DE number 1808289 (Why is no real title available?)
• scientific article; zbMATH DE number 6342534 (Why is no real title available?)
• scientific article; zbMATH DE number 1249514 (Why is no real title available?)
• scientific article; zbMATH DE number 1306878 (Why is no real title available?)
• scientific article; zbMATH DE number 1163483 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1406213 (Why is no real title available?)
• scientific article; zbMATH DE number 7635224 (Why is no real title available?)
• A Finite Basis for the Set of $\mathcal{EL}$ -Implications Holding in a Finite Model
• An approach to exploring description logic knowledge bases
• Attribute-incremental construction of the canonical implication basis
• Conceptual Structures at Work
• Formal concept analysis. 8th international conference, ICFCA 2010, Agadir, Morocco, March 15--18, 2010. Proceedings
• Lexico-Logical Acquisition of OWL DL Axioms
• Two basic algorithms in concept analysis

Cited in

(7)

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

Describes a project that uses

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)