Unification in the Description Logic \mathcal{EL}
From MaRDI portal
Publication:3636834
Recommendations
- Unification in the description logic EL
- Unification in the description logic \(\mathcal{EL}\) without the top concept
- Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor
- Hybrid unification in the description logic \(\mathcal{EL}\)
- UEL: Unification Solver for the Description Logic $\mathcal{EL}$ – System Description
Cites work
- Best solving modal equations
- Computing the least common subsumer w.r.t. a background terminology
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- Locality and subsumption testing in \({\mathcal{EL}}\) and some of its extensions
- Matching in description logics
- Non-standard inferences in description logics
- The instance problem and the most specific concept in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics
- Undecidability of the unification and admissibility problems for modal and description logics
- Unification in a description logic with transitive closure of roles
- Unification in commutative theories
- Unification of concept terms in description logics
- Unification theory
Cited in
(22)- Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)
- Statistical \(\mathcal{EL}\) is \textsc{ExpTime}-complete
- Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
- Unification in the description logic EL
- Approximate unification in the description logic \(\mathcal {FL}_0\)
- Hybrid unification in the description logic \(\mathcal{EL}\)
- SAT encoding of unification in \(\mathcal{ELH}_{{R}^+}\) w.r.t. cycle-restricted ontologies
- UEL: Unification Solver for the Description Logic $\mathcal{EL}$ – System Description
- Extending unification in \(\mathcal{EL}\) to disunification: the case of dismatching and local disunification
- Unification in a description logic with transitive closure of roles
- Contact logic is finitary for unification with constants
- Admissibility and Unifiability in Contact Logics
- KD is nullary
- SAT Encoding of Unification in $\mathcal{EL}$
- Extensions of unification modulo ACUI
- Unification in the description logic \(\mathcal{EL}\) without the top concept
- Dismatching and local disunification in \(\mathcal {EL}\)
- Unification of concept terms in description logics
- Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures
- Projective relative unification through duality
- Unification in the description logic \(\mathcal{ELH}_{\mathcal{R}^+}\) without the top concept modulo cycle-restricted ontologies
This page was built for publication: Unification in the Description Logic $\mathcal{EL}$
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3636834)
