The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ulrike Sattler: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Enrico Franconi, Ulrike Sattler
    A Data Warehouse Conceptual Data Model for Multidimensional Aggregation. [Citation Graph (1, 0)][DBLP]
    DMDW, 1999, pp:13- [Conf]
  2. Franz Baader, Ulrike Sattler
    Description Logics with Concrete Domains and Aggregation. [Citation Graph (1, 0)][DBLP]
    ECAI, 1998, pp:336-340 [Conf]
  3. Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter
    Integrating Description Logics and Action Formalisms: First Results. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:572-577 [Conf]
  4. Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens
    Deciding Semantic Matching of Stateless Services. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  5. Carsten Lutz, Ulrike Sattler
    The Complexity of Reasoning with Boolean Modal Logics. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2000, pp:329-348 [Conf]
  6. Franz Baader, Ian Horrocks, Ulrike Sattler
    Description Logics as Ontology Languages for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:228-248 [Conf]
  7. Jan Hladik, Ulrike Sattler
    A Translation of Looping Alternating Automata into Description Logics. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:90-105 [Conf]
  8. Ian Horrocks, Ulrike Sattler, Stephan Tobies
    Reasoning with Individuals for the Description Logic SHIQ. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:482-496 [Conf]
  9. Orna Kupferman, Ulrike Sattler, Moshe Y. Vardi
    The Complexity of the Graded µ-Calculus. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:423-437 [Conf]
  10. Carsten Lutz, Ulrike Sattler, Lidia Tendera
    The Complexity of Finite Model Reasoning in Description Logics. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:60-74 [Conf]
  11. Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi
    BDD-Based Decision Procedures for K. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:16-30 [Conf]
  12. Ulrike Sattler, Moshe Y. Vardi
    The Hybrid µ-Calculus. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:76-91 [Conf]
  13. Carsten Lutz, Ulrike Sattler, Frank Wolter
    Modal Logic and the Two-Variable Fragment. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:247-261 [Conf]
  14. Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter
    Integrating Description Logics and Action Formalisms: First Results. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2005, pp:- [Conf]
  15. Franz Baader, Ulrike Sattler
    Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:3-14 [Conf]
  16. Franz Baader, Ulrike Sattler
    Knowledge Representation in Process Engineering. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:74-78 [Conf]
  17. Franz Baader, Ulrike Sattler
    Description Logics with Aggregates and Concrete Domains. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1997, pp:- [Conf]
  18. Antoon Goderis, Ulrike Sattler, Carole A. Goble
    Applying Description Logics for Workflow Reuse and Repurposing. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2005, pp:- [Conf]
  19. Ian Horrocks, Ulrike Sattler
    A Description Logic with Transitive and Inverse Roles and Role Hierarchies. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1998, pp:- [Conf]
  20. Carsten Lutz, Ulrike Sattler
    Mary Likes all Cats. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2000, pp:213-226 [Conf]
  21. Carsten Lutz, Ulrike Sattler, Lidia Tendera
    Finite Model Reasoning in ALCQI is EXPTIME Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  22. Carsten Lutz, Ulrike Sattler, Stephan Tobies
    A Suggestion for an n-ary Description Logic. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  23. Carsten Lutz, Ulrike Sattler, Frank Wolter
    Description Logics and the Two-Variable Fragment. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2001, pp:- [Conf]
  24. Ulrike Sattler, Diego Calvanese, Ralf Molitor
    Relationships with other Formalisms. [Citation Graph (0, 0)][DBLP]
    Description Logic Handbook, 2003, pp:137-177 [Conf]
  25. Franz Baader, Ulrike Sattler
    Description Logics with Symbolic Number Restrictions. [Citation Graph (0, 0)][DBLP]
    ECAI, 1996, pp:283-287 [Conf]
  26. Ian Horrocks, Ulrike Sattler
    Optimised Reasoning for SHIQ. [Citation Graph (0, 0)][DBLP]
    ECAI, 2002, pp:277-281 [Conf]
  27. Ullrich Hustadt, Boris Motik, Ulrike Sattler
    Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:353-357 [Conf]
  28. Ulrike Sattler
    Description Logics for the Representation of Aggregated Objects. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:239-243 [Conf]
  29. Ian Horrocks, Ulrike Sattler
    Ontology Reasoning in the SHOQ(D) Description Logic. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:199-204 [Conf]
  30. Ian Horrocks, Ulrike Sattler
    Decidability of SHIQ with Complex Role Inclusion Axioms. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:343-348 [Conf]
  31. Ian Horrocks, Ulrike Sattler
    A Tableaux Decision Procedure for SHOIQ. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:448-453 [Conf]
  32. Ullrich Hustadt, Boris Motik, Ulrike Sattler
    Data Complexity of Reasoning in Very Expressive Description Logics. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:466-471 [Conf]
  33. Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler
    Keys, Nominals, and Concrete Domains. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:349-354 [Conf]
  34. Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
    A Logical Framework for Modularity of Ontologies. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:298-303 [Conf]
  35. Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler
    Completing Description Logic Knowledge Bases Using Formal Concept Analysis. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:230-235 [Conf]
  36. Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler
    Conjunctive Query Answering for the Description Logic SHIQ. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:399-404 [Conf]
  37. Ulrike Sattler
    A Concept Language Extended with Different Kinds of Transitive Roles. [Citation Graph (0, 0)][DBLP]
    KI, 1996, pp:333-345 [Conf]
  38. Franz Baader, Ulrike Sattler
    Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. [Citation Graph (0, 0)][DBLP]
    KR, 1996, pp:328-339 [Conf]
  39. Ian Horrocks, Oliver Kutz, Ulrike Sattler
    The Even More Irresistible SROIQ. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:57-67 [Conf]
  40. Ullrich Hustadt, Boris Motik, Ulrike Sattler
    Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:152-162 [Conf]
  41. Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
    How to decide Query Containment under Constraints using a Description Logic. [Citation Graph (0, 0)][DBLP]
    KRDB, 2000, pp:59-72 [Conf]
  42. Ian Horrocks, Ulrike Sattler, Stephan Tobies
    Practical Reasoning for Expressive Description Logics. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:161-180 [Conf]
  43. Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
    How to Decide Query Containment Under Constraints Using a Description Logic. [Citation Graph (0, 0)][DBLP]
    LPAR, 2000, pp:326-343 [Conf]
  44. Ullrich Hustadt, Boris Motik, Ulrike Sattler
    A Decomposition Rule for Decision Procedures by Resolution-Based Calculi. [Citation Graph (0, 0)][DBLP]
    LPAR, 2004, pp:21-35 [Conf]
  45. Boris Motik, Ulrike Sattler
    A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. [Citation Graph (0, 0)][DBLP]
    LPAR, 2006, pp:227-241 [Conf]
  46. Antoon Goderis, Ulrike Sattler, Phillip W. Lord, Carole A. Goble
    Seven Bottlenecks to Workflow Reuse and Repurposing. [Citation Graph (0, 0)][DBLP]
    International Semantic Web Conference, 2005, pp:323-337 [Conf]
  47. Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler
    Can OWL and Logic Programming Live Together Happily Ever After? [Citation Graph (0, 0)][DBLP]
    International Semantic Web Conference, 2006, pp:501-514 [Conf]
  48. Boris Motik, Ulrike Sattler, Rudi Studer
    Query Answering for OWL-DL with Rules. [Citation Graph (0, 0)][DBLP]
    International Semantic Web Conference, 2004, pp:549-563 [Conf]
  49. Katy Wolstencroft, Andy Brass, Ian Horrocks, Phillip W. Lord, Ulrike Sattler, Daniele Turi, Robert Stevens
    A Little Semantic Web Goes a Long Way in Biology. [Citation Graph (0, 0)][DBLP]
    International Semantic Web Conference, 2005, pp:786-800 [Conf]
  50. Ian Horrocks, Ulrike Sattler
    Decidability of SHIQ with complex role inclusion axioms. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2004, v:160, n:1-2, pp:79-104 [Journal]
  51. Ian Horrocks, Ulrike Sattler, Stephan Tobies
    Practical Reasoning for Very Expressive Description Logics [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  52. Ian Horrocks, Ulrike Sattler, Stephan Tobies
    Practical Reasoning for Expressive Description Logics [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  53. Ian Horrocks, Ulrike Sattler, Stephan Tobies
    Reasoning with Individuals for the Description Logic SHIQ [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  54. Ian Horrocks, Birte Glimm, Ulrike Sattler
    Hybrid Logics and Ontology Languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:6, pp:3-14 [Journal]
  55. Stéphane Demri, Ulrike Sattler
    Automata-Theoretic Decision Procedures for Information Logics. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:53, n:1, pp:1-22 [Journal]
  56. Carsten Lutz, Ulrike Sattler, Lidia Tendera
    The complexity of finite model reasoning in description logics. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:199, n:1-2, pp:132-171 [Journal]
  57. Ian Horrocks, Ulrike Sattler, Stephan Tobies
    Practical Reasoning for Very Expressive Description Logics. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2000, v:8, n:3, pp:- [Journal]
  58. Franz Baader, Ulrike Sattler
    Description logics with aggregates and concrete domains. [Citation Graph (0, 0)][DBLP]
    Inf. Syst., 2003, v:28, n:8, pp:979-1004 [Journal]
  59. Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi
    BDD-based decision procedures for the modal logic K. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2006, v:16, n:1-2, pp:169-208 [Journal]
  60. Franz Baader, Ian Horrocks, Ulrike Sattler
    Description Logics for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    KI, 2002, v:16, n:4, pp:57-59 [Journal]
  61. Franz Baader, Ulrike Sattler
    Expressive Number Restrictions in Description Logics. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:3, pp:319-350 [Journal]
  62. Ian Horrocks, Ulrike Sattler
    A Description Logic with Transitive and Inverse Roles and Role Hierarchies. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:3, pp:385-410 [Journal]
  63. Franz Baader, Ulrike Sattler
    An Overview of Tableau Algorithms for Description Logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2001, v:69, n:1, pp:5-40 [Journal]
  64. François Bergeron, Ulrike Sattler
    Constructible Differentially Finite Algebraic Series in Several Variables. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:144, n:1&2, pp:59-65 [Journal]
  65. Boris Motik, Ulrike Sattler, Rudi Studer
    Query Answering for OWL-DL with rules. [Citation Graph (0, 0)][DBLP]
    J. Web Sem., 2005, v:3, n:1, pp:41-60 [Journal]
  66. Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler
    Will my Ontologies Fit Together? [Citation Graph (0, 0)][DBLP]
    Description Logics, 2006, pp:- [Conf]
  67. Birte Glimm, Ian Horrocks, Ulrike Sattler
    Conjunctive Query Answering for Description Logics with Transitive Roles. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2006, pp:- [Conf]
  68. Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin
    How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. [Citation Graph (0, 0)][DBLP]
    LPAR, 2007, pp:303-317 [Conf]
  69. Ulrike Sattler
    Reasoning in Description Logics: Basics, Extensions, and Relatives. [Citation Graph (0, 0)][DBLP]
    Reasoning Web, 2007, pp:154-182 [Conf]
  70. Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
    Just the right amount: extracting modules from ontologies. [Citation Graph (0, 0)][DBLP]
    WWW, 2007, pp:717-726 [Conf]
  71. Boris Motik, Ian Horrocks, Ulrike Sattler
    Bridging the gap between OWL and relational databases. [Citation Graph (0, 0)][DBLP]
    WWW, 2007, pp:807-816 [Conf]
  72. Robert Stevens, Mikel Egaña Aranguren, Katy Wolstencroft, Ulrike Sattler, Nick Drummond, Matthew Horridge, Alan L. Rector
    Using OWL to model biological knowledge. [Citation Graph (0, 0)][DBLP]
    International Journal of Man-Machine Studies, 2007, v:65, n:7, pp:583-594 [Journal]
  73. Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler
    Keys, Nominals, and Concrete Domains. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2005, v:23, n:, pp:667-726 [Journal]
  74. Ullrich Hustadt, Boris Motik, Ulrike Sattler
    Reasoning in Description Logics by a Reduction to Disjunctive Datalog. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2007, v:39, n:3, pp:351-384 [Journal]
  75. Ian Horrocks, Ulrike Sattler
    A Tableau Decision Procedure for SHOIQ. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2007, v:39, n:3, pp:249-276 [Journal]

  76. Conjunctive Query Entailment for SHOQ. [Citation Graph (, )][DBLP]


  77. Next Steps for Description Logics of Minimal Knowledge and Negation as Failure. [Citation Graph (, )][DBLP]


  78. Ontology Reuse: Better Safe than Sorry. [Citation Graph (, )][DBLP]


  79. Which Kind of Module Should I Extract? [Citation Graph (, )][DBLP]


  80. Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. [Citation Graph (, )][DBLP]


  81. The Representation of Structured Objects in DLs using Description Graphs. [Citation Graph (, )][DBLP]


  82. Rewriting Rules into SROIQ Axioms. [Citation Graph (, )][DBLP]


  83. Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata. [Citation Graph (, )][DBLP]


  84. Lemmas for Justifications in OWL. [Citation Graph (, )][DBLP]


  85. Explaining by Example: Model Exploration for Ontology Comprehension. [Citation Graph (, )][DBLP]


  86. On Correspondences between Probabilistic First-Order and Description Logics. [Citation Graph (, )][DBLP]


  87. Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. [Citation Graph (, )][DBLP]


  88. Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. [Citation Graph (, )][DBLP]


  89. Unions of Conjunctive Queries in SHOQ. [Citation Graph (, )][DBLP]


  90. Representing Structured Objects using Description Graphs. [Citation Graph (, )][DBLP]


  91. Laconic and Precise Justifications in OWL. [Citation Graph (, )][DBLP]


  92. Explanation of OWL Entailments in Protege 4. [Citation Graph (, )][DBLP]


  93. A Solution for the Man-Man Problem in the Family History Knowledge Base. [Citation Graph (, )][DBLP]


  94. Mechanisms for Importing Modules. [Citation Graph (, )][DBLP]


  95. Using Ontologies for Medical Image Retrieval - An Experiment. [Citation Graph (, )][DBLP]


  96. From Justifications to Proofs for Entailments in OWL. [Citation Graph (, )][DBLP]


  97. Structured objects in owl: representation and reasoning. [Citation Graph (, )][DBLP]


  98. Explaining Inconsistencies in OWL Ontologies. [Citation Graph (, )][DBLP]


  99. Easy Keys for OWL. [Citation Graph (, )][DBLP]


  100. Adding Integrity Constraints to OWL. [Citation Graph (, )][DBLP]


  101. Extracting Modules from Ontologies: A Logic-based Approach. [Citation Graph (, )][DBLP]


  102. Completing Description Logic Knowledge Bases using Formal Concept Analysis. [Citation Graph (, )][DBLP]


  103. Modeling Ontologies using OWL, Description Graphs, and Rules. [Citation Graph (, )][DBLP]


  104. Understanding Entailments in OWL. [Citation Graph (, )][DBLP]


  105. Next Steps for OWL. [Citation Graph (, )][DBLP]


  106. A Case for Abductive Reasoning over Ontologies. [Citation Graph (, )][DBLP]


  107. Reasoning Support for Ontology Design. [Citation Graph (, )][DBLP]


  108. The Irresistible SRIQ. [Citation Graph (, )][DBLP]


  109. Representing ontologies using description logics, description graphs, and rules. [Citation Graph (, )][DBLP]


  110. Understanding and using the meaning of statements in a bio-ontology: recasting the Gene Ontology in OWL. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002