Publications of Ulrike Sattler

Ulrike Sattler

Journal Articles

Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler
Answering conjunctive queries in the SHIQ description logic
Journal of Artificial Intelligence Research, 31:150-197, 2008
Details Download

Carsten Lutz, Ulrike Sattler, L. Tendera
The Complexity of Finite Model Reasoning in Description Logics
Information and Computation, 199:132-171, 2005
Details Download

Carsten Lutz, C. Areces, Ian Horrocks, Ulrike Sattler
Keys, Nominals, and Concrete Domains
Journal of Artificial Intelligence Research, 23:667-726, 2005
Details Download

Franz Baader, Ulrike Sattler
Description Logics with Aggregates and Concrete Domains
Information Systems, 28(8):979-1004, 2003
Details Download

Franz Baader, Ian Horrocks, Ulrike Sattler
Description Logics for the Semantic Web
KI – Künstliche Intelligenz, 4, 2002
Details

S. Demri, Ulrike Sattler
Automata-Theoretic Decision Procedures for Information Logics
Fundamenta Informaticae, 53(1):1-22, 2002
Details Download

Franz Baader, Ulrike Sattler
An Overview of Tableau Algorithms for Description Logics
Studia Logica, 69:5-40, 2001
Details Download

Ian Horrocks, Ulrike Sattler, Stephan Tobies
Practical Reasoning for Very Expressive Description Logics
Logic Journal of the IGPL, 8(3):239-264, May 2000
Details Download

Franz Baader, Ulrike Sattler
Expressive Number Restrictions in Description Logics
Journal of Logic and Computation, 9(3):319-350, 1999
Details Download

E. Franconi, Ulrike Sattler
A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report
Italian Association for Artificial Intelligence AI*IA Notizie, 1:9-21, 1999
Details Download

Ian Horrocks, Ulrike Sattler
A Description Logic with Transitive and Inverse Roles and Role Hierarchies
Journal of Logic and Computation, 9(3):385-410, 1999
Details

François Bergeron, Ulrike Sattler
Constructible differentially finite algebraic series in several variables
Theoretical Computer Science, 144(1-2):59-66, June 1995
Details

Proceedings Articles

Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya
Completing Description Logic Knowledge Bases using Formal Concept Analysis
Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), 2007. AAAI Press
Details Download

Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya
Completing Description Logic Knowledge Bases using Formal Concept Analysis
In Christine Golbreich and Aditya Kalyanpur and Bijan Parsia, eds., Proceedings of the Third International Workshop OWL: Experiences and Directions (OWLED 2007), volume 258, 2007. CEUR-WS
Details Download

Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler
Answering conjunctive queries in the SHIQ description logic
In Manuela Veloso, eds., Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), 299-404, 2007. AAAI Press
Details Download

Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris
Reasoning Support for Ontology Design
In Bernardo Cuenca Grau and Pascal Hitzler and Connor Shankey and Evan Wallace, eds., In Proceedings of the second international workshop OWL: Experiences and Directions, to appear
Details Download

Franz Baader, Carsten Lutz, M. Milicic, Ulrike Sattler, Frank Wolter
A Description Logic Based Approach to Reasoning about Web Services
Proceedings of the WWW 2005 Workshop on Web Service Semantics (WSS2005), 2005
Details Download

Franz Baader, Carsten Lutz, M. Milicic, Ulrike Sattler, Frank Wolter
Integrating Description Logics and Action Formalisms: First Results
Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), 2005
Details Download

Franz Baader, Carsten Lutz, M. Milicic, Ulrike Sattler, Frank Wolter
Integrating Description Logics and Action Formalisms: First Results
Proceedings of the 2005 International Workshop on Description Logics (DL2005), CEUR-WS, 2005
Details Download

J. Hladik, Ulrike Sattler
A Translation of Looping Alternating Automata to Description Logics
Proc. of the 19th Conference on Automated Deduction (CADE-19), volume 2741 of Lecture Notes in Artificial Intelligence, 2003. Springer
Details Download

Ian Horrocks, Ulrike Sattler
Decidability of SHIQ with Complex Role Inclusion Axioms
Proc. of the International Joint Conference on Artificial Intelligence (IJCAI-2003), 2003. Morgan-Kaufmann Publishers
Details Download

Carsten Lutz, Ulrike Sattler, L. Tendera
The Complexity of Finite Model Reasoning in Description Logics
Proc. of the 19th Conference on Automated Deduction (CADE-19), volume 2741 of Lecture Notes in Artificial Intelligence, 2003. Springer
Details Download

Carsten Lutz, C. Areces, Ian Horrocks, Ulrike Sattler
Keys, Nominals, and Concrete Domains
Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence IJCAI-03, 2003. Morgan-Kaufmann Publishers
Details Download

Ulrike Sattler
Description Logics for Ontologies
Proc. of the International Conference on Conceptual Structures (ICCS 2003), volume 2746 of LNAI, 2003. Springer
Details Download

Ian Horrocks, Ulrike Sattler
Optimised Reasoning for SHIQ
Proc. of the 15th European Conference on Artificial Intelligence, 2002
Details Download

O. Kupferman, Ulrike Sattler, M. Y. Vardi
The Complexity of the Graded mu-Calculus
Proceedings of the Conference on Automated Deduction, volume 2392 of Lecture Notes in Artificial Intelligence, 2002. Springer
Details Download

Carsten Lutz, Ulrike Sattler
A Proposal for Describing Services with DLs
Proceedings of the 2002 International Workshop on Description Logics, to appear
Details Download

G. Pan, Ulrike Sattler, M. Y. Vardi
BDD-Based Decision Procedures for K
Proceedings of the Conference on Automated Deduction, volume 2392 of Lecture Notes in Artificial Intelligence, 2002. Springer
Details Download

Ian Horrocks, Ulrike Sattler
Ontology Reasoning in the SHOQ(D) Description Logic
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
Details Download

Carsten Lutz, Ulrike Sattler, Frank Wolter
Description Logics and the Two-Variable Fragment
In D.L. McGuiness and P.F. Pater-Schneider and C. Goble and R. Möller, eds., Proceedings of the 2001 International Workshop in Description Logics (DL-2001), 66-75, 2001
Details Download

Carsten Lutz, Ulrike Sattler, Frank Wolter
Modal Logics and the two-variable fragment
Annual Conference of the European Association for Computer Science Logic CSL'01, LNCS, 2001. Springer
Details Download

Carsten Lutz, Ulrike Sattler
The Complexity of Reasoning with Boolean Modal Logics
In Frank Wolter and Heinrich Wansing and Maarten de Rijke and Michael Zakharyaschev, eds., Advances in Modal Logics Volume 3, 2001. CSLI Publications, Stanford
Details Download

Ulrike Sattler, M. Y. Vardi
The Hybrid mu-Calculus
In R. Goré and A. Leitsch and T. Nipkow, eds., Proceedings of the International Joint Conference on Automated Reasoning, volume 2083 of LNAI, 76-91, 2001. Springer
Details Download

Franz Baader, Ulrike Sattler
Tableau Algorithms for Description Logics
In R. Dyckhoff, eds., Proceedings of the International Conference on Automated Reasoning with Tableaux and Related Methods (Tableaux 2000), volume 1847 of Lecture Notes in Artificial Intelligence, 1-18, 2000. Springer
Details Download

Ian Horrocks, Ulrike Sattler, Stephan Tobies
Reasoning with Individuals for the Description Logic SHIQ
In David MacAllester, eds., Proceedings of the 17th International Conference on Automated Deduction (CADE-17), Lecture Notes in Computer Science, 2000. Springer
Details Download

Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
How to decide Query Containment under Constraints using a Description Logic
In Andrei Voronkov, eds., Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR'2000), Lecture Notes in Artificial Intelligence, 2000. Springer
Details Download

Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
How to decide Query Containment under Constraints using a Description Logic
Proceedings of the 7th International Workshop on Knowledge Representation meets Databases (KRDB-2000), 2000
Details Download

Carsten Lutz, Ulrike Sattler
Mary likes all Cats
In F. Baader and U. Sattler, eds., Proceedings of the 2000 International Workshop in Description Logics (DL2000), CEUR-WS, 213-226, August 2000. RWTH Aachen
Details Download

Carsten Lutz, Ulrike Sattler
The Complexity of Reasoning with Boolean Modal Logic
Advances in Modal Logic 2000 (AiML 2000), 2000
Details

Ulrike Sattler
Description Logics for the Representation of Aggregated Objects
In W.Horn, eds., Proceedings of the 14th European Conference on Artificial Intelligence, 2000. IOS Press, Amsterdam
Details Download

E. Franconi, Ulrike Sattler
A Data Warehouse Conceptual Data Model for Multidimensional Aggregation
Workshop on Design and Management of Data Warehouses (DMDW'99), June 1999
Details Download

Ian Horrocks, Ulrike Sattler, Stephan Tobies
Practical Reasoning for Description Logics with Functional Restrictions, Inverse and Transitive Roles, and Role Hierarchies
Proceedings of the 1999 Workshop Methods for Modalities (M4M-1), 1999
Details Download

Ian Horrocks, Ulrike Sattler, Stephan Tobies
Practical Reasoning for Expressive Description Logics
In Harald Ganzinger and David McAllester and Andrei Voronkov, eds., Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), Lecture Notes in Artificial Intelligence, 161-180, September 1999. Springer
Details Download

Carsten Lutz, Ulrike Sattler, Stephan Tobies
A Suggestion for an n-ary Description Logic
In Patrick Lambrix and Alex Borgida and Maurizio Lenzerini and Ralf Möller and Peter Patel-Schneider, eds., Proceedings of the International Workshop on Description Logics, CEUR-WS, 81-85, 1999. Linköping University
Details Download

Franz Baader, Ulrike Sattler
Description Logics with Concrete Domains and Aggregation
In H. Prade, eds., Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 336-340, 1998. John Wiley & Sons Ltd
Details Download

Ian Horrocks, Ulrike Sattler
A Description Logic with Transitive and Converse Roles and Role Hierarchies
Proceedings of the International Workshop on Description Logics, 1998. IRST
Details Download

Franz Baader, Ulrike Sattler
Description Logics with Aggregates and Concrete Domains
Proceedings of the International Workshop on Description Logics, 1997
Details Download

Mohand-Saïd Hacid, Ulrike Sattler
An Object-Centered Multi-dimensional Data Model with Hierarchically Structured Dimensions
Proceedings of the IEEE Knowledge and Data Engineering Workshop, Newport Beach, CA, USA, 65-72, November 1997. IEEE Computer Society
Details

Franz Baader, Ulrike Sattler
Description Logics with Symbolic Number Restrictions
In W. Wahlster, eds., Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI-96), 283-287, 1996. John Wiley & Sons Ltd
Details Download

Franz Baader, Ulrike Sattler
Knowledge Representation in Process Engineering
Proceedings of the International Workshop on Description Logics, 1996. AAAI Press/The MIT Press
Details Download

Franz Baader, Ulrike Sattler
Number Restrictions on Complex Roles in Description Logics
Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR-96), 1996. Morgan Kaufmann, Los Altos
Details

Ulrike Sattler
Knowledge Representation in Process Engineering
In F. Baader and H. J. Bürckert and A. Günter and W. Nutt, eds., Proceedings of the Workshop on Knowledge Representation and Configuration (WRKP'96), {DFKI} Document {D}-96-04, 1996. Deutsches Forschungszentrum für Künstliche Intelligenz GmbH
Details Download

Ulrike Sattler
A Concept Language Extended with Different Kinds of Transitive Roles
In G. Görz and S. Hölldobler, eds., 20. Deutsche Jahrestagung für Künstliche Intelligenz, Lecture Notes in Artificial Intelligence, 1996. Springer
Details Download

Ulrike Sattler
A Concept Language for an engeneering application with part-whole relations
In A. Borgida and M. Lenzerini and D. Nardi and B. Nebel, eds., Proceedings of the International Workshop on Description Logics, 119-123, 1995
Details Download

Book Chapters

Franz Baader, Ian Horrocks, Ulrike Sattler
Description Logics
In Frank van Harmelen and Vladimir Lifschitz and Bruce Porter, eds., Handbook of Knowledge Representation, 135-179. Elsevier, 2007
Details

Franz Baader, Ian Horrocks, Ulrike Sattler
Description Logics as Ontology Languages for the Semantic Web
In D. Hutter and W. Stephan, eds., Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, volume 2605 of Lecture Notes in Artificial Intelligence, 228-248. Springer, 2005
Details Download

Franz Baader, Ian Horrocks, Ulrike Sattler
Description Logics
In S. Staab and R. Studer, eds., Handbook on Ontologies, International Handbooks in Information Systems, 3-28. Springer, 2004
Details

Ulrike Sattler, D. Calvanese, R. Molitor
Relationship with other Formalisms
In Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F. Patel-Schneider, eds., The Description Logic Handbook: Theory, Implementation, and Applications, 137-177. Cambridge University Press, 2003
Details

E. Franconi, Franz Baader, Ulrike Sattler, P. Vassiliadis
Multidimensional Data Models and Aggregation
In M. Jarke and M. Lenzerini and Y. Vassilious and P. Vassiliadis, eds., Fundamentals of Data Warehousing, 87-106. Springer, 2000
Details

Technical Reports

Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya
Completing Description Logic Knowledge Bases using Formal Concept Analysis
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-06-02, 2006. LTCS-Report
Details Download

Franz Baader, M. Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter
Integrating Description Logics and Action Formalisms for Reasoning about Web Services
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-02, 2005. LTCS-Report
Details Download

Ian Horrocks, Ulrike Sattler
Decidability of SHIQ with Complex Role Inclusion Axioms
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-02-06, 2002. LTCS-Report
Details Download

Carsten Lutz, Ulrike Sattler, L. Tendera
The Complexity of Finite Model Reasoning in Description Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-02-05, 2002. LTCS-Report
Details Download

Carsten Lutz, C. Areces, Ian Horrocks, Ulrike Sattler
Keys, Nominals, and Concrete Domains
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-02-04, 2002. LTCS-Report
Details Download

Ian Horrocks, Ulrike Sattler
Optimised Reasoning for SHIQ
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-01-08, 2001. LTCS-Report
Details Download

Carsten Lutz, Ulrike Sattler, Frank Wolter
Modal Logic and the two-variable fragment
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-01-04, 2001. LTCS-Report
Details Download

Carsten Lutz, Ulrike Sattler
The Complexity of Reasoning with Boolean Modal Logics (Extended Version)
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-00-02, 2000. LTCS-Report
Details Download

Ian Horrocks, Ulrike Sattler, Stephan Tobies
A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-08, 1999. LTCS-Report
Details Download

Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
Query Containment Using a DLR ABox
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-15, 1999. LTCS-Report
Details Download

Franz Baader, Ulrike Sattler
Description Logics with Aggregates and Concrete Domains, Part II (extended)
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-98-02, 1998. LTCS-Report
Details Download

Ian Horrocks, Ulrike Sattler
A Description Logic with Transitive and Converse Roles and Role Hierarchies
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-98-05, 1998. LTCS-Report
Details Download

Ian Horrocks, Ulrike Sattler, Stephan Tobies
A PSpace-algorithm for deciding ALCNI_R^+-satisfiability
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-98-08, 1998. LTCS-Report
Details Download

Franz Baader, Ulrike Sattler
Description Logics with Aggregates and Concrete Domains
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-97-01, 1997. LTCS-Report
Details Download

Franz Baader, Ulrike Sattler
Description Logics with Symbolic Number Restrictions
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, volume LTCS-96-03, 1996
Details Download

Franz Baader, Ulrike Sattler
Number Restrictions on Complex Roles in Description Logics
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, volume LTCS-96-02, 1996
Details Download