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
Baader, Franz, and Anni-Yasmin Turhan. “TBoxes Do Not Yield a Compact Representation of Least Common Subsumers.” In Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, edited by Carole A. Goble, Deborah L. McGuinness, Ralf Möller, and Peter F. Patel-Schneider, Vol. 49. CEUR Workshop Proceedings. CEUR-WS.org, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 56573
Turhan, Anni-Yasmin, and Ralf Molitor. “Using Lazy Unfolding for the Computation of Least Common Subsumers.” In Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, edited by Carole A. Goble, Deborah L. McGuinness, Ralf Möller, and Peter F. Patel-Schneider, Vol. 49. CEUR Workshop Proceedings. CEUR-WS.org, 2001.
LibreCat
2000 | Conference Paper | LibreCat-ID: 56574
Turhan, Anni-Yasmin, and Volker Haarslev. “Adapting Optimization Techniques to Description Logics with Concrete Domains.” In Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000, edited by Franz Baader and Ulrike Sattler, 33:247–256. CEUR Workshop Proceedings. CEUR-WS.org, 2000.
LibreCat
1999 | Conference Paper | LibreCat-ID: 56575
Haarslev, Volker, Ralf Möller, Anni-Yasmin Turhan, and Michael 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, edited by Patrick Lambrix, Alexander Borgida, Maurizio Lenzerini, Ralf Möller, and Peter F. Patel-Schneider, Vol. 22. CEUR Workshop Proceedings. CEUR-WS.org, 1999.
LibreCat
1998 | Conference Paper | LibreCat-ID: 56577
Haarslev, Volker, Ralf Möller, and Anni-Yasmin 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, edited by Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, and Christopher A. Welty, Vol. 11. CEUR Workshop Proceedings. CEUR-WS.org, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 56576
Haarslev, Volker, Ralf Möller, and Anni-Yasmin Turhan. “HAM-ALC.” In Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, edited by Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, and Christopher A. Welty, Vol. 11. CEUR Workshop Proceedings. CEUR-WS.org, 1998.
LibreCat