@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}}