|
21 June 2019
|
DL 2019
|
How Modular Are Modular Ontologies? Logic-Based Metrics for Ontologies with Imports
Slides (PDF)
|
|
28 Oct 2018
|
DL 2018
|
Ontology Partitioning Using E-Connections Revisited
Slides (PDF)
|
|
27 Mar 2018
|
ICDT 2018
|
Querying the Unary Negation Fragment with Regular Path Expressions
Slides (PDF)
|
|
23 Nov 2017
|
GI ALGO/KP/LogInf 2017
|
Invited talk: Conservative Extensions in Expressive Ontology Languages
Slides (PDF)
|
|
30 Jul 2015
|
IJCAI 2015
|
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes
Slides (PDF)
Tech. Report (PDF)
|
|
10 Jun 2015
|
DL 2015
|
The Complexity of Temporal Description Logics with Rigid Roles and Restricted TBoxes: In Quest of Saving a Troublesome Marriage
Slides (PDF)
Tech. Report (PDF)
|
|
22 Jul 2014
|
KR 2014
|
Lightweight Description Logics and Branching Time: a Troublesome Marriage
Slides (PDF)
Tech. Report (PDF)
|
|
5 Sep 2013
|
COSIT 2013
|
Algebraic Properties of Qualitative Spatio-Temporal Calculi
Slides (PDF)
Tech. Report (PDF)
|
|
2 Aug 2013
|
SFB/TR 8 Colloquium
|
Algebraic Properties of Qualitative Spatio-Temporal Calculi
Slides (PDF)
Tech. Report (PDF)
|
|
6 Mar 2013
|
U Manchester
|
The Complexity of Satisfiability for Fragments of Hybrid Logic
Part 1: JAL article (ScienceDirect)
Part 2: AiML paper, extended version (PDF)
Slides (PDF)
|
|
24 Aug 2012
|
AiML 2012
|
The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers
Report (PDF)
Slides (PDF)
|
|
24 Jul 2012
|
WoMO 2012
|
Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation?
Report (PDF)
Slides (PDF)
|
|
24 Jan 2012
|
U Hannover
|
The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers
Report (PDF)
Updated slides (PDF)
|
|
4 Nov 2011
|
LogInf 2011
|
The Modular Structure of an Ontology: Atomic Decomposition
Slides (PDF)
|
|
10 Aug 2011
|
WoMO 2011
|
The Modular Structure of an Ontology: Atomic Decomposition and Module Count
Report (PDF)
Slides (PDF)
|
|
5 Jul 2011
|
TABLEAUX 2011
|
Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics
Report (PDF)
Slides (PDF)
|
|
6 Nov 2010
|
LogInf 2010
|
The Modular Structure of an Ontology: an Empirical Study
Report (PDF)
Previous slides (PDF)
|
|
18 Jun 2010
|
U Saarland
|
The Complexity of Hybrid Logics
Slides (PDF)
|
|
7/11 May 2010
|
DL 2010/WoMO 2010
|
The Modular Structure of an Ontology: an Empirical Study
Report (PDF)
Slides (PDF)
|
|
21 Apr 2010
|
U Leipzig
|
Working Modularly with Ontologies
Slides (PDF)
|
|
25 Mar 2010
|
U Hannover
|
Working Modularly with Ontologies
Slides (PDF)
|
|
30 Nov 2009
|
U Jena
|
Working Modularly with Ontologies
Slides (PDF)
|
|
23 Oct 2009
|
OWLED 2009
|
Mechanisms for Importing Modules
Paper (PDF)
Slides (PDF)
|
|
25 Aug 2009
|
MFCS 2009
|
The Complexity of Satisfiability for Fragments of Hybrid Logic
Paper (DOI)
Slides (PDF)
|
|
28 Jul 2009
|
DL 2009
|
Which Kind of Module Should I Extract?
Paper (PDF)
Slides (PDF)
|
|
27 Jan 2009
|
Meraka Inst.
|
Working Modularly with Ontologies
Slides (PDF)
|
|
26 Oct 2008
|
OWLED 2008
|
Easy Keys for OWL
Paper (PDF)
|
|
13 May 2008
|
DL 2008
|
Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support
Slides (PDF)
|
|
25 Apr 2008
|
OWLED 2008 DC
|
Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support
Slides (PDF)
|
|
29 Nov 2007
|
M4M-5 2007
|
The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments
|
|
10 Aug 2007
|
HyLo 2007
|
The Complexity of Hybrid Logics over Equivalence Relations
|
|
26 Mar 2007
|
FoSSaCS 2007
|
The Complexity of Generalized Satisfiability for Linear Temporal Logic
|
|
11 Aug 2006
|
HyLo 2006
|
Undecidability of Multi-modal Hybrid Logics
|
|
1 Dec 2005
|
M4M-4 2005
|
Complexity of Hybrid Logics over Transitive Frames
|
20 Feb 2020 TS