Technical Reports

1998

Bibtex Entry

@TechReport{TrespMolitor-LTCS-98-01,
  author = 	 {C.B.~Tresp and R.~Molitor},
  title = 	 {A Description Logic for Vague Knowledge},
  institution =  {LuFg Theoretical Computer Science, RWTH Aachen},
  type = 	 {LTCS-Report},
  number = 	 {LTCS-98-01},
  year = 	 {1998},
  address =      {Germany},
  issuedate =    {January 1998},
  note =         {See
                  http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html}}
 

Bibtex Entry

@TechReport{BaSat98,
  author = 	 {Baader, F. and Sattler, U.},
  title = 	 {Description Logics with Aggregates and Concrete Domains, Part II (extended)},
  institution =  {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
  year = 	 1998,
  type        = {LTCS-Report},
  number =	 {LTCS-98-02}
}

Bibtex Entry

@TechReport{Molitor-LTCS-98-03,
  author = 	 {R. Molitor},
  title = 	 {Structural {S}ubsumption for {$\cal A\!L\!N$}},
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen, Germany},
  year = 	 1998,
  type =         {LTCS-Report},
  number =       {LTCS-98-03}
}

Bibtex Entry

@TechReport{BaaderKuestersMolitor-LTCS-98-04,
  author = 	 {F. Baader and R. K{\"u}sters and R. Molitor},
  title = 	 {Structural Subsumption Considered from an Automata
                  Theoretic Point of View},
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year = 	 1998,
  type =         {LTCS-Report},
  number =       {LTCS-98-04},
  address =      {Germany},
  issuedate =    {June 1998},
  note =         {See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.} 
}

Bibtex Entry

@TechReport{HoSat98,
  author = 	 {Horrocks, I. and Sattler, U.},
  title = 	 {A Description Logic with Transitive and Converse Roles and Role Hierarchies},
  institution =  {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
  year = 	 1998,
 type           = {LTCS-Report},
  number =	 {LTCS-98-05}
}

Bibtex Entry

@TechReport{BaaderKuesters-LTCS-98-06-1998,
  author = 	 {F. Baader and R. K{\"u}sters},
  title = 	 {Computing the least common subsumer and the most specific concept
                  in the presence of cyclic ALN-concept descriptions}, 
  institution =  {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
  year = 	 1998,
  type =         {LTCS-Report},
  ccl =          {yes},
  number =	 {LTCS-98-06},
}

Bibtex Entry

@TECHREPORT{Baader-Narendran-LTCS-98,
 author         = {F. Baader and P. Narendran},
 title          = {Unification of Concept Terms in Description Logics: Revised Version},
 institution    = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
 year           = 1998,
 type           = {LTCS-Report},
 number         = {LTCS-98-07},
 ccl            = {yes}
}

Bibtex Entry

@TechReport{HoSatTob98,
  author = 	 {I. Horrocks and U. Sattler and S. Tobies},
  title = 	 {A PSpace-algorithm for deciding
ALCNI_{R^+}-satisfiability},
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year = 	 1998,
 type           = {LTCS-Report},
  number =	 {LTCS-98-08},
  issuedate =    { October 1, 1998},
  keywords =     { Description Logic, Complexity }
}

Bibtex Entry

@TechReport{BaaderKuesters+-LTCS-98-09,
  author = 	 {F.~Baader and R.~K{\"u}sters and R.~Molitor},
  title = 	 {Computing Least Common Subsumers in Description Logics with 
Existential Restrictions},   
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year = 	 1998,
  type =         {LTCS-Report},  
  number =	 {LTCS-98-09},
  address =	 {Germany},
  note =	 {See http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html.}
}

Bibtex Entry

@TechReport{Baader-Molitor-Tobies-LTCS-98a,
  author = 	 {F.~Baader and R.~Molitor and S.~Tobies},
  title = 	 {The Guarded Fragment of Conceptual Graphs},
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  year = 	 1998,
  type =	 {LTCS-Report},
  address =      {Germany},
  number =	 {LTCS-98-10},
  note =         {See http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html},
  keywords =     {Guarded Fragment, Conceptual Graphs},
  issuedate =    {November 10, 1998}
}

Bibtex Entry

@TechReport{BaaderMolitorTobies-LTCS-98-11,
  author = 	 {F.~Baader and R.~Molitor and S.~Tobies},
  title = 	 {On the Relation between Descripion Logics and Conceptual Graphs}, 
  institution =  {LuFG Theoretical Computer Science, RWTH Aachen},
  type =         {LTCS-Report},
  number =       {LTCS-98-11},
  year = 	 1998,
  address =	 {Germany},
  issuedate =    {June 1998},
  note =         {See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.}
}