| |
 |      |
                                |
Note: Links lead to the DBLP on the Web. Stephan Tobies 10 Ian Horrocks , Ulrike Sattler , Stephan Tobies: Reasoning with Individuals for the Description Logic SHIQ. CADE 2000 : 482-496 9 Ian Horrocks , Stephan Tobies: Optimisation of Terminological Reasoning. Description Logics 2000 : 183-192 8 Ian Horrocks , Stephan Tobies: Reasoning with Axioms: Theory and Practice. KR 2000 : 285-296 7 Ian Horrocks , Ulrike Sattler , Sergio Tessaris , Stephan Tobies: How to decide Query Containment under Constraints using a Description Logic. KRDB 2000 : 59-72 6 Ian Horrocks , Ulrike Sattler , Sergio Tessaris , Stephan Tobies: How to Decide Query Containment Under Constraints Using a Description Logic. LPAR 2000 : 326-343 5 Stephan Tobies: The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics. JAIR 12 : 199-217 (2000) 4 Stephan Tobies: A PSpace Algorithm for Graded Modal Logic. CADE 1999 : 52-66 3 Stephan Tobies: A NExpTime-Complete Description Logic Strictly Contained in C 2 . CSL 1999 : 292-306 2 Franz Baader , Ralf Molitor , Stephan Tobies: Tractable and Decidable Fragments of Conceptual Graphs. ICCS 1999 : 480-493 1 Ian Horrocks , Ulrike Sattler , Stephan Tobies: Practical Reasoning for Expressive Description Logics. LPAR 1999 : 161-180 DiSC'01 Copyright ©2002 ACM Inc. |
