Oliver Fernandez Gil

15 papers A 1B 1C 2Misc 1Journal 1Unranked 9
YearRankTypeTitle / Venue / Authors
2018 B conf
Matching in the Description Logic FL0 with respect to General TBoxes.
LPAR
Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis
2018 — conf
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata.
Description Logics
Franz Baader, Oliver Fernandez Gil, Maximilian Pensel
2018 — conf
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata.
GCAI
Franz Baader, Oliver Fernandez Gil, Maximilian Pensel
2017 C conf
Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in
LATA
Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis
2017 Misc conf
Decidability and complexity of threshold description logics induced by concept similarity measures.
SAC
Franz Baader, Oliver Fernandez Gil
2016 A conf
Extending the Description Logic with Acyclic TBoxes.
ECAI
Franz Baader, Oliver Fernandez Gil
2015 — conf
Adding Threshold Concepts to the Description Logic
FroCos
Franz Baader, Gerhard Brewka, Oliver Fernandez Gil
2015 — conf
Adding Threshold Concepts to the Description Logic EL.
Description Logics
Oliver Fernandez Gil, Franz Baader, Gerhard Brewka
2014 — conf
Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words.
AFL
Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas
2014 J jnl
On the Non-Monotonic Description Logic ALC+T
CoRR
Oliver Fernandez Gil
2014 — conf
Qualitative and Quantitative Approaches to Formalizing Prototypes in Knowledge Representation.
Joint Workshop of the German Research Training Groups in Computer Science
Oliver Fernandez Gil
2014 C conf
Satisfiability for MTL and TPTL over Non-monotonic Data Words.
LATA
Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas
2013 — conf
Hybrid EL-Unification is NP-complete.
Description Logics
Franz Baader, Oliver Fernandez Gil, Barbara Morawska
2013 — conf
Hybrid Unification in the Description Logic EL.
UNIF@RTA/TLCA
Franz Baader, Oliver Fernandez Gil, Barbara Morawska
2013 — conf
Hybrid Unification in the Description Logic.
FroCos
Franz Baader, Oliver Fernandez Gil, Barbara Morawska