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.

98 Publications


2002 | Conference Paper | LibreCat-ID: 56570
Brandt, Sebastian, Ralf Küsters, and Anni-Yasmin Turhan. “Approximation and Difference in Description Logics.” In Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, 203–214. Morgan Kaufmann, 2002.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 56571
Haarslev, Volker, Ralf Möller, and Anni-Yasmin Turhan. “Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics.” In Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, edited by Rajeev Goré, Alexander Leitsch, and Tobias Nipkow, 2083:61–75. Lecture Notes in Computer Science. Springer, 2001. https://doi.org/10.1007/3-540-45744-5_6.
LibreCat | DOI
 

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
 

Filters and Search Terms

(person=104470)

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed