Restricted unification in the DL \(\mathcal{FL}_0\)
From MaRDI portal
Publication:831925
DOI10.1007/978-3-030-86205-3_5OpenAlexW3197820867MaRDI QIDQ831925
Oliver Fernández Gil, Franz Baader, Maryam Rostamigiv
Publication date: 24 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-86205-3_5
Related Items (1)
Cites Work
- Unification in commutative theories
- Haskell overloading is DEXPTIME-complete
- Combination problems for commutative/monoidal theories or how algebra can help in equational unification
- Unification in the Description Logic EL
- UEL: Unification Solver for the Description Logic $\mathcal{EL}$ – System Description
- Blending margins: the modal logic K has nullary unification type
- Bounded ACh unification
- Unification of concept terms in description logics
- Unification theory
This page was built for publication: Restricted unification in the DL \(\mathcal{FL}_0\)
