Oliver Fernández Gil

Computer Science · Physical Sciences

5h-index63citations45works0.52yr avg
OpenAlex↗ORCID↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Semantic Web and Ontologies(27), Logic, Reasoning, and Knowledge(18), Advanced Database Systems and Queries(14), Logic, programming, and type systems(8), Natural Language Processing Techniques(8)

Publications45 total

The Unification Type of an Equational Theory May Depend on the Instantiation Preorder: From Results for Single Theories to Results for Classes of Theories
ArXiv.org·2026Open Access
The Unification Type of an Equational Theory May Depend on the Instantiation Preorder: From Results for Single Theories to Results for Classes of Theories
arXiv (Cornell University)·2026Open Access
Unification in the Description Logic ELHR+ without the Top Concept modulo Cycle-Restricted Ontologies
2024· 2 citedOpen Access
Unification in the Description Logic $$\mathcal {ELH}_{\mathcal {R}^+}$$ Without the Top Concept Modulo Cycle-Restricted Ontologies
Lecture notes in computer science·2024Open Access
Extending the description logic <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.svg"> <mml:mi mathvariant="script">EL</mml:mi> </mml:math> with threshold concepts induced by concept measures
Artificial Intelligence·2023· 4 citedOpen Access
Optimal Alignment of Temporal Knowledge Bases
Frontiers in artificial intelligence and applications·2023· 2 citedOpen Access
Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree Automata
2023Open Access
Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics
Proceedings of the AAAI Conference on Artificial Intelligence·2021Open Access
Restricted Unification in the DL FL0 (Extended Abstract).
Description Logics·2021
Restricted Unification in the DL FL₀ (Extended Version)
2021
Restricted Unification in the DL $$\mathcal {FL}_0$$
Lecture notes in computer science·2021· 2 cited
Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract).
Description Logics·2020
Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics
2020· 1 cited
MTL and TPTL for One-Counter Machines
ACM Transactions on Computational Logic·2019· 1 cited
Towards an Equivalence Degree of EL CQs (Extended Abstract).
Description Logics·2019
Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract).
Description Logics·2019
Matching in the Description Logic FL0 with respect to General TBoxes
EPiC series in computing·2018· 1 citedOpen Access
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
EPiC series in computing·2018· 2 citedOpen Access
INTRODUCCIÓN A LA COMPRESIÓN DE INFORMACIÓN MULTIMEDIA
2018
TRANSMISIÓN DE FLUJOS DE VÍDEO
2018
page 1 of 3Next →

Frequent Co-authors

Franz Baader(23), Pavlos Marantidis(5), Anni-Yasmin Turhan(5), Barbara Morawska(5), Gerhard Brewka(3), Claudia Carapelle(3), Shiguang Feng(3), Karin Quaas(3), Maryam Rostamigiv(3), José Salvador(3), Maximilian Pensel(2), José Salvador(2), Franz Baader(2), Fabio Patrizi(1), Giuseppe Perelli(1), José María Labernia Salvador(1), José Salvador(1), José M. Millán(1)