Hybrid EL-Unification is NP-complete. - Franz Baader; Oliver Fernandez Gil; Barbara Morawska 001 (Description Logics, 2013)

Hybrid Unification in the Description Logic. - Franz Baader; Oliver Fernandez Gil; Barbara Morawska 001 (FroCos, 2013)

Hybrid Unification in the Description Logic EL. - Franz Baader; Oliver Fernandez Gil; Barbara Morawska 001 (UNIF@RTA/TLCA, 2013)

Qualitative and Quantitative Approaches to Formalizing Prototypes in Knowledge Representation. - Oliver Fernandez Gil (Joint Workshop of the German Research Training Groups in Computer Science, 2014)

Satisfiability for MTL and TPTL over Non-monotonic Data Words. - Claudia Carapelle; Shiguang Feng; Oliver Fernandez Gil; Karin Quaas (LATA, 2014)

Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words. - Claudia Carapelle; Shiguang Feng; Oliver Fernandez Gil; Karin Quaas (AFL, 2014)

On the Non-Monotonic Description Logic ALC+Tmin. - Oliver Fernandez Gil (CoRR, 2014)

Adding Threshold Concepts to the Description Logic EL. - Oliver Fernandez Gil; Franz Baader; Gerhard Brewka (Description Logics, 2015)

Adding Threshold Concepts to the Description Logic EL. - Franz Baader; Gerhard Brewka; Oliver Fernandez Gil (FroCos, 2015)

Extending the Description Logic with Acyclic TBoxes. - Franz Baader; Oliver Fernandez Gil (ECAI, 2016)

Adding Threshold Concepts to the Description Logic EL - Oliver Fernández Gil (2016)

Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in FL_0. - Franz Baader; Oliver Fernandez Gil; Pavlos Marantidis (LATA, 2017)

Decidability and complexity of threshold description logics induced by concept similarity measures. - Franz Baader; Oliver Fernandez Gil (SAC, 2017)

Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. - Franz Baader; Oliver Fernandez Gil; Maximilian Pensel (Description Logics, 2018)

Matching in the Description Logic FL0 with respect to General TBoxes. - Franz Baader; Oliver Fernandez Gil; Pavlos Marantidis (LPAR, 2018)

Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract). - Franz Baader; Oliver Fernández Gil; Pavlos Marantidis (Description Logics, 2019)

Towards an Equivalence Degree of EL CQs (Extended Abstract). - Oliver Fernández Gil; Anni-Yasmin Turhan (Description Logics, 2019)

Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract). - Oliver Fernández Gil; Anni-Yasmin Turhan (Description Logics, 2020)

MTL and TPTL for One-Counter Machines: Expressiveness, Model Checking, and Satisfiability. - Shiguang Feng; Claudia Carapelle; Oliver Fernández Gil; Karin Quaas (ACM Trans. Comput. Log., 2020)

Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics. - Oliver Fernández Gil; Anni-Yasmin Turhan (AAAI, 2021)

Restricted Unification in the DL FL0 (Extended Abstract). - Franz Baader; Oliver Fernández Gil; Maryam Rostamigiv (Description Logics, 2021)

Restricted Unification in the DL ℱ0. - Franz Baader; Oliver Fernández Gil; Maryam Rostamigiv (FroCoS, 2021)

Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree Automatas. - Oliver Fernández Gil; Pavlos Marantidis (Description Logics, 2023)

Optimal Alignment of Temporal Knowledge Bases. - Oliver Fernández Gil; Fabio Patrizi; Giuseppe Perelli; Anni-Yasmin Turhan (ECAI, 2023)

Unification in ℰℒℋℛ+ without the Top Concept modulo Cycle-Restricted Ontologies (Extended Abstract). - Franz Baader; Oliver Fernández Gil (Description Logics, 2024)

Optimal Alignment of Temporal Knowledge Bases (Extended Abstract). - Oliver Fernández Gil; Fabio Patrizi; Giuseppe Perelli; Anni-Yasmin Turhan (Description Logics, 2024)

Unification in the Description Logic ELHℛ+ Without the Top Concept Modulo Cycle-Restricted Ontologies. - Franz Baader; Oliver Fernández Gil (IJCAR (2), 2024)

Extending the description logic EL with threshold concepts induced by concept measures. - Franz Baader; Oliver Fernández Gil (Artif. Intell., 2024)

The Unification Type of an Equational Theory May Depend on the Instantiation Preorder. - Franz Baader; Oliver Fernández Gil (FSCD, 2025)