"Standard and Non-Standard Inferences in the Description Logic FL0 Using ..."

Franz Baader, Oliver Fernandez Gil, Maximilian Pensel (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics