default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDOliver Fernandez Gil
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j2]Franz Baader
, Oliver Fernández Gil:
Extending the description logic EL with threshold concepts induced by concept measures. Artif. Intell. 326: 104034 (2024)- [c25]Franz Baader, Oliver Fernández Gil:
Unification in ℰℒℋℛ+ without the Top Concept modulo Cycle-Restricted Ontologies (Extended Abstract). Description Logics 2024 - [c24]Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan:
Optimal Alignment of Temporal Knowledge Bases (Extended Abstract). Description Logics 2024 - [c23]Franz Baader, Oliver Fernández Gil:
Unification in the Description Logic ELHℛ+ Without the Top Concept Modulo Cycle-Restricted Ontologies. IJCAR (2) 2024: 279-297 - 2023
- [c22]Oliver Fernández Gil, Pavlos Marantidis:
Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree Automatas. Description Logics 2023 - [c21]Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan:
Optimal Alignment of Temporal Knowledge Bases. ECAI 2023: 708-715 - [i2]Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan:
Optimal Alignment of Temporal Knowledge Bases. CoRR abs/2307.15439 (2023) - 2021
- [c20]Oliver Fernández Gil, Anni-Yasmin Turhan:
Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics. AAAI 2021: 6340-6348 - [c19]Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv:
Restricted Unification in the DL FL0 (Extended Abstract). Description Logics 2021 - [c18]Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv:
Restricted Unification in the DL ℱ0. FroCoS 2021: 81-97 - 2020
- [j1]Shiguang Feng, Claudia Carapelle, Oliver Fernández Gil, Karin Quaas:
MTL and TPTL for One-Counter Machines: Expressiveness, Model Checking, and Satisfiability. ACM Trans. Comput. Log. 21(2): 12:1-12:34 (2020) - [c17]Oliver Fernández Gil, Anni-Yasmin Turhan:
Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract). Description Logics 2020
2010 – 2019
- 2019
- [c16]Franz Baader, Oliver Fernández Gil, Pavlos Marantidis:
Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract). Description Logics 2019 - [c15]Oliver Fernández Gil, Anni-Yasmin Turhan:
Towards an Equivalence Degree of EL CQs (Extended Abstract). Description Logics 2019 - 2018
- [c14]Franz Baader, Oliver Fernandez Gil, Maximilian Pensel:
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. Description Logics 2018 - [c13]Franz Baader, Oliver Fernandez Gil, Maximilian Pensel:
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. GCAI 2018: 1-14 - [c12]Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis:
Matching in the Description Logic FL0 with respect to General TBoxes. LPAR 2018: 76-94 - 2017
- [c11]Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis:
Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in FL_0. LATA 2017: 3-26 - [c10]Franz Baader, Oliver Fernandez Gil:
Decidability and complexity of threshold description logics induced by concept similarity measures. SAC 2017: 983-988 - 2016
- [b1]Oliver Fernández Gil:
Adding Threshold Concepts to the Description Logic EL. Leipzig University, Germany, 2016 - [c9]Franz Baader, Oliver Fernandez Gil:
Extending the Description Logic with Acyclic TBoxes. ECAI 2016: 1096-1104 - 2015
- [c8]Oliver Fernandez Gil, Franz Baader, Gerhard Brewka:
Adding Threshold Concepts to the Description Logic EL. Description Logics 2015 - [c7]Franz Baader, Gerhard Brewka, Oliver Fernandez Gil:
Adding Threshold Concepts to the Description Logic EL. FroCos 2015: 33-48 - 2014
- [c6]Oliver Fernandez Gil:
Qualitative and Quantitative Approaches to Formalizing Prototypes in Knowledge Representation. Joint Workshop of the German Research Training Groups in Computer Science 2014: 144 - [c5]Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas:
Satisfiability for MTL and TPTL over Non-monotonic Data Words. LATA 2014: 248-259 - [c4]Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas:
Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words. AFL 2014: 174-187 - [i1]Oliver Fernandez Gil:
On the Non-Monotonic Description Logic ALC+Tmin. CoRR abs/1404.6566 (2014) - 2013
- [c3]Franz Baader, Oliver Fernandez Gil, Barbara Morawska:
Hybrid EL-Unification is NP-complete. Description Logics 2013: 29-40 - [c2]Franz Baader, Oliver Fernandez Gil, Barbara Morawska:
Hybrid Unification in the Description Logic. FroCos 2013: 295-310 - [c1]Franz Baader, Oliver Fernandez Gil, Barbara Morawska:
Hybrid Unification in the Description Logic EL. UNIF@RTA/TLCA 2013: 8-12
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
