2 Einträge gefunden

1. Exploiting pseudo models for TBox and ABox reasoning in expressive description logics

   1. Haarslev, V.
   2. Möller, R.
   3. Turhan, A.-Y.

   2001 - Forschungsinformationssystem der UHH
2. RACE User's Guide and Reference Manual Version 1.1

   1. Haarslev, V.
   2. Möller, R.
   3. Turhan, A.-Y.

   1999 - Forschungsinformationssystem der UHH