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.
106 Publications
2001 | Conference Paper | LibreCat-ID: 56572
@inproceedings{Baader_Turhan_2001, series={CEUR Workshop Proceedings}, title={TBoxes do not Yield a Compact Representation of Least Common Subsumers}, volume={49}, booktitle={Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001}, publisher={CEUR-WS.org}, author={Baader, Franz and Turhan, Anni-Yasmin}, editor={Goble, Carole A. and McGuinness, Deborah L. and Möller, Ralf and Patel-Schneider, Peter F.}, year={2001}, collection={CEUR Workshop Proceedings} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 56573
@inproceedings{Turhan_Molitor_2001, series={CEUR Workshop Proceedings}, title={Using Lazy Unfolding for the Computation of Least Common Subsumers}, volume={49}, booktitle={Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001}, publisher={CEUR-WS.org}, author={Turhan, Anni-Yasmin and Molitor, Ralf}, editor={Goble, Carole A. and McGuinness, Deborah L. and Möller, Ralf and Patel-Schneider, Peter F.}, year={2001}, collection={CEUR Workshop Proceedings} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 56574
@inproceedings{Turhan_Haarslev_2000, series={CEUR Workshop Proceedings}, title={Adapting Optimization Techniques to Description Logics with Concrete Domains}, volume={33}, booktitle={Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000}, publisher={CEUR-WS.org}, author={Turhan, Anni-Yasmin and Haarslev, Volker}, editor={Baader, Franz and Sattler, Ulrike}, year={2000}, pages={247–256}, collection={CEUR Workshop Proceedings} }
LibreCat
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