Technical Reports

2002

Bibtex Entry

@TechReport{Lutz-LTCS-02-01,
  author =       {C. Lutz},
  title =        {Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies},   
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year =         2002,
  type =         {LTCS-Report},  
  number =       {LTCS-02-01},
  address =      {Germany},
  note =         {See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.}
}

Bibtex Entry

@TechReport{Baader-LTCS-02-02,
  author =       {F.~Baader},
  title =        {Terminological Cycles in a Description 
                  Logic with Existential Restrictions},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2002,
  type =         {LTCS-Report},
  number =       {LTCS-02-02},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.}
}

Bibtex Entry

@TechReport{BrTu-LTCS-02,
  author =       {S.~Brandt and A.-Y.~Turhan},
  title =        {An Approach for Optimizing {ALE}-Approximation of 
                  {ALC}-Concepts},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2002,
  type =         {LTCS-Report},
  number =       {02-03},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.}
}

Bibtex Entry

@TechReport{LutAreHorSat-LTCS-02-04,
  author =       {C. Lutz and C. Areces and I. Horrocks and U. Sattler},
  title =        {Keys, Nominals, and Concrete Domains},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2002,
  type =         {LTCS-Report},
  number =       {LTCS-02-04},
  address =      {Germany},
  note =         {See http://lat.inf.tu-dresden.de/research/reports.html.}
}

Bibtex Entry

@TechReport{LutzSattlerTendera-LTCS-02-05,
  author =       {C. Lutz and U. Sattler and L. Tendera},
  title =        {The Complexity of Finite Model Reasoning in Description Logics},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2002,
  type =         {LTCS-Report},
  number =       {LTCS-02-05},
  address =      {Germany},
  note =         {See http://lat.inf.tu-dresden.de/research/reports.html.}
}

Bibtex Entry

@TechReport{HorrocksSattler-LTCS-02-06,
  author = 	 {I. Horrocks and U. Sattler},
  title = 	 {Decidability of {SHIQ} with Complex Role Inclusion Axioms},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year = 	 2002,
  type =	 {LTCS-Report},
  number =	 {LTCS-02-06},
  address =	 {Germany},
  note =	 {See
                  http://lat.inf.tu-dresden.de/research/reports.html.}
}

Bibtex Entry

@TechReport{Baader-LTCS-02-07,
  author =       {F.~Baader},
  title =        {Least Common Subsumers, Most Specific Concepts, 
                  and Role-Value-Maps in a Description Logic with 
                  Existential Restrictions and Terminological Cycles},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2002,
  type =         {LTCS-Report},
  number =       {LTCS-02-07},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.}
}