Technical Reports

2007

Bibtex Entry

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

}

Bibtex Entry

@techreport{ Dist07,
    author =       {Franz Baader and Felix Distel},
    title =        {A finite basis for the set of {EL}-implications holding in a finite model},
    number =       {07-02},
    year =         {2007},
    institution =  {Inst.\ f\"ur Theoretische Informatik, TU Dresden},
    address =      {Dresden, Germany} 
}

Bibtex Entry

@TechReport{Sun-07-LTCS,
  author =       {Boontawee Suntisrivaraporn},
  title =        {Module Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2007,
  type =         {LTCS-Report},
  number =       {LTCS-07-03},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.},
}