Uli Sattler

Search results

• 2005

  The Even More Irresistible SROIQ

  Horrocks, I., Kutz, O. & Sattler, U., 2005, AAAI Press.

  Research output: Book/Report › Commissioned report
• 2002

  Decidability of SHIQ with Complex Role Inclusion Axioms

  Horrocks, I. & Sattler, U., 2002

  Research output: Book/Report › Commissioned report

• Keys, Nominals, and Concrete Domains

  Lutz, C., Areces, C., Horrocks, I. & Sattler, U., 2002

  Research output: Book/Report › Commissioned report › peer-review

• The Complexity of Finite Model Reasoning in Description Logics

  Lutz, C., Sattler, U. & Tendera, L., 2002, Dresden: Technische Universität Dresden. 33 p. (LTCS Report; vol. 02, no. 05)

  Research output: Book/Report › Commissioned report

  Open Access

  • Description Logics 100%
  • Reasoning Model 100%
  • Number Restriction 66%
  • Reasoning Task 33%
  • Concept Satisfiability 33%
• 2001

  Modal Logic and the two-variable fragment (Revised Version)

  Lutz, C., Sattler, U. & Wolter, F., 2001

  Research output: Book/Report › Commissioned report