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

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