Oliver Fernandez Gil

According to our database, Oliver Fernandez Gil authored at least 28 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Extending the description logic EL with threshold concepts induced by concept measures.

Franz Baader, Oliver Fernández Gil

Artif. Intell., January, 2024

Unification in the Description Logic <i>ELH</i>_ℛ⁺ Without the Top Concept Modulo Cycle-Restricted Ontologies.

Franz Baader, Oliver Fernández Gil

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

Optimal Alignment of Temporal Knowledge Bases (Extended Abstract).

Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan

Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

Unification in ℰℒℋ_ℛ+ without the Top Concept modulo Cycle-Restricted Ontologies (Extended Abstract).

Franz Baader, Oliver Fernández Gil

Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

2023

Optimal Alignment of Temporal Knowledge Bases.

Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree Automatas.

Oliver Fernández Gil, Pavlos Marantidis

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

2021

Restricted Unification in the DL ℱ₀.

Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv

Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

Restricted Unification in the DL FL0 (Extended Abstract).

Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics.

Oliver Fernández Gil, Anni-Yasmin Turhan

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

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

Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract).

Oliver Fernández Gil, Anni-Yasmin Turhan

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2019

Towards an Equivalence Degree of EL CQs (Extended Abstract).

Oliver Fernández Gil, Anni-Yasmin Turhan

Proceedings of the 32nd International Workshop on Description Logics, 2019

Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract).

Franz Baader, Oliver Fernández Gil, Pavlos Marantidis

Proceedings of the 32nd International Workshop on Description Logics, 2019

2018

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

Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata.

Franz Baader, Oliver Fernandez Gil, Maximilian Pensel

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017

Decidability and complexity of threshold description logics induced by concept similarity measures.

Franz Baader, Oliver Fernandez Gil

Proceedings of the Symposium on Applied Computing, 2017

Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in <i>FL</i>_0.

Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis

Proceedings of the Language and Automata Theory and Applications, 2017

2016

Adding Threshold Concepts to the Description Logic EL

Oliver Fernández Gil

PhD thesis, 2016

Extending the Description Logic with Acyclic TBoxes.

Franz Baader, Oliver Fernandez Gil

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

Adding Threshold Concepts to the Description Logic <i>EL</i>.

Franz Baader, Gerhard Brewka, Oliver Fernandez Gil

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

Adding Threshold Concepts to the Description Logic EL.

Oliver Fernandez Gil, Franz Baader, Gerhard Brewka

Proceedings of the 28th International Workshop on Description Logics, 2015

2014

On the Non-Monotonic Description Logic ALC+T_min.

Oliver Fernandez Gil

CoRR, 2014

Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words.

Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas

Proceedings of the Proceedings 14th International Conference on Automata and Formal Languages, 2014

Satisfiability for MTL and TPTL over Non-monotonic Data Words.

Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas

Proceedings of the Language and Automata Theory and Applications, 2014

Qualitative and Quantitative Approaches to Formalizing Prototypes in Knowledge Representation.

Oliver Fernandez Gil

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014

2013

Hybrid Unification in the Description Logic EL.

Franz Baader, Oliver Fernandez Gil, Barbara Morawska

Proceedings of the 27th International Workshop on Unification, 2013

Hybrid Unification in the Description Logic.

Franz Baader, Oliver Fernandez Gil, Barbara Morawska

Proceedings of the Frontiers of Combining Systems, 2013

Hybrid EL-Unification is NP-complete.

Franz Baader, Oliver Fernandez Gil, Barbara Morawska

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013