Oliver Fernandez Gil

Orcid: 0000-0002-9458-1701

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Extending the description logic EL with threshold concepts induced by concept measures.
Artif. Intell., January, 2024

Unification in the Description Logic <i>ELH</i><sub>ℛ</sub><sup>+</sup> Without the Top Concept Modulo Cycle-Restricted Ontologies.
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

Optimal Alignment of Temporal Knowledge Bases (Extended Abstract).
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

Unification in ℰℒℋ<sub>ℛ+</sub> without the Top Concept modulo Cycle-Restricted Ontologies (Extended Abstract).
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

2023
Optimal Alignment of Temporal Knowledge Bases.
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.
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 ℱ<sub>0</sub>.
Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

Restricted Unification in the DL FL0 (Extended Abstract).
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.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
MTL and TPTL for One-Counter Machines: Expressiveness, Model Checking, and Satisfiability.
ACM Trans. Comput. Log., 2020

Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract).
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).
Proceedings of the 32nd International Workshop on Description Logics, 2019

Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract).
Proceedings of the 32nd International Workshop on Description Logics, 2019

2018
Matching in the Description Logic FL0 with respect to General TBoxes.
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.
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.
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.
Proceedings of the Language and Automata Theory and Applications, 2017

2016
Adding Threshold Concepts to the Description Logic EL
PhD thesis, 2016

Extending the Description Logic with Acyclic TBoxes.
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>.
Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

Adding Threshold Concepts to the Description Logic EL.
Proceedings of the 28th International Workshop on Description Logics, 2015

2014
On the Non-Monotonic Description Logic ALC+T<sub>min</sub>.
CoRR, 2014

Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words.
Proceedings of the Proceedings 14th International Conference on Automata and Formal Languages, 2014

Satisfiability for MTL and TPTL over Non-monotonic Data Words.
Proceedings of the Language and Automata Theory and Applications, 2014

Qualitative and Quantitative Approaches to Formalizing Prototypes in Knowledge Representation.
Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014

2013
Hybrid Unification in the Description Logic EL.
Proceedings of the 27th International Workshop on Unification, 2013

Hybrid Unification in the Description Logic.
Proceedings of the Frontiers of Combining Systems, 2013

Hybrid EL-Unification is NP-complete.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013


  Loading...