Oliver Fernandez Gil

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 6

Top Topics

Reasoning Problems

Knowledge Representation

Description Logics

Top Venues

Description Logics

Publications

Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis
Matching in the Description Logic FL0 with respect to General TBoxes. LPAR (2018)
Franz Baader, Oliver Fernandez Gil, Maximilian Pensel
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. GCAI (2018)
Franz Baader, Oliver Fernandez Gil, Maximilian Pensel
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. Description Logics (2018)
Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis
_0. LATA (2017)
Franz Baader, Oliver Fernandez Gil
Decidability and complexity of threshold description logics induced by concept similarity measures. SAC (2017)
Franz Baader, Oliver Fernandez Gil
Extending the Description Logic with Acyclic TBoxes. ECAI (2016)
Franz Baader, Gerhard Brewka, Oliver Fernandez Gil
. FroCos (2015)
Oliver Fernandez Gil, Franz Baader, Gerhard Brewka
Adding Threshold Concepts to the Description Logic EL. Description Logics (2015)
Oliver Fernandez Gil
. CoRR (2014)
Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas
Satisfiability for MTL and TPTL over Non-monotonic Data Words. LATA (2014)
Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas
Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words. AFL (2014)
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)
Franz Baader, Oliver Fernandez Gil, Barbara Morawska
Hybrid Unification in the Description Logic. FroCos (2013)
Franz Baader, Oliver Fernandez Gil, Barbara Morawska
Hybrid EL-Unification is NP-complete. Description Logics (2013)
Franz Baader, Oliver Fernandez Gil, Barbara Morawska
Hybrid Unification in the Description Logic EL. UNIF@RTA/TLCA (2013)