Technical Reports

2009

Bibtex Entry

@TechReport{LTCS-Report09-01,
  author =       {Conrad Drescher and Hongkai Liu and Franz Baader and Steffen Guhlemann and Uwe Petersohn and Peter Steinke and Michael Thielscher},
  title =        {Putting ABox Updates into Action},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2009,
  type =         {LTCS-Report},
  number =       {09-01},
  address =      {Germany},
  note =         {See http://lat.inf.tu-dresden.de/research/reports.html.},

}

Bibtex Entry

@TechReport{BaKP-LTCS-09,
  author =       {Franz Baader and Martin Knechtel and Rafael Pe{\~n}aloza},
  title =        {Computing Boundaries for Reasoning in Sub-Ontologies},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2009,
  type =         {LTCS-Report},
  number =       {09-02},
  address =      {Germany},
  note =         {See http://lat.inf.tu-dresden.de/research/reports.html.},

}

Bibtex Entry

@TechReport{BMLSW-LTCS-09-03,
  author =       {Franz Baader and Hongkai Liu and Anees ul Mehdi},
  title =        {{I}ntegrate {A}ction {F}ormalisms into {L}inear {T}emporal {D}escription {L}ogics},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2009,
  type =         {LTCS-Report},
  number =       {LTCS-09-03},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.}

}

Bibtex Entry

@TechReport{PeSe-LTCS-09-04,
  author =       {Rafael Pe{\~n}aloza and Bar\i{}\c{s} Sertkaya},
  title =        {On the Complexity of Axiom Pinpointing in Description Logics},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2009,
  type =         {LTCS-Report},
  number =       {09-04},
  address =      {Germany},
  note =         {See http://lat.inf.tu-dresden.de/research/reports.html.},

}