Oliver Fernández Gil

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 14

Top Topics

Temporal Knowledge

Extended Abstract

Semantic Mapping

Top Venues

Description Logics

ACM Trans. Comput. Log.

Publications

Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan
Optimal Alignment of Temporal Knowledge Bases (Extended Abstract). Description Logics (2024)
Franz Baader, Oliver Fernández Gil
without the Top Concept modulo Cycle-Restricted Ontologies (Extended Abstract). Description Logics (2024)
Franz Baader, Oliver Fernández Gil
Extending the description logic EL with threshold concepts induced by concept measures. Artif. Intell. 326 (2024)
Franz Baader, Oliver Fernández Gil
Without the Top Concept Modulo Cycle-Restricted Ontologies. IJCAR (2) (2024)
Oliver Fernández Gil, Pavlos Marantidis
Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree Automatas. Description Logics (2023)
Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan
Optimal Alignment of Temporal Knowledge Bases. ECAI (2023)
Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan
Optimal Alignment of Temporal Knowledge Bases. CoRR (2023)
Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv
Restricted Unification in the DL FL0 (Extended Abstract). Description Logics (2021)
Oliver Fernández Gil, Anni-Yasmin Turhan
Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics. AAAI (2021)
Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv
. FroCoS (2021)
Shiguang Feng, Claudia Carapelle, Oliver Fernández Gil, Karin Quaas
MTL and TPTL for One-Counter Machines: Expressiveness, Model Checking, and Satisfiability. ACM Trans. Comput. Log. 21 (2) (2020)
Oliver Fernández Gil, Anni-Yasmin Turhan
Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract). Description Logics (2020)
Franz Baader, Oliver Fernández Gil, Pavlos Marantidis
Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract). Description Logics (2019)
Oliver Fernández Gil, Anni-Yasmin Turhan
Towards an Equivalence Degree of EL CQs (Extended Abstract). Description Logics (2019)