Lean kernels in description logics
Publication date:
2017
Publisher version:
Serie:
Lecture Notes in Computer Science, 10249
Descripción física:
p. 518-533
ISBN:
978-3-319-58068-5; 978-3-319-58067-8
Lecture Notes in Computer Science, 10249