@InProceedings{ArKoLuWoZa-TIME-07,
author = {A. Artale and R. Kontchakov and C. Lutz and F. Wolter and M. Zakharyaschev},
title = {Temporalising Tractable Description Logics},
booktitle = {Proceedings of the Fourteenth International Symposium on Temporal Representation and Reasoning},
year = {2007},
publisher = {IEEE Computer Society Press},
}
Alessandro Artale, Carsten Lutz, and David Toman.
A Description Logic of Change.
In Manuela Veloso, editor, Proceedings of the Twentieth International Joint
Conference on Artificial Intelligence (IJCAI'07), pages 218–223. AAAI
Press, 2007.
Abstract Paper (PDF)
@InProceedings{ArLuTo-07,
author = {Alessandro Artale and Carsten Lutz and David Toman},
booktitle = {Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07)},
title = {A Description Logic of Change},
year = 2007,
pages = {218-223},
editor = {Manuela Veloso},
publisher = {AAAI Press}
}
F. Baader, editor.
18th International Conference on Rewriting Techniques and Applications
(RTA 2007), volume 4533 of Lecture Notes in Computer Science.
Springer-Verlag, 2007.
Abstract
@book{BaaderRTA07,
editor = {F. Baader},
title = {18th International Conference on Rewriting Techniques
and Applications {(RTA 2007)}},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = {4533},
year = {2007},
}
F. Baader and S. Ghilardi.
Connecting Many-Sorted Theories.
The Journal of Symbolic Logic, 72(2):535–583, 2007.
Abstract Paper (PDF)
@Article{BaaGi-JSL-07,
author = {F. Baader and S. Ghilardi},
title = {Connecting Many-Sorted Theories},
journal = {The Journal of Symbolic Logic},
volume = {72},
number = {2},
pages = {535--583},
year = 2007,
}
F. Baader, J. Hladik, and R. Peñaloza.
Blocking Automata for PSPACE DLs.
In D. Calvanese, E. Franconi, and S. Tessaris, editors, Proceedings of the
2007 International Workshop on Description Logics, CEUR-WS, 2007.
Abstract Paper (PDF)
@InProceedings{BaaHlaPen-DL-07,
author = {F. Baader and J. Hladik and R. Pe{\~n}aloza},
title = {Blocking Automata for {PSPACE} {DLs}},
booktitle = {Proceedings of the 2007 International Workshop on Description Logics},
year = 2007,
editor = {D. Calvanese and E. Franconi and S. Tessaris},
series = {CEUR-WS}
}
F. Baader, J. Hladik, and R. Peñaloza.
SI! Automata Can Show PSPACE Results for Description Logics.
In C. Martin-Vide, editor, Proceedings of the First International
Conference on Language and Automata Theory and Applications (LATA'07),
2007.
Abstract Paper (PS) Paper (PDF)
@InProceedings{BaaHlaPen-LATA-07,
author = {F. Baader and J. Hladik and R. Pe{\~n}aloza},
title = {{SI}! Automata Can Show {PSPACE} Results for Description Logics},
booktitle = {Proceedings of the First International Conference on Language and Automata Theory and Applications ({LATA'07})},
year = 2007,
editor = {C. Martin-Vide},
}
F. Baader, I. Horrocks, and U. Sattler.
Description Logics.
In Frank van Harmelen, Vladimir Lifschitz, and Bruce Porter, editors,
Handbook of Knowledge Representation, pages 135–179. Elsevier, 2007.
Abstract
@Incollection{BaHS07,
author = {F. Baader and I. Horrocks and U. Sattler},
title = {Description Logics},
booktitle = {Handbook of Knowledge Representation},
editor = {Frank van Harmelen and Vladimir Lifschitz and Bruce Porter},
publisher = {Elsevier},
pages = {135--179},
year = {2007}
}
Franz Baader, Bernhard Ganter, Ulrike Sattler, and Baris Sertkaya.
Completing Description Logic Knowledge Bases using Formal Concept
Analysis.
In Proceedings of the Twentieth International Joint Conference on
Artificial Intelligence (IJCAI-07). AAAI Press, 2007.
Abstract Paper (PDF)
@inproceedings{BGSS07,
author = "Franz Baader and Bernhard Ganter and Ulrike Sattler and
Baris Sertkaya",
title = "Completing Description Logic Knowledge Bases using Formal
Concept Analysis",
booktitle = "Proceedings of the Twentieth International Joint Conference on
Artificial Intelligence {(IJCAI-07)}",
year = 2007,
publisher = "AAAI Press"
}
Franz Baader, Bernhard Ganter, Ulrike Sattler, and Baris Sertkaya.
Completing Description Logic Knowledge Bases using Formal Concept
Analysis.
In Christine Golbreich, Aditya Kalyanpur, and Bijan Parsia, editors,
Proceedings of the Third International Workshop OWL: Experiences and
Directions (OWLED 2007), volume 258. CEUR-WS, 2007.
Abstract Paper (PDF)
@inproceedings{BGSS07b,
author = "Franz Baader and Bernhard Ganter and Ulrike Sattler and
Baris Sertkaya",
title = "Completing Description Logic Knowledge Bases using Formal
Concept Analysis",
booktitle = "Proceedings of the Third International Workshop OWL: Experiences
and Directions {(OWLED 2007)}",
editor = "Christine Golbreich and Aditya Kalyanpur and Bijan Parsia",
publisher = "CEUR-WS",
volume = 258,
year = 2007
}
Franz Baader, Carsten Lutz, and Boontawee Suntisrivaraporn.
Is Tractable Reasoning in Extensions of the Description Logic
EL Useful in Practice?.
In Journal of Logic, Language and Information, Special Issue on Method for
Modality (M4M), 2007.
To appear.
Abstract Paper (PS) Paper (PDF)
@InProceedings{BaaLutSun-JoLLI-07,
author = {Franz Baader and Carsten Lutz and Boontawee Suntisrivaraporn},
title = {Is Tractable Reasoning in Extensions of the Description Logic $\mathcal{EL}$ Useful in Practice?},
booktitle = {Journal of Logic, Language and Information, Special Issue on Method for Modality (M4M)},
year = {2007},
note = "To appear"
}
Franz Baader and Rafael Peñaloza.
Axiom Pinpointing in General Tableaux.
In N. Olivetti, editor, Proceedings of the 16th International Conference on
Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX
2007, volume 4548 of Lecture Notes in Computer Science, pages
11–27, Aix-en-Provence, France, 2007. Springer-Verlag.
Abstract Paper (PDF) ©Springer-Verlag
@InProceedings{BaaderPenaloza-Tableaux-07,
author = {Franz Baader and Rafael Pe{\~n}aloza},
title = {Axiom Pinpointing in General Tableaux},
booktitle = {Proceedings of the 16th International Conference on
Automated Reasoning with Analytic Tableaux and Related Methods {TABLEAUX 2007}},
address = {Aix-en-Provence, France},
year = 2007,
volume = {4548},
pages = {11--27},
editor = {N. Olivetti},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
springer = {yes}
}
Franz Baader, Rafael Peñaloza, and Boontawee Suntisrivaraporn.
Pinpointing in the Description Logic EL.
In Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, 2007.
Abstract Paper (PDF)
@InProceedings{BaaPenSun-DL-07,
author = {Franz Baader and Rafael Pe{\~n}aloza and Boontawee Suntisrivaraporn},
title = {Pinpointing in the Description Logic $\mathcal{EL}$},
booktitle = {Proceedings of the 2007 International Workshop on Description Logics ({DL2007})},
year = {2007},
series = {CEUR-WS},
}
Franz Baader, Rafael Peñaloza, and Boontawee Suntisrivaraporn.
Pinpointing in the Description Logic EL.
In Proceedings of the 30th German Conference on Artificial Intelligence (KI2007), volume 4667 of Lecture Notes in Artificial
Intelligence, pages 52–67, Osnabrück, Germany, 2007. Springer-Verlag.
Abstract Paper (PDF) ©Springer-Verlag
@InProceedings{BaaPenSun-KI-07,
author = {Franz Baader and Rafael Pe{\~n}aloza and Boontawee Suntisrivaraporn},
title = {Pinpointing in the Description Logic $\mathcal{EL}$},
booktitle = {Proceedings of the 30th German Conference on Artificial Intelligence ({KI2007})},
year = {2007},
address = {Osnabr\"uck, Germany},
volume = {4667},
pages = {52--67},
publisher = {Springer-Verlag},
series = {Lecture Notes in Artificial Intelligence},
springer = {yes}
}
Franz Baader, Baris Sertkaya, and Anni-Yasmin Turhan.
Computing the Least Common Subsumer w.r.t. a Background Terminology.
Journal of Applied Logic, 5(3):392–420, 2007.
Abstract Paper (PS) Paper (PDF) ©Journal of Applied Logic
@Article{BaaderSertkayaTurhan-JAL-07,
author = {Franz Baader and Bar\i{}\c{s} Sertkaya and Anni-Yasmin Turhan},
title = {Computing the Least Common Subsumer w.r.t.~a Background Terminology},
journal = {Journal of Applied Logic},
volume = {5},
number = {3},
pages = {392--420},
publisher = {Elsevier Science Publishers (North-Holland), Amsterdam},
year = 2007,
jal = {yes},
}
Birte Glimm, Carsten Lutz, Ian Horrocks, and Ulrike Sattler.
Answering conjunctive queries in the SHIQ description
logic.
In Manuela Veloso, editor, Proceedings of the Twentieth International Joint
Conference on Artificial Intelligence (IJCAI'07), pages 299–404. AAAI
Press, 2007.
Abstract Paper (PDF)
@InProceedings{GliHoLuSa-07,
author = {Birte Glimm and Carsten Lutz and Ian Horrocks and Ulrike Sattler},
booktitle = {Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07)},
title = {Answering conjunctive queries in the $\mathcal{SHIQ}$ description logic},
year = 2007,
pages = {299-404},
editor = {Manuela Veloso},
publisher = {AAAI Press}
}
Stefan Göller, Markus Lohrey, and Carsten Lutz.
PDL with Intersection and Converse is 2EXP-complete.
In Helmut Seidl, editor, Proceedings of the Tenth International Conference
on Foundations of Software Science and Computation Structures (FoSSaCS'07), volume 4423 of Lecture Notes in Computer Science,
pages 198–212. Springer-Verlag, 2007.
Abstract Paper (PDF)
@InProceedings{GoeLoLu-07,
author = {Stefan G\"oller and Markus Lohrey and Carsten Lutz},
title = {{PDL} with Intersection and Converse is {2EXP}-complete},
booktitle = {Proceedings of the Tenth International Conference on
Foundations of Software Science and Computation Structures ({FoSSaCS'07})},
year = {2007},
editor = {Helmut Seidl},
pages = {198--212},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = {4423},
}
A. Krisnadhi and C. Lutz.
Data Complexity in the EL family of DLs.
In Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, 2007.
To appear.
Abstract Paper (PDF)
@InProceedings{Krisnadhi-Lutz-DL-07,
author = {A. Krisnadhi and C. Lutz},
title = {Data Complexity in the $\mathcal{EL}$ family of DLs},
booktitle = {Proceedings of the 2007 International Workshop on Description Logics ({DL2007})},
year = {2007},
series = {CEUR-WS},
note = {To appear.}
}
Adila Krisnadhi and Carsten Lutz.
Data Complexity in the EL family of Description Logics.
In Nachum Dershowitz and Andrei Voronkov, editors, Proceedings of the 14th
International Conference on Logic for Programming, Artificial Intelligence,
and Reasoning (LPAR2007), volume 4790 of Lecture Notes in
Artificial Intelligence, pages 333–347. Springer-Verlag, 2007.
Abstract Paper (PDF)
@InProceedings{Krisnadhi-Lutz-LPAR-07,
author = {Adila Krisnadhi and Carsten Lutz},
title = {Data Complexity in the $\mathcal{EL}$ family of Description Logics},
booktitle = {Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning ({LPAR2007})},
editor = {Nachum Dershowitz and Andrei Voronkov},
pages = {333--347},
publisher = {Springer-Verlag},
year = {2007},
series = {Lecture Notes in Artificial Intelligence},
volume = {4790},
}
C. Löding, C. Lutz, and O. Serre.
Propositional Dynamic Logic with Recursive Programs.
Journal of Logic and Algebraic Programming, 73:51–69, 2007.
Abstract Paper (PDF)
@Article{LoeLuSe-JLAP-07,
author = {C. L\"oding and C. Lutz and O. Serre},
title = {Propositional Dynamic Logic with Recursive Programs},
journal = {Journal of Logic and Algebraic Programming},
year = {2007},
volume = {73},
pages = {51--69}
}
C. Lutz.
Inverse Roles Make Conjunctive Queries Hard.
In Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, 2007.
To appear.
Abstract Paper (PDF)
@InProceedings{Lutz-DL-07,
author = {C. Lutz},
title = {Inverse Roles Make Conjunctive Queries Hard},
booktitle = {Proceedings of the 2007 International Workshop on Description Logics ({DL2007})},
year = {2007},
series = {CEUR-WS},
note = {To appear.}
}
C. Lutz and M. Milicic.
A Tableau Algorithm for DLs with Concrete Domains and GCIs.
Journal of Automated Reasoning, 38(1–3):227–259, 2007.
Abstract Paper (PDF)
@Article{LuMi-Jar-07,
author = {C. Lutz and M. Milicic},
title = {A Tableau Algorithm for {DL}s with Concrete Domains and {GCI}s},
journal = {Journal of Automated Reasoning},
year = 2007,
volume = {38},
number = {1--3},
pages = {227--259},
}
Carsten Lutz, Dirk Walther, and Frank Wolter.
Conservative Extensions in Expressive Description Logics.
In Manuela Veloso, editor, Proceedings of the Twentieth International Joint
Conference on Artificial Intelligence (IJCAI'07), pages 453–458. AAAI
Press, 2007.
Abstract Paper (PDF)
@InProceedings{LuWaWo-07,
author = {Carsten Lutz and Dirk Walther and Frank Wolter},
booktitle = {Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07)},
title = {Conservative Extensions in Expressive Description Logics},
year = 2007,
pages = {453-458},
editor = {Manuela Veloso},
publisher = {AAAI Press}
}
Carsten Lutz and Frank Wolter.
Conservative Extensions in the Lightweight Description Logic
EL.
In Frank Pfenning, editor, Proceedings of the 21th Conference on Automated
Deduction (CADE-21), volume 4603 of Lecture Notes in Artificial
Intelligence, pages 84–99. Springer-Verlag, 2007.
Abstract Paper (PDF) ©Springer-Verlag
@InProceedings{Lutz-Wolter-CADE-07,
author = {Carsten Lutz and Frank Wolter},
title = {Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$},
booktitle = {Proceedings of the 21th Conference on Automated Deduction (CADE-21)},
year = {2007},
pages = {84--99},
editor = {Frank Pfenning},
publisher = {Springer-Verlag},
series = {Lecture Notes in Artificial Intelligence},
volume = {4603},
springer = {yes}
}
Maja Milicic.
Complexity of Planning in Action Formalisms Based on Description
Logics.
In Proceedings of the 14th International Conference on Logic for
Programming, Artificial Intelligence, and Reasoning (LPAR 2007),
Lecture Notes in Artificial Intelligence. Springer-Verlag, 2007.
Abstract Paper (PDF)
@InProceedings{Milicic-LPAR07,
author = {Maja Milicic },
title = {Complexity of Planning in Action Formalisms Based on Description Logics},
booktitle = {Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning ({LPAR 2007})},
year = {2007},
series = {Lecture Notes in Artificial Intelligence},
publisher = {Springer-Verlag}
}
Maja Milicic.
Planning in Action Formalisms based on DLs: First Results.
In Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, 2007.
Abstract Paper (PDF)
@InProceedings{Milicic-DL07,
author = {Maja Milicic},
title = {Planning in Action Formalisms based on {DL}s: First Results},
booktitle = {Proceedings of the 2007 International Workshop on Description Logics ({DL2007})},
year = {2007},
series = {CEUR-WS}
}
Stefan Schulz, Boontawee Suntisrivaraporn, and Franz Baader.
SNOMED CT's Problem List: Ontologists' and Logicians' Therapy
Suggestions.
In Proceedings of The Medinfo 2007 Congress, Studies in Health
Technology and Informatics (SHTI-series). IOS Press, 2007.
Abstract Paper (PDF)
@InProceedings{SchSunBaa-Medinfo-07,
author = {Stefan Schulz and Boontawee Suntisrivaraporn and Franz Baader},
title = {{SNOMED CT}'s Problem List: Ontologists' and Logicians' Therapy Suggestions},
booktitle = {Proceedings of The Medinfo 2007 Congress},
year = {2007},
editor = {},
series = {Studies in Health Technology and Informatics (SHTI-series)},
volume = {},
pages = {},
publisher = {IOS Press},
}
Boontawee Suntisrivaraporn, Franz Baader, Stefan Schulz, and Kent Spackman.
Replacing SEP-Triplets in SNOMED CT using Tractable Description Logic
Operators.
In Jim Hunter Riccardo Bellazzi, Ameen Abu-Hanna, editor, Proceedings of
the 11th Conference on Artificial Intelligence in Medicine (AIME'07),
Lecture Notes in Computer Science. Springer-Verlag, 2007.
Abstract Paper (PS) Paper (PDF) ©Springer-Verlag
@InProceedings{SunBaaSchSpa-AIME-07,
author = {Boontawee Suntisrivaraporn and Franz Baader and Stefan Schulz and Kent Spackman},
title = {Replacing SEP-Triplets in SNOMED CT using Tractable Description Logic Operators},
booktitle = {Proceedings of the 11th Conference on Artificial Intelligence in Medicine {(AIME'07})},
year = {2007},
editor = {Riccardo Bellazzi, Ameen Abu-Hanna, Jim Hunter},
series = {Lecture Notes in Computer Science},
volume = {},
pages = {},
publisher = {Springer-Verlag},
springer = {yes},
}
Balder ten Cate and Carsten Lutz.
Query Containment in Very Expressive XPath dialects.
In Leonid Libkin, editor, 26th ACM Symposium on Principles of Database
Systems (PODS'07), pages 73–82. ACM Press, 2007.
Abstract Paper (PDF)
@InProceedings{tenCate-Lutz-07,
author = {Balder ten Cate and Carsten Lutz},
title = {Query Containment in Very Expressive {XPath} dialects},
booktitle = {26th {ACM} Symposium on Principles of Database Systems (PODS'07)},
year = {2007},
publisher = "ACM Press",
editor = "Leonid Libkin",
pages = "73--82",
}
A.-Y. Turhan and Y. Bong.
Speeding up Approximation with Nicer Concepts.
In D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, S. Tessaris, and
A.-Y. Turhan, editors, Proc. of the 2007 Description Logic Workshop (DL
2007), 2007.
Abstract Paper (PS) Paper (PDF)
@InProceedings{TurBo-DL07,
title = {Speeding up Approximation with Nicer Concepts},
year = {2007},
author = {A.-Y. Turhan and Y. Bong},
editor = {D.~Calvanese and E.~Franconi and V.~Haarslev and D.~Lembo and B.~Motik and S.~Tessaris and A.-Y.~Turhan},
booktitle = {Proc.\ of the 2007 Description Logic Workshop (DL 2007)}
}
Back to the homepage of the Chair for Automata Theory.