Technical Reports

1999

Bibtex Entry

@TechReport{Lutz-LTCS-99-01,
  author =       {Lutz, C.},
  title =        {The Complexity of Reasoning with Concrete Domains (Revised Version)},   
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year =         1999,
  type =         {LTCS-Report},  
  number =       {LTCS-99-01},
  address =      {Germany},
  note =         {See http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html.}
}

Bibtex Entry

@TechReport{Hacid-Rigotti-LTCS-99,
author =     {M.-S. ~Hacid and C.~Rigotti},
title =      {{R}epresenting and {R}easoning on {C}onceptual {Q}ueries {O}ver {I}mage {D}atabases},
institution =  {LuFg Theoretical Computer Science, RWTH Aachen},
year =       1999,
type =       {LTCS-Report},
address =      {Germany},
number =     {LTCS-99-02},
note =         {See http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html}
}

Bibtex Entry

@techreport{Decleir-Hacid-Kouloumdjian-LTCS-99,
   author = {C. Decleir and M.-S. Hacid and J. Kouloumdjian},
   address = {Germany},
   institution = {LuFg Theoretical Computer Science, RWTH Aachen},
   note = {See http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html},
   number = {LTCS-99-03},
   title = {{A} {D}atabase {A}pproach for {M}odeling and {Q}uerying {V}ideo {D}ata},
   type = {LTCS-Report},
   year = {1999}
}

Bibtex Entry

@TechReport{Lutz-LTCS-99-04,
  author =       {Lutz, C.},
  title =        {On the Complexity of Terminological Reasoning},   
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year =         1999,
  type =         {LTCS-Report},  
  number =       {LTCS-99-04},
  address =      {Germany},
  note =         {This report is superceded by the LTCS-00-01 technical report and my LPAR'99 paper.}
}

Bibtex Entry

@TechReport{Tobies-LTCS-99-05,
  author =       {S. Tobies},
  title =        {A NEXPTIME-complete Description Logic  Strictly Contained in C^2},
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year =         1999,
  type =         {LTCS-Report},  
  number =       {LTCS-99-05},
  address =      {Germany},
  note =         {An abriged version appeared at CSL-99.},
  keywords =     { Description Logic, Counting, Complexity, Expressivity }
}

Bibtex Entry

@TechReport{BaaderMolitor-LTCS-99-06,
  author = 	 {F.~Baader and R.~Molitor},
  title = 	 {Rewriting Concepts using Terminologies},
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  type =         {LTCS-Report},
  number =       {LTCS-99-06},
  address =      {Germany},
  year = 	 {1999},
  issuedate =    {August 1999},
  note =         {See
                  http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html}
}

Bibtex Entry

@TechReport{BaaderKuesters-LTCS-99-07-1999,
  author = 	 {F. Baader and R. K{\"u}sters},
  title = 	 {Matching in Description Logics with Existential Restrictions}, 
  institution =  {LuFg Theoretical Computer Science, RWTH Aachen},
  year = 	 1999,
  type =         {LTCS-Report},
  number =	 {LTCS-99-07},
  address =	 {Germany},
  note =         {See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html}
}

Bibtex Entry

@TechReport{HoSatTob-LTCS-99-08,
  author = 	 {I. Horrocks and U. Sattler and S. Tobies},
  title = 	 {A Description Logic with Transitive and Converse Roles, Role
Hierarchies and Qualifying Number Restrictions},
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year = 	 1999,
 type           = {LTCS-Report},
  number =	 {LTCS-99-08},
  issuedate =    { February 2, 1999},
  note = {Revised version. See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html},
  keywords = { Description Logic, Transitive Roles, Decision Procedure, Abox }
}

Bibtex Entry

@TechReport{Tobies-LTCS-99-09,
  author =       {S. Tobies},
  title =        {A {PSpace}-algorithm for {ALCQI}-satisfiability},
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year =         1999,
  type =         {LTCS-Report},  
  number =       {LTCS-99-09},
  address =      {Germany},
  note =         {See http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html.},
  keywords =     {Description Logic, Modal Logic, Complexity, Decision Procedure, Counting }
}

Bibtex Entry

@TechReport{Tobies-LTCS-99-11,
  author =       {S. Tobies},
  title =        {{PSpace} Reasoning for {DLs} with Qualifying Number Restrictions},
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year =         1999,
  type =         {LTCS-Report},  
  number =       {LTCS-99-11},
  address =      {Germany},
  note =         {See http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html.},
  keywords =     { Description Logic, Graded Modal Logic, Complexity, Decision Procedure, Counting }
}

Bibtex Entry

@TechReport{BaaderKuestersMolitor-LTCS-99-12,
  author = 	 {F.~Baader and R.~K{\"u}sters and R.~Molitor},
  title = 	 {Rewriting Concepts Using Terminologies -- Revisited},   
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year = 	 1999,
  type =         {LTCS-Report},  
  number =	 {99-12},
  address =	 {Germany},
  note =	 {Please refer to the revised version LTCS-Report 00-04.}
}

Bibtex Entry

@TechReport{BaaderKuesters-LTCS-99-13-1999,
  author =       {F.~Baader and R.~K{\"u}sters},
  title =        {Matching Concept Descriptions with Existential Restrictions Revisited},   
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year =         1999,
  type =         {LTCS-Report},  
  number =       {LTCS-99-13},
  address =      {Germany},
  note =         {See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.}
}

Bibtex Entry

@TechReport{HorrocksTobies-LTCS-99-14,
  author = 	 {I. Horrocks and S. Tobies},
  title = 	 {Optimisation of Terminological Reasoning},
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year = 	 1999,
 type           = {LTCS-Report},
  number =	 {LTCS-99-14},
  note = {See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html},
  keywords = { Modal Logic, Description Logic, Reasoning, Optimization }
}

Bibtex Entry

@TechReport{HorrocksSattler+-LTCS-99-15,
  author =       {I. Horrocks and U. Sattler and S. Tessaris and S. Tobies},
  title =        {Query Containment Using a {DLR} {ABox}},
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year =         1999,
  type =         {LTCS-Report},  
  number =       {LTCS-99-15},
  address =      {Germany},
  note =         {See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.}
}