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
V. Haarslev, R. Möller, A.-Y. Turhan, and M. Wessel, “On Terminological Default Reasoning about Spatial Information: Extended Abstract,” in Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999, 1999, vol. 22.
LibreCat
1998 | Conference Paper | LibreCat-ID: 56577
V. Haarslev, R. Möller, and A.-Y. Turhan, “Implementing an ALCRP(D) ABox Reasoner - Progress Report,” in Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, 1998, vol. 11.
LibreCat
1998 | Conference Paper | LibreCat-ID: 56576
V. Haarslev, R. Möller, and A.-Y. Turhan, “HAM-ALC,” in Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, 1998, vol. 11.
LibreCat