Technical Reports

2001

Bibtex Entry

@TechReport{LuStuWoZa-LTCS-01-01,
  author =       {C. Lutz and H. Sturm and F. Wolter and M. Zakharyaschev},
  title =        {A Tableau Calculus for Temporal Description Logic: The Constant Domain Case},   
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year =         2001,
  type =         {LTCS-Report},  
  number =       {LTCS-01-01},
  address =      {Germany},
  note =         {See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.}
}

Bibtex Entry

@TechReport{BaaderBrandt+-LTCS-01-02,
  author =	 {F.~Baader and S.~Brandt and R.~K{\"u}sters},
  title =	 {Matching under Side Conditions in Description Logics},
  institution =	 {LuFG Theoretical Computer Science, RWTH Aachen},
  year =	 2001,
  type =	 {LTCS-Report},
  number =	 {01-02},
  address =	 {Germany},
  note =	 {See
                  http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.}
}

Bibtex Entry

@TechReport{BaaderTobies-LTCS-01-03,
  author =	 {F.~Baader and S.~Tobies},
  title =	 {The Inverse Method Implements the Automata Approach for Modal
                  Satisfiability},
  institution =	 {LuFG Theoretical Computer Science, RWTH Aachen},
  year =	 2001,
  type =	 {LTCS-Report},
  number =	 {01-03},
  address =	 {Germany},
  note =	 {See
                  http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.}
}

Bibtex Entry

@TechReport{LutzSattlerWolter-LTCS-01-04,
  author =       {C. Lutz and U. Sattler and F. Wolter},
  title =        {Modal Logic and the two-variable fragment},   
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year =         2001,
  type =         {LTCS-Report},  
  number =       {LTCS-01-04},
  address =      {Germany},
  note =         {See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.}
}

Bibtex Entry

@TechReport{BaaderKuesters-LTCS-01-05,
  author =	 {F.~Baader and R.~K{\"u}sters},
  title =	 {Unification in a Description Logic with Transitive Closure of Roles},
  institution =	 {LuFG Theoretical Computer Science, RWTH Aachen},
  year =	 2001,
  type =	 {LTCS-Report},
  number =	 {01-05},
  address =	 {Germany},
  note =	 {See
                  http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.}
}

Bibtex Entry

 @TechReport{BrandtKuesters+-LTCS-01-06,
  author =       {S.~Brandt and R.~K{\"u}sters and A.-Y.~Turhan},
  title =        {Approximation and Difference in Description Logics},
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year =         2001,
  type =         {LTCS-Report},
  number =       {01-06},
  address =      {Germany}
}

Bibtex Entry

@TechReport{Lutz-LTCS-01-07,
  author =       {C. Lutz},
  title =        {Adding Numbers to the ${\cal SHIQ}$ Description Logic---First Results},   
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year =         2001,
  type =         {LTCS-Report},  
  number =       {LTCS-01-07},
  address =      {Germany},
  note =         {See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.}
}

Bibtex Entry

@TechReport{HorrocksSattler-LTCS-01-08,
  author = 	 {I. Horrocks and U. Sattler},
  title = 	 {Optimised Reasoning for SHIQ},
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year = 	 2001,
  type =	 {LTCS-Report},
  number =	 {LTCS-01-08},
  address =	 {Germany},
  note =	 {See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.}
}