Technical Reports

2006

Bibtex Entry

@TechReport{BaaderOkhotin-LTCS-06-01,
  author =       {Franz Baader and Alexander Okhotin},
  title =        {On Language Equations with One-sided Concatenation},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2006,
  type =         {LTCS-Report},
  number =       {LTCS-06-01},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.},

}

Bibtex Entry

@TechReport{BGSS-LTCS-06-02,
  author = {Franz Baader and Bernhard Ganter and Ulrike Sattler and Baris Sertkaya},
  title = {Completing Description Logic Knowledge Bases using Formal
           Concept Analysis},
  institution = {Chair for Automata Theory, Institute for Theoretical
                 Computer Science, Dresden University of Technology},
  year = 2006,
  type = {LTCS-Report},
  number = {LTCS-06-02},
  address = {Germany},
  note = {See
          http://lat.inf.tu-dresden.de/research/reports.html.},
}

Bibtex Entry

@TechReport{LiLuMiWo-LTCS-06-03,
  author =       {H.~Liu and C.~Lutz and M.~Milicic and F.~Wolter},
  title =        {Description Logic Actions with general {T}{B}oxes: a Pragmatic Approach},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2006,
  type =         {LTCS-Report},
  number =       {LTCS-06-03},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.}

}

Bibtex Entry

@TechReport{BaaHlaPen-LTCS-06,
  author = 	 {F. Baader and J. Hladik and R. Penaloza},
  title = 	 {{PSPACE} Automata with Blocking for Description Logics}, 
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year = 	 2006,
  type =	 {LTCS-Report},
  number =	 {LTCS-06-04},
  address =	 {Germany},
  note =	 {See http://lat.inf.tu-dresden.de/research/reports.html.}
}

Bibtex Entry

@TechReport{Penaloza-LTCS-06-05,
  author =       {Rafael Penaloza},
  title =        {Pinpointing in Tableaus},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2006,
  type =         {LTCS-Report},
  number =       {LTCS-06-05},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.},
}