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

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