Technical Reports

2004

Bibtex Entry

@TechReport{Morawska-LTCS-04-01,
  author =       {B.~Morawska},
  title =        {A nice Cycle Rule for Goal-Directed $E$-Unification},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2004,
  type =         {LTCS-Report},
  number =       {LTCS-04-01},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.}
}

Bibtex Entry

@TechReport{Baader-LTCS-04-02,
  author =       {F.~Baader},
  title =        {A Graph-Theoretic Generalization of the Least Common Subsumer
                 and the Most Specific Concept in the Description Logic EL},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2004,
  type =         {LTCS-Report},
  number =       {LTCS-04-02},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.}
}

Bibtex Entry

@TechReport{Brandt-LTCS-04-03,
  author =       {S.~Brandt},
  title =        {Reasoning in $\mathcal{ELH}$ w.r.t.\ 
  General Concept Inclusion Axioms},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2004,
  type =         {LTCS-Report},
  number =       {LTCS-04-03},
  address =      {Germany},
  note =         {See http://lat.inf.tu-dresden.de/research/reports.html.}
}

Bibtex Entry

@TechReport{Brandt-LTCS-04-04,
  author =       {S.~Brandt},
  title =        {Subsumption and Instance Problem in $\mathcal{ELH}$ w.r.t.\ 
  General TBoxes},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2004,
  type =         {LTCS-Report},
  number =       {LTCS-04-04},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.},
}

Bibtex Entry

@TechReport{LutzWolter-LTCS-04-05,
  author =       {C.~Lutz and F.~Wolter},
  title =        {Modal Logics of Topological Relations},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2004,
  type =         {LTCS-Report},
  number =       {LTCS-04-05},
  address =      {Germany},
  note =         {See http://lat.inf.tu-dresden.de/research/reports.html.}
}

Bibtex Entry

@TechReport{LutzMilicic-LTCS-04-06,
  author =       {C.~Lutz and M.~Milicic},
  title =        {Description Logics with Concrete Domains and Functional Dependencies},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2004,
  type =         {LTCS-Report},
  number =       {LTCS-04-06},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.}
}