Thomas Schneider

Carsten Lutz

Mauricio Martel

Proceedings of the 21st International Conference on Database Theory, 2018

Ontology Partitioning Using E-Connections Revisited.

[BibT_eX]

[DOI]

Sascha Jongebloed

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017

A Survey of Qualitative Spatial and Temporal Calculi: Algebraic and Computational Properties.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2017

Query Conservative Extensions in Horn Description Logics with Inverse Roles.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Conservative Extensions in Guarded and Two-Variable Fragments.

[BibT_eX]

[DOI]

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2015

Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes.

[BibT_eX]

[DOI]

Víctor Gutiérrez-Basulto

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

The Complexity of Temporal Description Logics with Rigid Roles and Restricted TBoxes: In Quest of Saving a Troublesome Marriage.

[BibT_eX]

[DOI]

Víctor Gutiérrez-Basulto

Proceedings of the 28th International Workshop on Description Logics, 2015

2014

Lightweight Description Logics and Branching Time: A Troublesome Marriage.

[BibT_eX]

[DOI]

Víctor Gutiérrez-Basulto

Yazmín Angélica Ibáñez-García

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Finite Model Reasoning in Horn Description Logics.

[BibT_eX]

[DOI]

Carsten Lutz

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

2013

Generalized satisfiability for the description logic ALC.

[BibT_eX]

[DOI]

Arne Meier

Yazmín Angélica Ibáñez-García

Theor. Comput. Sci., 2013

Empirical Study of Logic-Based Modules: Cheap Is Cheerful.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2013, 2013

Finite Model Reasoning in Horn-SHIQ.

[BibT_eX]

[DOI]

Carsten Lutz

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Algebraic Properties of Qualitative Spatio-temporal Calculi.

[BibT_eX]

[DOI]

Proceedings of the Spatial Information Theory - 11th International Conference, 2013

2012

Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation?

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Modular Ontologies, 2012

Incrementally Updateable and Persistent Decomposition of OWL Ontologies.

[BibT_eX]

[DOI]

Pavel Klinov

Chiara Del Vescovo

Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 9, 2012

2011

Getting the foot out of the pelvis: modeling problems affecting use of SNOMED CT hierarchies in practical applications.

[BibT_eX]

[DOI]

Alan L. Rector

Sam Brandt

J. Am. Medical Informatics Assoc., 2011

Model Checking CTL is Almost Always Inherently Sequential

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2011

The Modular Structure of an Ontology: Atomic Decomposition and Module Count.

[BibT_eX]

[DOI]

Proceedings of the Modular Ontologies - Proceedings of the Fifth International Workshop, 2011

Generalized Satisfiability for the Description Logic <i>ALC</i> - (Extended Abstract).

[BibT_eX]

[DOI]

Arne Meier

Proceedings of the Theory and Applications of Models of Computation, 2011

Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics.

[BibT_eX]

[DOI]

Mark Kaminski

Gert Smolka

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

Decomposition and Modular Structure of BioPortal Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2011, 2011

The Modular Structure of an Ontology: Atomic Decomposition.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Module Extraction via Query Inseparability in OWL 2 QL.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Conjunctive Query Inseparability of OWL 2 QL TBoxes.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Complexity of hybrid logics over transitive frames.

[BibT_eX]

[DOI]

J. Appl. Log., 2010

The complexity of satisfiability for fragments of hybrid logic - Part I.

[BibT_eX]

[DOI]

J. Appl. Log., 2010

The modular structure of an ontology: an empirical study.

[BibT_eX]

[DOI]

Proceedings of the Modular Ontologies - Proceedings of the Fourth International Workshop, 2010

The Modular Structure of an Ontology: An Empirical Study.

[BibT_eX]

[DOI]

Bijan Parsia

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

The Complexity of Satisfiability for Sub-Boolean Fragments of ALC.

[BibT_eX]

[DOI]

Arne Meier

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2009

The Complexity of Hybrid Logics over Equivalence Relations.

[BibT_eX]

[DOI]

Martin Mundhenk

J. Log. Lang. Inf., 2009

Mechanisms for Importing Modules.

[BibT_eX]

[DOI]

Bijan Parsia

Ulrike Sattler

Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), 2009

Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Which Kind of Module Should I Extract?

[BibT_eX]

[DOI]

Ulrike Sattler

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

Easy Keys for OWL.

[BibT_eX]

[DOI]

Bijan Parsia

Ulrike Sattler

Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support.

[BibT_eX]

[DOI]

Rafael Berlanga Llavori

Proceedings of the Semantic Web: Research and Applications, 2008

2007

The complexity of hybrid logics over restricted frame classes.

[BibT_eX]

[DOI]

PhD thesis, 2007

The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Methods for Modalities, 2007

2006

Undecidability of Multi-modal Hybrid Logics.

[BibT_eX]

[DOI]

Martin Mundhenk