@incollection{DLhandbookAppendix,
author = {Baader, F.},
title = {Description Logic Terminology},
booktitle = {The Description Logic Handbook: Theory, Implementation, and Applications},
editor = {Franz Baader and Diego Calvanese and Deborah McGuinness and
Daniele Nardi and Peter F.~Patel-Schneider},
publisher = {Cambridge University Press},
pages = {485--495},
year = {2003},
}
F. Baader, J. Hladik, C. Lutz, and F. Wolter.
From Tableaux to Automata for Description Logics.
In Moshe Vardi and Andrei Voronkov, editors, Proceedings of the 10th
International Conference on Logic for Programming, Artificial Intelligence,
and Reasoning (LPAR 2003), volume 2850 of Lecture Notes in Computer
Science, pages 1–32. Springer, 2003.
Abstract Paper (PS) ©Springer-Verlag
@InProceedings{BaaHlaLutWol-LPAR03,
author = {F. Baader and J. Hladik and C. Lutz and F. Wolter},
title = {From Tableaux to Automata for Description Logics},
booktitle = {Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning ({LPAR 2003})},
year = {2003},
editor = {Moshe Vardi and Andrei Voronkov},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
springer = {yes},
pages = {1--32},
volume = {2850},
}
F. Baader, R Küsters, and F. Wolter.
Extensions to Description Logics.
In Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and
Peter F. Patel-Schneider, editors, The Description Logic Handbook:
Theory, Implementation, and Applications, pages 219–261. Cambridge
University Press, 2003.
Abstract
@incollection{DLhandbookCh6,
author = {Baader, F. and K{\"u}sters, R and Wolter, F.},
title = {Extensions to Description Logics},
booktitle = {The Description Logic Handbook: Theory, Implementation, and Applications},
editor = {Franz Baader and Diego Calvanese and Deborah McGuinness and
Daniele Nardi and Peter F.~Patel-Schneider},
publisher = {Cambridge University Press},
pages = {219--261},
year = {2003},
}
~
~
F. Baader and W. Nutt.
Basic Description Logics.
In Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and
Peter F. Patel-Schneider, editors, The Description Logic Handbook:
Theory, Implementation, and Applications, pages 43–95. Cambridge
University Press, 2003.
Abstract
@incollection{DLhandbookCh2,
author = {Baader, F. and Nutt, W.},
title = {Basic Description Logics},
booktitle = {The Description Logic Handbook: Theory, Implementation, and Applications},
editor = {Franz Baader and Diego Calvanese and Deborah McGuinness and
Daniele Nardi and Peter F.~Patel-Schneider},
publisher = {Cambridge University Press},
pages = {43--95},
year = {2003},
}
F. Baader and U. Sattler.
Description Logics with Aggregates and Concrete Domains.
Information Systems, 28(8):979–1004, 2003.
Abstract Paper (PS) Free reprint
@Article{BaaderSattlerIS-02,
author = {F. Baader and U. Sattler},
title = {Description Logics with Aggregates and Concrete Domains},
journal = {Information Systems},
year = 2003,
volume = 28,
number = 8,
freecopy = "yes",
pages = {979--1004},
}
Franz Baader.
Computing the least common subsumer in the description logic EL
w.r.t. terminological cycles with descriptive semantics.
In Proceedings of the 11th International Conference on Conceptual
Structures, ICCS 2003, volume 2746 of Lecture Notes in Artificial
Intelligence, pages 117–130. Springer-Verlag, 2003.
Abstract Paper (PS) Paper (PDF) ©Springer-Verlag
@InProceedings{BaaderICCS03,
author = {Franz Baader},
title = {Computing the least common subsumer in the description logic {$\cal EL$}
w.r.t.\ terminological cycles with descriptive semantics},
booktitle = {Proceedings of the 11th International Conference on Conceptual Structures, {ICCS 2003}},
year = 2003,
series = {Lecture Notes in Artificial Intelligence},
volume = {2746},
pages = {117--130},
publisher = {Springer-Verlag},
springer = {yes}
}
Franz Baader.
The instance problem and the most specific concept in the description logic
EL w.r.t. terminological cycles with descriptive semantics.
In Proceedings of the 26th Annual German Conference on Artificial
Intelligence, KI 2003, volume 2821 of Lecture Notes in Artificial
Intelligence, pages 64–78, Hamburg, Germany, 2003. Springer-Verlag.
Abstract Paper (PS) ©Springer-Verlag
@InProceedings{BaaderKI03,
author = {Franz Baader},
title = {The instance problem and the most specific concept in the description logic {$\cal EL$}
w.r.t.\ terminological cycles with descriptive semantics},
booktitle = {Proceedings of the 26th Annual German Conference on Artificial Intelligence, {KI 2003}},
year = 2003,
series = {Lecture Notes in Artificial Intelligence},
publisher = {Springer-Verlag},
pages = {64--78},
volume = {2821},
editors = {A. G{\"u}nter and R. Kruse and B. Neumann},
address = {Hamburg, Germany},
springer = {yes},
}
Franz Baader.
Least Common Subsumers and Most Specific Concepts in a Description Logic
with Existential Restrictions and Terminological Cycles.
In Georg Gottlob and Toby Walsh, editors, Proceedings of the 18th
International Joint Conference on Artificial Intelligence, pages
319–324. Morgan Kaufman, 2003.
Abstract Paper (PDF)
@InProceedings{BaadderIJCAI03b,
author = {Franz Baader},
title = {Least Common Subsumers and Most Specific Concepts
in a Description Logic with
Existential Restrictions and Terminological Cycles},
booktitle = {Proceedings of the 18th International Joint Conference on Artificial Intelligence},
editor = {Georg Gottlob and Toby Walsh},
publisher = {Morgan Kaufman},
pages = {319--324},
year = 2003,
}
Franz Baader, editor.
Proceedings of the 19th International Conference on Automated Deduction
CADE-19, volume 2741 of Lecture Notes in Artificial
Intelligence.
Springer-Verlag, Miami Beach, FL, USA, 2003.
Bibtex entry
@Book{BaaderCADE2003,
title = {Proceedings of the 19th International Conference on Automated Deduction
{CADE-19}},
editor = {Franz Baader},
publisher = {Springer-Verlag},
series = {Lecture Notes in Artificial Intelligence},
volume = {2741},
address = {Miami Beach, FL, USA},
year = 2003,
}
Franz Baader.
Restricted Role-value-maps in a Description Logic with Existential
Restrictions and Terminological Cycles.
In Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003.
Abstract Paper (PDF)
@InProceedings{BaaderDL2003,
author = {Franz Baader},
title = {Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics ({DL2003})},
year = {2003},
series = {CEUR-WS},
}
Franz Baader.
Terminological Cycles in a Description Logic with Existential
Restrictions.
In Georg Gottlob and Toby Walsh, editors, Proceedings of the 18th
International Joint Conference on Artificial Intelligence, pages
325–330. Morgan Kaufmann, 2003.
Abstract
@InProceedings{BaaderIJCAI03a,
author = {Franz Baader},
title = {Terminological Cycles in a Description
Logic with Existential Restrictions},
booktitle = {Proceedings of the 18th International Joint Conference on Artificial Intelligence},
editor = {Georg Gottlob and Toby Walsh},
publisher = {Morgan Kaufmann},
year = 2003,
pages = {325--330}
}
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F.
Patel-Schneider, editors.
The Description Logic Handbook: Theory, Implementation, and
Applications.
Cambridge University Press, 2003.
Abstract
@Book{DLhandbook,
title = {The Description Logic Handbook:
Theory, Implementation, and Applications},
editor = {Franz Baader and Diego Calvanese and Deborah McGuinness and
Daniele Nardi and Peter F.~Patel-Schneider},
publisher = {Cambridge University Press},
year = 2003,
}
Franz Baader, Jan Hladik, Carsten Lutz, and Frank Wolter.
From Tableaux to Automata for Description Logics.
Fundamenta Informaticae, 57:1–33, 2003.
Abstract Paper (PS)
@Article{BaaHlaLutWol-FI-03,
title = "From Tableaux to Automata for Description Logics",
author = "Franz Baader and Jan Hladik and Carsten Lutz and Frank Wolter",
journal = "Fundamenta Informaticae",
year = "2003",
volume = "57",
pages = "1--33"
}
Sebastian Brandt.
Implementing Matching in ALE—First Results.
In Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003.
Abstract Paper (PS) Paper (PDF)
@InProceedings{Brandt-DL2003,
author = {Sebastian Brandt},
title = {Implementing Matching in $\mathcal{ALE}$---First Results},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics ({DL2003})},
year = {2003},
series = {CEUR-WS},
}
Sebastian Brandt and Anni-Yasmin Turhan.
Computing least common subsumers for FLE^+.
In Proceedings of the 2003 International Workshop on Description
Logics, CEUR-WS, 2003.
Abstract Paper (PS)
@InProceedings{BrandtTurhan-DL03,
author = {Sebastian Brandt and Anni-Yasmin Turhan},
title = {Computing least common subsumers for \ensuremath{\cal F\!L\!E^+}},
booktitle = "Proceedings of the 2003 International Workshop on Description Logics",
year = "2003",
series = {CEUR-WS},
}
Sebastian Brandt, Anni-Yasmin Turhan, and Ralf Küsters.
Extensions of Non-standard Inferences to Description Logics with transitive
Roles.
In Moshe Vardi and Andrei Voronkov, editors, Proceedings of the 10th
International Conference on Logic for Programming, Artificial Intelligence,
and Reasoning (LPAR 2003), Lecture Notes in Computer Science. Springer,
2003.
Abstract Paper (PS) ©Springer-Verlag
@InProceedings{BrandtKuesters-LPAR03,
author = {Sebastian Brandt and Anni-Yasmin Turhan and Ralf K{\"u}sters },
title = {Extensions of Non-standard Inferences to Description Logics with transitive Roles},
booktitle = {Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning ({LPAR 2003})},
year = {2003},
editor = {Moshe Vardi and Andrei Voronkov},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
springer = {yes}
}
Nachum Dershowitz and Mitchell A. Harris.
Enumerating Satisfiable Propositional Formulae.
In Eurocomb, 2003.
Abstract Paper (PDF)
@InProceedings{DerschowitzHarris-Eurocomb2003,
author = {Nachum Dershowitz and Mitchell A.~Harris},
title = {Enumerating Satisfiable Propositional Formulae},
booktitle = {Eurocomb},
year = {2003},
}
J. Hladik and U. Sattler.
A Translation of Looping Alternating Automata to Description Logics.
In Proc. of the 19th Conference on Automated Deduction (CADE-19),
volume 2741 of Lecture Notes in Artificial Intelligence. Springer
Verlag, 2003.
Paper (PS) ©Springer-Verlag
@InProceedings{HlSa03,
author = {J. Hladik and U. Sattler},
title = {A Translation of Looping Alternating Automata to Description Logics},
booktitle = "Proc. of the 19th Conference on Automated
Deduction (CADE-19)",
year = 2003,
series = {Lecture Notes in Artificial Intelligence},
publisher = {Springer Verlag},
volume = 2741,
springer = {yes}
}
Jan Hladik.
Reasoning about Nominals with FaCT and RACER.
In Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003.
Abstract Paper (PS)
@InProceedings{Hladik-DL-2003,
author = {Jan Hladik},
title = {Reasoning about Nominals with {FaCT} and {RACER}},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics ({DL2003})},
year = {2003},
series = {CEUR-WS},
}
I. Horrocks and U. Sattler.
Decidability of SHIQ with Complex Role Inclusion Axioms.
In Proc. of the International Joint Conference on Artificial Intelligence (IJCAI-2003). Morgan-Kaufmann Publishers, 2003.
Paper (PDF)
@InProceedings{HorrocksSattler-IJCAI2003,
author = {I. Horrocks and U. Sattler},
title = {Decidability of SHIQ with Complex Role Inclusion Axioms},
booktitle = {Proc. of the International Joint Conference on Artificial Intelligence (IJCAI-2003)},
year = 2003,
publisher = {Morgan-Kaufmann Publishers}
}
O. Kutz, C. Lutz, F. Wolter, and M. Zakharyaschev.
E-connections of Description Logics.
In Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003.
Abstract Paper (PS)
@InProceedings{KuLuWoZa-DL2003,
author = {O. Kutz and C. Lutz and F. Wolter and M. Zakharyaschev},
title = {$\mathcal{E}$-connections of Description Logics},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics ({DL2003})},
year = {2003},
series = {CEUR-WS},
}
C. Lutz.
Description Logics with Concrete Domains—A Survey.
In Advances in Modal Logics Volume 4. World Scientific Publishing Co. Pte. Ltd., 2003.
Abstract Paper (PS)
@InProceedings{Lutz-AiML4,
author = {C. Lutz},
title = {Description Logics with Concrete Domains---A Survey},
booktitle = {Advances in Modal Logics Volume 4},
publisher = {World Scientific Publishing Co.\ Pte.\ Ltd.},
year = {2003},
}
C. Lutz, C. Areces, I. Horrocks, and U. Sattler.
Keys, Nominals, and Concrete Domains.
In Proceedings of the Eighteenth International Joint Conference on
Artificial Intelligence IJCAI-03, Acapulco, Mexico, 2003.
Morgan-Kaufmann Publishers.
Abstract Paper (PS)
@InProceedings{LuAcHoSa-IJCAI-03,
author = {C. Lutz and C. Areces and I. Horrocks and U. Sattler},
title = {Keys, Nominals, and Concrete Domains},
booktitle = {Proceedings of the Eighteenth International Joint
Conference on Artificial Intelligence {IJCAI-03}},
year = 2003,
address = {Acapulco, Mexico},
publisher = {Morgan-Kaufmann Publishers}
}
C. Lutz, U. Sattler, and L. Tendera.
The Complexity of Finite Model Reasoning in Description Logics.
In Proc. of the 19th Conference on Automated Deduction (CADE-19),
volume 2741 of Lecture Notes in Artificial Intelligence. Springer
Verlag, 2003.
Abstract Paper (PS) ©Springer-Verlag
@InProceedings{LST03,
author = {C. Lutz and U. Sattler and L. Tendera},
title = {The Complexity of Finite Model Reasoning in Description Logics},
booktitle = "Proc. of the 19th Conference on Automated
Deduction (CADE-19)",
year = 2003,
volume = 2741,
series = {Lecture Notes in Artificial Intelligence},
publisher = {Springer Verlag},
springer = {yes}
}
C. Lutz, U.Sattler, and L. Tendera.
Finite Model reasoning in ALCQI is ExpTime-complete.
In Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003.
Abstract Paper (PS)
@InProceedings{LutSatTen-DL2003,
author = {C. Lutz and U.Sattler and L. Tendera},
title = {Finite Model reasoning in $\mathcal{ALCQI}$ is {\sc ExpTime}-complete},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics ({DL2003})},
year = {2003},
series = {CEUR-WS},
}
C. Lutz, F. Wolter, and M. Zakharyaschev.
Reasoning about concepts and similarity.
In Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003.
Abstract Paper (PS)
@InProceedings{LuWoZa-DL2003,
author = {C. Lutz and F. Wolter and M. Zakharyaschev},
title = {Reasoning about concepts and similarity},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics ({DL2003})},
year = {2003},
series = {CEUR-WS},
}
C. Lutz, F. Wolter, and M. Zakharyaschev.
A tableau algorithm for reasoning about concepts and similarity.
In Proceedings of the Twelfth International Conference on Automated
Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2003,
LNAI, Rome,Italy, 2003. Springer.
Abstract Paper (PS) ©Springer-Verlag
@InProceedings{LuWoZa-Tableaux2003,
author = {C. Lutz and F. Wolter and M. Zakharyaschev},
title = {A tableau algorithm for reasoning about concepts and similarity},
booktitle = {Proceedings of the Twelfth International Conference on
Automated Reasoning with Analytic Tableaux and Related Methods {TABLEAUX 2003}},
year = 2003,
address = {Rome,Italy},
publisher = {Springer},
series = {LNAI},
springer = {yes}
}
U. Sattler.
Description Logics for Ontologies.
In Proc. of the International Conference on Conceptual Structures (ICCS
2003), volume 2746 of LNAI. Springer Verlag, 2003.
Paper (PS) ©Springer-Verlag
@InProceedings{Sattler-ICCS03,
author = {U. Sattler},
title = {Description Logics for Ontologies},
booktitle = {Proc.\ of the International Conference on Conceptual Structures (ICCS 2003)},
volume = 2746,
series = {LNAI},
publisher = {Springer Verlag},
year = 2003,
Springer = {yes}
}
U. Sattler, D. Calvanese, and R. Molitor.
Relationship with other Formalisms.
In Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and
Peter F. Patel-Schneider, editors, The Description Logic Handbook:
Theory, Implementation, and Applications, pages 137–177. Cambridge
University Press, 2003.
Abstract
@incollection{SaCaMolDLHB,
author = {Sattler, U. and Calvanese, D. and Molitor, R.},
title = {Relationship with other Formalisms},
booktitle = {The Description Logic Handbook: Theory, Implementation, and Applications},
editor = {Franz Baader and Diego Calvanese and Deborah McGuinness and
Daniele Nardi and Peter F.~Patel-Schneider},
publisher = {Cambridge University Press},
pages = {137--177},
year = {2003},
}
Back to the homepage of the Chair for Automata Theory.