HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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

Keyphrases

complexity, Description Logic3, difference, FL0, least common subsumer, matching, NP-complete, subsumption, tree automata2, unification.

Copyright © 2012-2025 easychair.org. All rights reserved.