Enriching EL-concepts with greatest fixpoints
From MaRDI portal
Publication:2999103
Recommendations
- Characterizing the expressive power for concept descriptions and terminological axioms boxes in the description logic \(\mathcal {ELU}\)
- Representation theorems and locality for subsumption testing and interpolation in the description logics \(\mathcal{EL}\), \(\mathcal{EL}^+\) and their extensions with \(n\)-ary roles and numerical domains
- The instance problem and the most specific concept in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics
- Exploring Finite Models in the Description Logic ${\mathcal {EL}}_{\rm gfp}$
- Locality and subsumption testing in \({\mathcal{EL}}\) and some of its extensions
Cited in
(7)- Characterizing the expressive power for concept descriptions and terminological axioms boxes in the description logic \(\mathcal {ELU}\)
- Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes
- Ontology learning from interpretations in lightweight description logics
- Representation theorems and locality for subsumption testing and interpolation in the description logics \(\mathcal{EL}\), \(\mathcal{EL}^+\) and their extensions with \(n\)-ary roles and numerical domains
- Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities
- Most specific consequences in the description logic \(\mathcal{E} \mathcal{L} \)
- Exploring Finite Models in the Description Logic ${\mathcal {EL}}_{\rm gfp}$
This page was built for publication: Enriching \(\mathcal {EL}\)-concepts with greatest fixpoints
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2999103)
