2 citations · 3 across the 4 of their papers we have counts for
4 papers
The Unification Type of an Equational Theory May Depend on the Instantiation Preorder: From Results for Single Theories to Results for Classes of Theories
Franz Baader, Oliver Fernández Gil
The unification type of an equational theory is defined using a preorder on substitutions, called the instantiation preorder, whose scope is either restricted to the variables occu…
Optimal Alignment of Temporal Knowledge Bases
Oliver Fernandez-Gil, Fabio Patrizi, Giuseppe Perelli +1
Answering temporal CQs over temporalized Description Logic knowledge bases (TKB) is a main technique to realize ontology-based situation recognition. In case the collected data in…
On the Non-Monotonic Description Logic +T
Oliver Fernández Gil
In the last 20 years many proposals have been made to incorporate non-monotonic reasoning into description logics, ranging from approaches based on default logic and circumscriptio…
On the Expressiveness of TPTL and MTL over ω-Data Words
Claudia Carapelle, Shiguang Feng, Oliver Fernández Gil +1
Metric Temporal Logic (MTL) and Timed Propositional Temporal Logic (TPTL) are prominent extensions of Linear Temporal Logic to specify properties about data languages. In this pape…