Oliver Fernández Gil

Available identifiers

zbMath Open fernandez-gil.oliverMaRDI QIDQ831923

List of research outcomes

Publication	Date of Publication	Type
Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures	2024-02-13	Paper
Restricted unification in the DL \(\mathcal{FL}_0\)	2022-03-24	Paper
https://portal.mardi4nfdi.de/entity/Q4994943	2021-06-22	Paper
MTL and TPTL for One-Counter Machines	2020-02-14	Paper
Matching in the Description Logic FL0 with respect to General TBoxes	2019-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4576238	2018-07-12	Paper
Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in $$\mathcal {FL}_0$$	2017-06-01	Paper
Adding Threshold Concepts to the Description Logic $\mathcal{EL}$	2017-02-27	Paper
Satisfiability for MTL and TPTL over Non-monotonic Data Words	2014-03-31	Paper
Hybrid Unification in the Description Logic $\mathcal{EL}$	2013-09-20	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Oliver Fernández Gil