Restricted Unification in the DL EL

Download PDF

Franz Baader, Maryam Rostamigiv

Published: 01 Jan 2021, Last Modified: 31 Jul 2025Description Logics 2021EveryoneRevisionsBibTeXCC BY-SA 4.0