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 S, Küsters R, Turhan A-Y. Approximation and Difference in Description Logics. In: Fensel D, Giunchiglia F, McGuinness DL, Williams M-A, eds. Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002. Morgan Kaufmann; 2002:203–214.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 56571
Haarslev V, Möller R, Turhan A-Y. Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. In: Goré R, Leitsch A, Nipkow T, eds. Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings. Vol 2083. Lecture Notes in Computer Science. Springer; 2001:61–75. doi:10.1007/3-540-45744-5_6
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 56572
Baader F, Turhan A-Y. TBoxes do not Yield a Compact Representation of Least Common Subsumers. In: Goble CA, McGuinness DL, Möller R, Patel-Schneider PF, eds. Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001. Vol 49. CEUR Workshop Proceedings. CEUR-WS.org; 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 56573
Turhan A-Y, Molitor R. Using Lazy Unfolding for the Computation of Least Common Subsumers. In: Goble CA, McGuinness DL, Möller R, Patel-Schneider PF, eds. Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001. Vol 49. CEUR Workshop Proceedings. CEUR-WS.org; 2001.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 56574
Turhan A-Y, Haarslev V. Adapting Optimization Techniques to Description Logics with Concrete Domains. In: Baader F, Sattler U, eds. Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000. Vol 33. CEUR Workshop Proceedings. CEUR-WS.org; 2000:247–256.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 56575
Haarslev V, Möller R, Turhan A-Y, Wessel M. On Terminological Default Reasoning about Spatial Information: Extended Abstract. In: Lambrix P, Borgida A, Lenzerini M, Möller R, Patel-Schneider PF, eds. Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999. Vol 22. CEUR Workshop Proceedings. CEUR-WS.org; 1999.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 56577
Haarslev V, Möller R, Turhan A-Y. Implementing an ALCRP(D) ABox Reasoner - Progress Report. In: Franconi E, Giacomo GD, MacGregor RM, Nutt W, Welty CA, eds. Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998. Vol 11. CEUR Workshop Proceedings. CEUR-WS.org; 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 56576
Haarslev V, Möller R, Turhan A-Y. HAM-ALC. In: Franconi E, Giacomo GD, MacGregor RM, Nutt W, Welty CA, eds. Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998. Vol 11. CEUR Workshop Proceedings. CEUR-WS.org; 1998.
LibreCat
 

Filters and Search Terms

(person=104470)

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed