"Matching in the Description Logic FL0 with respect to General TBoxes ..."

Franz Baader, Oliver Fernández Gil, Pavlos Marantidis (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics