Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
103 Publications
1999 | Conference Paper | LibreCat-ID: 56575
On Terminological Default Reasoning about Spatial Information: Extended Abstract
V. Haarslev, R. Möller, A.-Y. Turhan, M. Wessel, in: P. Lambrix, A. Borgida, M. Lenzerini, R. Möller, P.F. Patel-Schneider (Eds.), Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999, CEUR-WS.org, 1999.
LibreCat
V. Haarslev, R. Möller, A.-Y. Turhan, M. Wessel, in: P. Lambrix, A. Borgida, M. Lenzerini, R. Möller, P.F. Patel-Schneider (Eds.), Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999, CEUR-WS.org, 1999.
1998 | Conference Paper | LibreCat-ID: 56577
Implementing an ALCRP(D) ABox Reasoner - Progress Report
V. Haarslev, R. Möller, A.-Y. Turhan, in: E. Franconi, G.D. Giacomo, R.M. MacGregor, W. Nutt, C.A. Welty (Eds.), Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, CEUR-WS.org, 1998.
LibreCat
V. Haarslev, R. Möller, A.-Y. Turhan, in: E. Franconi, G.D. Giacomo, R.M. MacGregor, W. Nutt, C.A. Welty (Eds.), Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, CEUR-WS.org, 1998.
1998 | Conference Paper | LibreCat-ID: 56576
HAM-ALC
V. Haarslev, R. Möller, A.-Y. Turhan, in: E. Franconi, G.D. Giacomo, R.M. MacGregor, W. Nutt, C.A. Welty (Eds.), Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, CEUR-WS.org, 1998.
LibreCat
V. Haarslev, R. Möller, A.-Y. Turhan, in: E. Franconi, G.D. Giacomo, R.M. MacGregor, W. Nutt, C.A. Welty (Eds.), Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, CEUR-WS.org, 1998.