| |
 |      |
                                |
Note: Links lead to the DBLP on the Web. Ulrike Sattler 13 Ian Horrocks , Ulrike Sattler, Stephan Tobies : Reasoning with Individuals for the Description Logic SHIQ. CADE 2000 : 482-496 12 Carsten Lutz , Ulrike Sattler: Mary Likes all Cats. Description Logics 2000 : 213-226 11 Ian Horrocks , Ulrike Sattler, Sergio Tessaris , Stephan Tobies : How to decide Query Containment under Constraints using a Description Logic. KRDB 2000 : 59-72 10 Ian Horrocks , Ulrike Sattler, Sergio Tessaris , Stephan Tobies : How to Decide Query Containment Under Constraints Using a Description Logic. LPAR 2000 : 326-343 9 Enrico Franconi , Ulrike Sattler: A Data Warehouse Conceptual Data Model for Multidimensional Aggregation. DMDW 1999 : 13 8 Ian Horrocks , Ulrike Sattler, Stephan Tobies : Practical Reasoning for Expressive Description Logics. LPAR 1999 : 161-180 7 Franz Baader , Ulrike Sattler: Expressive Number Restrictions in Description Logics. Journal of Logic and Computation 9 (3): 319-350 (1999) 6 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) 5 Franz Baader , Ulrike Sattler: Description Logics with Concrete Domains and Aggregation. ECAI 1998 : 336-340 4 Franz Baader , Ulrike Sattler: Description Logics with Symbolic Number Restrictions. ECAI 1996 : 283-287 3 Ulrike Sattler: A Concept Language Extended with Different Kinds of Transitive Roles. KI 1996 : 333-345 2 Franz Baader , Ulrike Sattler: Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. KR 1996 : 328-339 1 François Bergeron , Ulrike Sattler: Constructible Differentially Finite Algebraic Series in Several Variables. TCS 144 (1&2): 59-65 (1995) DiSC'01 Copyright ©2002 ACM Inc. |
