Adding threshold concepts to the description logic F Baader, G Brewka, O Fernández Gil
International Symposium on Frontiers of Combining Systems, 33-48, 2015
29 2015 On the non-monotonic description logic alc+ tmin O Fernández Gil
15TH INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING (NMR 2014) VIENNA …, 2014
18 2014 Matching in the Description Logic FL0 with respect to General TBoxes F Baader, O Fernández Gil, P Marantidis
22nd International Conference on Logic for Programming Artificial …, 2018
14 2018 Standard and non-standard inferences in the description logic FL0 using tree automata F Baader, O Fernández Gil, M Pensel
4th Global Conference on Artificial Intelligence (GCAI 2018), 1-14, 2018
10 2018 Restricted unification in the description logic FL0 F Baader, O Fernández Gil, M Rostamigiv
Proc. of the 13th International Symposium on Frontiers of Combining Systems …, 2021
8 * 2021 Decidability and complexity of threshold description logics induced by concept similarity measures F Baader, O Fernández Gil
Proceedings of the 32nd ACM SIGAPP Symposium On Applied Computing, 983-988, 2017
7 2017 Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in F Baader, O Fernández Gil, P Marantidis
International Conference on Language and Automata Theory and Applications, 3-26, 2017
7 2017 Satisfiability for MTL and TPTL over Non-monotonic Data Words C Carapelle, S Feng, O Fernández Gil, K Quaas
International Conference on Language and Automata Theory and Applications …, 2014
7 2014 Extending the description logic tel (deg) with acyclic tboxes O Fernandez Gil, F Baader
Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI …, 2016
5 * 2016 Hybrid Unification in the Description Logic F Baader, O Fernández Gil, B Morawska
International Symposium on Frontiers of Combining Systems, 295-310, 2013
3 2013 Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics O Fernández Gil, AY Turhan
Proceedings of the AAAI Conference on Artificial Intelligence, 2021
1 2021 On the Expressiveness of TPTL and MTL over\omega-Data Words C Carapelle, S Feng, O Fernández Gil, K Quaas
arXiv preprint arXiv:1311.6250, 2013
1 2013 Ehrenfeucht-Fraıssé Games for TPTL and MTL over Non-monotonic Data Words C Carapelle, S Feng, O Fernández Gil, K Quaas
arXiv preprint arXiv:1311.6250, 2013
1 2013 Optimal Alignment of Temporal Knowledge Bases O Fernández Gil, F Patrizi, G Perelli, AY Turhan
1 * Unification in the Description Logic ELHR+ without the Top Concept modulo Cycle-Restricted Ontologies F Baader, OF Gil
2024 Extending the Description Logic EL with Threshold Concepts Induced by Concept Measures F Baader, O Fernández Gil
Artificial Intelligence, 104034, 2023
2023 Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree Automata O Fernández Gil, P Marantidis
2023 Restricted Unification in the DL FL₀ F Baader, OF Gil, M Rostamigiv
2021 Relaxed Regular Path Queries in Lightweight DLs OF Gil, AY Turhan
Description Logics, 2020
2020 MTL and TPTL for One-Counter Machines: Expressiveness, Model Checking, and Satisfiability S Feng, C Carapelle, O Fernández Gil, K Quaas
ACM Transactions on Computational Logic (TOCL) 21 (2), 1-34, 2019
2019