Personal information

Activities

Works (8)

Unification in the Description Logic $$\mathcal {ELH}_{\mathcal {R}^+}$$ Without the Top Concept Modulo Cycle-Restricted Ontologies

2024 | Book chapter
Contributors: Franz Baader; Oliver Fernández Gil
Source: check_circle
Crossref

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

Artificial Intelligence
2024-01 | Journal article
Contributors: Franz Baader; Oliver Fernández Gil
Source: check_circle
Crossref

Restricted Unification in the DL $$\mathcal {FL}_0$$

2021 | Book chapter
Contributors: Franz Baader; Oliver Fernández Gil; Maryam Rostamigiv
Source: check_circle
Crossref

Matching in the Description Logic FL0 with respect to General TBoxes

LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
2018 | Conference paper
Source: Self-asserted source
Oliver Fernández Gil

Approximation in description logics: How weighted tree automata can help to define the required concept comparison measures in FL_0

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017 | Book
EID:

2-s2.0-85013384791

Part of ISSN: 16113349 03029743
Source: Self-asserted source
Oliver Fernández Gil
grade
Preferred source (of 2)‎

Extending the Description Logic tel(deg) with acyclic TBoxes

Twenty-second European Conference on Artificial Intelligence (ECAI 2016)
2016 | Conference paper
Source: Self-asserted source
Oliver Fernández Gil

Satisfiability for MTL and TPTL over non-monotonic data words

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | Book
EID:

2-s2.0-84898077553

Part of ISSN: 03029743 16113349
Contributors: Carapelle, C.; Feng, S.; Fernández Gil, O.; Quaas, K.
Source: Self-asserted source
Oliver Fernández Gil via Scopus - Elsevier

Hybrid unification in the description logic ℰℒ

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013 | Book
EID:

2-s2.0-84886801977

Part of ISSN: 03029743 16113349
Contributors: Baader, F.; Fernández Gil, O.; Morawska, B.
Source: Self-asserted source
Oliver Fernández Gil via Scopus - Elsevier