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
Haarslev V, Möller R, Turhan A-Y, Wessel M. On Terminological Default Reasoning about Spatial Information: Extended Abstract. In: Lambrix P, Borgida A, Lenzerini M, Möller R, Patel-Schneider PF, eds. Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999. Vol 22. CEUR Workshop Proceedings. CEUR-WS.org; 1999.
LibreCat
1998 | Conference Paper | LibreCat-ID: 56577
Haarslev V, Möller R, Turhan A-Y. Implementing an ALCRP(D) ABox Reasoner - Progress Report. In: Franconi E, Giacomo GD, MacGregor RM, Nutt W, Welty CA, eds. Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998. Vol 11. CEUR Workshop Proceedings. CEUR-WS.org; 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 56576
Haarslev V, Möller R, Turhan A-Y. HAM-ALC. In: Franconi E, Giacomo GD, MacGregor RM, Nutt W, Welty CA, eds. Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998. Vol 11. CEUR Workshop Proceedings. CEUR-WS.org; 1998.
LibreCat