Extending EL++ with linear constraints on the probability of axioms
Marcelo Finger
Lutz, Carsten; et al, ed Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday Cham : Springer, 2019Cham Springer 2019
Localização: IME - Inst. Matemática e Estatística (PROD-2953686 )(Acessar)