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
@inproceedings{Haarslev_Möller_Turhan_Wessel_1999, series={CEUR Workshop Proceedings}, title={On Terminological Default Reasoning about Spatial Information: Extended Abstract}, volume={22}, booktitle={Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999}, publisher={CEUR-WS.org}, author={Haarslev, Volker and Möller, Ralf and Turhan, Anni-Yasmin and Wessel, Michael}, editor={Lambrix, Patrick and Borgida, Alexander and Lenzerini, Maurizio and Möller, Ralf and Patel-Schneider, Peter F.}, year={1999}, collection={CEUR Workshop Proceedings} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 56577
@inproceedings{Haarslev_Möller_Turhan_1998, series={CEUR Workshop Proceedings}, title={Implementing an ALCRP(D) ABox Reasoner - Progress Report}, volume={11}, booktitle={Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998}, publisher={CEUR-WS.org}, author={Haarslev, Volker and Möller, Ralf and Turhan, Anni-Yasmin}, editor={Franconi, Enrico and Giacomo, Giuseppe De and MacGregor, Robert M. and Nutt, Werner and Welty, Christopher A.}, year={1998}, collection={CEUR Workshop Proceedings} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 56576
@inproceedings{Haarslev_Möller_Turhan_1998, series={CEUR Workshop Proceedings}, title={HAM-ALC}, volume={11}, booktitle={Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998}, publisher={CEUR-WS.org}, author={Haarslev, Volker and Möller, Ralf and Turhan, Anni-Yasmin}, editor={Franconi, Enrico and Giacomo, Giuseppe De and MacGregor, Robert M. and Nutt, Werner and Welty, Christopher A.}, year={1998}, collection={CEUR Workshop Proceedings} }
LibreCat