@incollection{BaaderKuesters-IMAT-06,
author = {Baader, F. and K{\"u}sters, R.},
title = {Nonstandard Inferences in Description Logics: The Story So Far},
editor = {Gabbay, D.M. and Goncharov, S.S. and M. Zakharyaschev},
booktitle = {Mathematical Problems from Applied Logic {I}},
series = {International Mathematical Series},
volume = {4},
publisher = {Springer-Verlag},
pages = {1--75},
year = {2006},
}
F. Baader and C. Lutz.
Description Logic.
In Patrick Blackburn, Johan van Benthem, and Frank Wolter, editors, The
Handbook of Modal Logic, pages 757–820. Elsevier, 2006.
Abstract Paper (PS)
@Incollection{BaaderLutz-MLHandbook-06,
author = {F. Baader and C. Lutz},
title = {Description Logic},
booktitle = {The Handbook of Modal Logic},
editor = {Patrick Blackburn and Johan van Benthem and Frank Wolter},
publisher = {Elsevier},
pages = {757--820},
year = {2006}
}
F. Baader, C. Lutz, and B. Suntisrivaraporn.
CEL—A Polynomial-time Reasoner for Life Science
Ontologies.
In U. Furbach and N. Shankar, editors, Proceedings of the 3rd International
Joint Conference on Automated Reasoning (IJCAR'06), volume 4130 of
Lecture Notes in Artificial Intelligence, pages 287–291.
Springer-Verlag, 2006.
Abstract Paper (PS) Paper (PDF) ©Springer-Verlag
@InProceedings{BaaLutSun-IJCAR-06,
author = {F. Baader and C. Lutz and B. Suntisrivaraporn},
title = {{\textsf{CEL}}---A Polynomial-time Reasoner for Life Science Ontologies},
booktitle = {Proceedings of the 3rd International
Joint Conference on Automated Reasoning ({IJCAR'06})},
year = {2006},
editor = {U. Furbach and N. Shankar},
series = {Lecture Notes in Artificial Intelligence},
volume = {4130},
pages = {287--291},
publisher = {Springer-Verlag},
springer = {yes},
}
F. Baader, C. Lutz, and B. Suntisrivaraporn.
Efficient Reasoning in EL^+.
In Proceedings of the 2006 International Workshop on Description Logics (DL2006), CEUR-WS, 2006.
Abstract Paper (PS) Paper (PDF)
@InProceedings{BaaLutSun-DL-06,
author = {F. Baader and C. Lutz and B. Suntisrivaraporn},
title = {Efficient Reasoning in $\mathcal{EL}^+$},
booktitle = {Proceedings of the 2006 International Workshop on Description Logics ({DL2006})},
year = {2006},
series = {CEUR-WS},
}
F. Baader and A. Okhotin.
Complexity of Language Equations With One-Sided Concatenation and All
Boolean Operations.
In Jordi Levy, editor, Proceedings of the 20th International Workshop on
Unification, UNIF'06, pages 59–73, 2006.
Abstract Paper (PDF)
@inproceedings{Baader-Okhotin-UNIF-06,
author = {F. Baader and A. Okhotin},
title = {Complexity of Language Equations With One-Sided
Concatenation and All {B}oolean Operations},
booktitle = {Proceedings of the 20th International Workshop on Unification,
{UNIF'06}},
year = {2006},
pages = {59--73},
editor = {Jordi Levy},
}
Franz Baader, Silvio Ghilardi, and Cesare Tinelli.
A new combination procedure for the word problem that generalizes fusion
decidability results in modal logics.
Information and Computation, 204(10):1413–1452, 2006.
Abstract Paper (PDF)
@Article{BaaGT-IC-06,
author = {Franz Baader and Silvio Ghilardi and Cesare Tinelli},
title = {A new combination procedure for the word problem
that generalizes fusion decidability results in
modal logics},
journal = {Information and Computation},
year = 2006,
volume = {204},
number = {10},
pages = {1413--1452},
}
P. Bonatti, C. Lutz, A. Murano, and M. Vardi.
The Complexity of Enriched µ-Calculi.
In Michele Bugliesi, Bart Preneel, Vladimiro Sassone, and Ingo Wegener,
editors, Proccedings of the 33rd International Colloquium on Automata,
Languages and Programming, Part II (ICALP'06), volume 4052 of
Lecture Notes in Computer Science, pages 540–551. Springer-Verlag, 2006.
Abstract Paper (PDF) ©Springer-Verlag
@InProceedings{BoLuMuVa-ICALP06,
author = {P. Bonatti and C. Lutz and A. Murano and M. Vardi},
title = {The Complexity of Enriched $\mu$-Calculi},
booktitle = {Proccedings of the 33rd International Colloquium on
Automata, Languages and Programming, Part {II} ({ICALP'06})},
pages = {540-551},
editor = {Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener},
series = {Lecture Notes in Computer Science},
volume = {4052},
year = {2006},
publisher = {Springer-Verlag},
springer = {yes}
}
P. Bonatti, C. Lutz, and F. Wolter.
Expressive Non-Monotonic Description Logics Based on Circumscription.
In Patrick Doherty, John Mylopoulos, and Christopher Welty, editors,
Proceedings of the Tenth International Conference on Principles of Knowledge
Representation and Reasoning (KR'06), pages 400–410. AAAI Press, 2006.
Abstract Paper (PDF)
@InProceedings{BonattiLutzWolter-KR06,
author = {P. Bonatti and C. Lutz and F. Wolter},
title = {Expressive Non-Monotonic Description Logics Based on Circumscription},
booktitle = {Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06)},
pages = {400--410},
editor = {Patrick Doherty and John Mylopoulos and Christopher Welty},
publisher = {AAAI Press},
year = {2006},
}
S. Brandt.
Standard and Non-standard reasoning in Description Logics.
Ph.D. dissertation, Institute for Theoretical Computer Science, TU Dresden,
Germany, 2006.
Abstract Paper (PDF)
@PhdThesis{Brandt-PhD-2006,
author = {S.~Brandt},
title = {Standard and Non-standard reasoning in Description Logics},
school = {Institute for Theoretical Computer Science, {TU} Dresden},
address = {Germany},
type = {Ph.{D}. Dissertation},
year = 2006
}
S. Ghilardi, C. Lutz, and F. Wolter.
Did I Damage my Ontology? A Case for Conservative Extensions in
Description Logics.
In Patrick Doherty, John Mylopoulos, and Christopher Welty, editors,
Proceedings of the Tenth International Conference on Principles of Knowledge
Representation and Reasoning (KR'06), pages 187–197. AAAI Press, 2006.
Abstract Paper (PDF)
@InProceedings{GhilardiLutzWolter-KR06,
author = {S. Ghilardi and C. Lutz and F. Wolter},
title = {Did {I} Damage my Ontology? A Case for Conservative Extensions in Description Logics},
booktitle = {Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06)},
pages = {187--197},
editor = {Patrick Doherty and John Mylopoulos and Christopher Welty},
publisher = {AAAI Press},
year = {2006},
}
S. Ghilardi, C. Lutz, F. Wolter, and M. Zakharyaschev.
Conservative Extensions in Modal Logics.
In Guido Governatori, Ian Hodkinson, and Yde Venema, editors, Advances in
Modal Logics Volume 6, pages 187–207. College Publications, 2006.
Abstract Paper (PDF)
@InProceedings{GhiLuWoZa-06,
author = {S. Ghilardi and C. Lutz and F. Wolter and M. Zakharyaschev},
title = {Conservative Extensions in Modal Logics},
booktitle = {Advances in Modal Logics Volume 6},
publisher = {College Publications},
year = {2006},
pages = {187--207},
editor = {Guido Governatori and Ian Hodkinson and Yde Venema}
}
Jan Hladik and Rafael Peñaloza.
PSPACE Automata for Description Logics.
In B. Parsia, U. Sattler, and D. Toman, editors, Proceedings of the 2006
International Workshop on Description Logics (DL'06), volume 189 of
CEUR-WS, 2006.
Abstract Paper (PDF)
@InProceedings{HlaPen-DL-06,
author = {Jan Hladik and Rafael Pe{\~n}aloza},
title = {{PSPACE} Automata for Description Logics},
booktitle = {Proceedings of the 2006 International Workshop on Description Logics ({DL'06})},
year = 2006,
editor = {B. Parsia and U. Sattler and D. Toman},
volume = 189,
series = {{CEUR-WS}}
}
H. Liu, C. Lutz, M. Milicic, and F. Wolter.
Description Logic Actions with general TBoxes: a Pragmatic
Approach.
In Proceedings of the 2006 International Workshop on Description Logics (DL2006), 2006.
Abstract Paper (PDF)
@InProceedings{LiLuMiWo-DL-06,
author = {H.~Liu and C.~Lutz and M.~Milicic and F.~Wolter},
title = {Description Logic Actions with general {T}{B}oxes: a Pragmatic Approach},
booktitle = {Proceedings of the 2006 International Workshop on Description Logics ({DL2006})},
year = 2006,
}
H. Liu, C. Lutz, M. Milicic, and F. Wolter.
Reasoning about Actions using Description Logics with general TBoxes.
In Michael Fisher, Wiebe van der Hoek, Boris Konev, and Alexei Lisitsa,
editors, Proceedings of the 10th European Conference on Logics in
Artificial Intelligence (JELIA 2006), volume 4160 of Lecture Notes
in Artificial Intelligence, pages 266–279. Springer-Verlag, 2006.
Abstract Paper (PDF)
@InProceedings{LiLuMiWo-JELIA-06,
author = {H.~Liu and C.~Lutz and M.~Milicic and F.~Wolter},
title = {Reasoning about Actions using Description Logics with general {TBoxes}},
booktitle = {Proceedings of the 10th European Conference on Logics in Artificial Intelligence {(JELIA 2006)}},
year = 2006,
editor = {Michael Fisher and Wiebe van der Hoek and Boris Konev and Alexei Lisitsa},
pages = {266--279},
publisher = {Springer-Verlag},
series = {Lecture Notes in Artificial Intelligence},
volume = {4160}
}
H. Liu, C. Lutz, M. Milicic, and F. Wolter.
Updating Description Logic ABoxes.
In Patrick Doherty, John Mylopoulos, and Christopher Welty, editors,
Proceedings of the Tenth International Conference on Principles of Knowledge
Representation and Reasoning (KR'06), pages 46–56. AAAI Press, 2006.
Abstract Paper (PDF)
@InProceedings{LiLuMiWo-KR-06,
author = {H. Liu and C. Lutz and M. Milicic and F. Wolter},
title = {Updating Description Logic {ABoxes}},
booktitle = {Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06)},
pages = {46--56},
editor = {Patrick Doherty and John Mylopoulos and Christopher Welty},
publisher = {AAAI Press},
year = {2006},
}
C. Lutz.
Complexity and Succinctness of Public Announcement Logic.
In Peter Stone and Gerhard Weiss, editors, Proceedings of the Fifth
International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06), pages 137–144. Association for Computing Machinery (ACM),
2006.
Abstract Paper (PDF)
@InProceedings{Lutz-AAMAS-06,
author = {C. Lutz},
title = {Complexity and Succinctness of Public Announcement Logic},
booktitle = {Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06)},
publisher = {Association for Computing Machinery (ACM)},
editor = "Peter Stone and Gerhard Weiss",
pages = "137--144",
year = 2006,
}
C. Lutz and M. Milicic.
A Tableau Algorithm for Description Logics with Concrete Domains and
General TBoxes.
Journal of Automated Reasoning. Special Issue on on Automated Reasoning
with Analytic Tableaux and Related Methods, 2006.
To appear.
Abstract Paper (PDF)
@article{LutzMilicic-JAR06,
author = {C.~Lutz and M.~ Milicic},
title = {A Tableau Algorithm for Description Logics with Concrete
Domains and General TBoxes},
journal = {Journal of Automated Reasoning.
Special Issue on on Automated Reasoning with Analytic
Tableaux and Related Methods},
publisher = {Springer},
year = {2006},
note= {To appear.}
}
C. Lutz, D. Walther, and F. Wolter.
Quantitative Temporal Logics: PSpace and below.
Information and Computation, 205(1):99–123, 2006.
Abstract Paper (PS)
@Article{LuWaWo-IandC-06,
author = {C. Lutz and D. Walther and F. Wolter},
title = {Quantitative Temporal Logics: {{\sc PSpace}} and below},
journal = {Information and Computation},
year = 2006,
volume = {205},
number = {1},
pages = {99--123}
}
C. Lutz and F. Wolter.
Modal Logics of Topological Relations.
Logical Methods in Computer Science, 2(2), 2006.
Abstract Paper (PS)
@Article{Lutz-Wolter-LMCS-06,
author = {C. Lutz and F. Wolter},
title = {Modal Logics of Topological Relations},
journal = {Logical Methods in Computer Science},
year = {2006},
volume = {2},
number = {2}
}
Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller,
Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, and Sergio
Tessaris.
Reasoning Support for Ontology Design.
In Bernardo Cuenca Grau, Pascal Hitzler, Connor Shankey, and Evan Wallace,
editors, In Proceedings of the second international workshop OWL:
Experiences and Directions, November 2006.
To appear.
Abstract Paper (PDF)
@InProceedings{LutzEtAl-OWLED06,
title = {Reasoning Support for Ontology Design},
author = {Carsten Lutz and Franz Baader and Enrico Franconi and Domenico Lembo and Ralf M{\"o}ller and
Riccardo Rosati and Ulrike Sattler and Boontawee Suntisrivaraporn and Sergio Tessaris},
booktitle = {In Proceedings of the second international workshop OWL: Experiences and Directions },
year = {2006},
editor = {Bernardo Cuenca Grau and Pascal Hitzler and Connor Shankey and Evan Wallace},
month = {November},
note = {To appear}
}
Baris Sertkaya.
Computing the hierarchy of conjunctions of concept names and their
negations in a Description Logic knowledge base using Formal Concept Analysis (ICFCA 2006).
In Bernhard Ganter and Leonard Kwuida, editors, Contributions to ICFCA
2006, pages 73–86, Dresden, Germany, 2006. Verlag Allgemeine
Wissenschaft.
Abstract Paper (PS) Paper (PDF)
@InProceedings{SertkayaICFCA06,
author = {Bar\i{}\c{s} Sertkaya},
title = {Computing the hierarchy of conjunctions of concept names and their
negations in a Description Logic knowledge base using Formal Concept
Analysis ({ICFCA 2006})},
booktitle = {Contributions to ICFCA 2006},
year = {2006},
editor = {Bernhard Ganter and Leonard Kwuida},
publisher = {Verlag Allgemeine Wissenschaft},
isbn = {3-935924-05-4},
pages = {73--86},
address = {Dresden, Germany},
}
Anni-Yasmin Turhan, Sean Bechhofer, Alissa Kaplunova, Thorsten Liebig, Marko
Luther, Ralf Möller, Olaf Noppens, Peter Patel-Schneider, Boontawee
Suntisrivaraporn, and Timo Weithöner.
DIG 2.0 – Towards a Flexible Interface for Description Logic
Reasoners.
In Bernardo Cuenca Grau, Pascal Hitzler, Connor Shankey, and Evan Wallace,
editors, In Proceedings of the second international workshop OWL:
Experiences and Directions, November 2006.
Abstract Paper (PS) Paper (PDF)
@InProceedings{TurhanEtAl-OWLED06,
title = {DIG 2.0 -- Towards a Flexible Interface for Description Logic
Reasoners },
author = {Anni-Yasmin Turhan and Sean Bechhofer and Alissa Kaplunova
and Thorsten Liebig and Marko Luther and Ralf M{\"o}ller and Olaf
Noppens and Peter Patel-Schneider and Boontawee Suntisrivaraporn and
Timo Weith{\"o}ner},
booktitle = {In Proceedings of the second international workshop OWL: Experiences and Directions },
year = {2006},
editor = {Bernardo Cuenca Grau and Pascal Hitzler and Connor Shankey and Evan Wallace},
month = {November}
}
Anni-Yasmin Turhan, Thomas Springer, and Michael Berger.
Pushing Doors for Modeling Contexts with OWL DL –a Case Study.
In Jadwiga Indulska and Daniela Nicklas, editors, Proceedings of the
Workshop on Context Modeling and Reasoning (CoMoRea'06). IEEE Computer
Society, March 2006.
Abstract Paper (PS) Paper (PDF)
@InProceedings{TuSpBe-CoMoRea05,
author = {Anni-Yasmin Turhan and Thomas Springer and Michael Berger},
title = {Pushing Doors for Modeling Contexts with \mbox{OWL DL} --a Case Study},
booktitle = {Proceedings of the Workshop on Context Modeling and Reasoning (CoMoRea'06)},
year = {2006},
editor = {Jadwiga Indulska and Daniela Nicklas},
month = {March},
publisher = {IEEE Computer Society}
}
D. Walther, C. Lutz, F. Wolter, and M. Wooldridge.
ATL is Indeed ExpTime-complete.
Journal of Logic and Computation, 16(6):765–787, 2006.
Abstract Paper (PDF)
@Article{WaLuWoWo-06b,
author = {D. Walther and C. Lutz and F. Wolter and M. Wooldridge},
title = {{ATL} is Indeed {\sc ExpTime}-complete},
journal = {Journal of Logic and Computation},
year = 2006,
volume = {16},
number = {6},
pages = {765--787}
}
Back to the homepage of the Chair for Automata Theory.