Most specific consequences in the description logic E L

DOI10.1016/J.DAM.2019.01.029MaRDI QIDQ2286398zbMATH OpenOpenAlexFDO

Authors Francesco Kriegel

Publication date 22 January 2020

Published in Discrete Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.dam.2019.01.029

zbMATH Keywords

axiomatizationclosure operatorconcept inclusiondescription logicerror toleranceformal concept analysisinductive learninglattice theorymachine learningmost specific consequenceontologystreamTBoxterminological axiom

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• The instance problem and the most specific concept in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics
• scientific article; zbMATH DE number 1836276
• scientific article; zbMATH DE number 1882072
• Graph-Theoretic Concepts in Computer Science
• Computing the least common subsumer in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics

Cites work

• A Finite Basis for the Set of $\mathcal{EL}$ -Implications Holding in a Finite Model
• An introduction to description logic
• Axiomatisation of general concept inclusions from finite interpretations
• Conceptual exploration
• Conceptual Structures at Work
• Deciding inseparability and conservative extensions in the description logic
• DL-learner: learning concepts in description logics
• Enriching \(\mathcal {EL}\)-concepts with greatest fixpoints
• Exploring Finite Models in the Description Logic ${\mathcal {EL}}_{\rm gfp}$
• Formal Concept Analysis of Social Networks
• scientific article; zbMATH DE number 3598539 (Why is no real title available?)
• scientific article; zbMATH DE number 1249514 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 1418279 (Why is no real title available?)
• scientific article; zbMATH DE number 7635224 (Why is no real title available?)
• Lattices of closure operators
• On the succinctness of closure operator representations
• SAT encoding of unification in \(\mathcal{ELH}_{{R}^+}\) w.r.t. cycle-restricted ontologies
• Some decision and counting problems of the Duquenne-Guigues basis of implications
• The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey

Cited in

(4)

• scientific article; zbMATH DE number 1836276 (Why is no real title available?)
• scientific article; zbMATH DE number 1882072 (Why is no real title available?)
• The instance problem and the most specific concept in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics
• Mining ℰℒ⊥ Bases with Adaptable Role Depth

Describes a project that uses

Uses Software

• DL-learner

This page was built for publication: Most specific consequences in the description logic \(\mathcal{E} \mathcal{L} \)

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