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* | |
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 |
Towards an Equivalence Degree of EL CQs OF Gil, AY Turhan Description Logics, 2019 | | 2019 |