Author:Oliver Fernandez Gil

Publications
Matching in the Description Logic FL0 with respect to General TBoxes Franz Baader, Oliver Fernandez Gil and Pavlos Marantidis In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata Franz Baader, Oliver Fernandez Gil and Maximilian Pensel In:GCAI-2018. 4th Global Conference on Artificial Intelligence
Hybrid Unification in the Description Logic EL Franz Baader, Oliver Fernandez Gil and Barbara Morawska In:UNIF 2013. 27th International Workshop on Unification