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
TBoxes do not Yield a Compact Representation of Least Common Subsumers
F. Baader, A.-Y. Turhan, in: C.A. Goble, D.L. McGuinness, R. Möller, P.F. Patel-Schneider (Eds.), Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, CEUR-WS.org, 2001.
LibreCat
F. Baader, A.-Y. Turhan, in: C.A. Goble, D.L. McGuinness, R. Möller, P.F. Patel-Schneider (Eds.), Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, CEUR-WS.org, 2001.
2001 | Conference Paper | LibreCat-ID: 56573
Using Lazy Unfolding for the Computation of Least Common Subsumers
A.-Y. Turhan, R. Molitor, in: C.A. Goble, D.L. McGuinness, R. Möller, P.F. Patel-Schneider (Eds.), Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, CEUR-WS.org, 2001.
LibreCat
A.-Y. Turhan, R. Molitor, in: C.A. Goble, D.L. McGuinness, R. Möller, P.F. Patel-Schneider (Eds.), Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, CEUR-WS.org, 2001.
2000 | Conference Paper | LibreCat-ID: 56574
Adapting Optimization Techniques to Description Logics with Concrete Domains
A.-Y. Turhan, V. Haarslev, in: F. Baader, U. Sattler (Eds.), Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000, CEUR-WS.org, 2000, pp. 247–256.
LibreCat
A.-Y. Turhan, V. Haarslev, in: F. Baader, U. Sattler (Eds.), Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000, CEUR-WS.org, 2000, pp. 247–256.
1999 | Conference Paper | LibreCat-ID: 56575
On Terminological Default Reasoning about Spatial Information: Extended Abstract
V. Haarslev, R. Möller, A.-Y. Turhan, M. Wessel, in: P. Lambrix, A. Borgida, M. Lenzerini, R. Möller, P.F. Patel-Schneider (Eds.), Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999, CEUR-WS.org, 1999.
LibreCat
V. Haarslev, R. Möller, A.-Y. Turhan, M. Wessel, in: P. Lambrix, A. Borgida, M. Lenzerini, R. Möller, P.F. Patel-Schneider (Eds.), Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999, CEUR-WS.org, 1999.
1998 | Conference Paper | LibreCat-ID: 56577
Implementing an ALCRP(D) ABox Reasoner - Progress Report
V. Haarslev, R. Möller, A.-Y. Turhan, in: E. Franconi, G.D. Giacomo, R.M. MacGregor, W. Nutt, C.A. Welty (Eds.), Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, CEUR-WS.org, 1998.
LibreCat
V. Haarslev, R. Möller, A.-Y. Turhan, in: E. Franconi, G.D. Giacomo, R.M. MacGregor, W. Nutt, C.A. Welty (Eds.), Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, CEUR-WS.org, 1998.
1998 | Conference Paper | LibreCat-ID: 56576
HAM-ALC
V. Haarslev, R. Möller, A.-Y. Turhan, in: E. Franconi, G.D. Giacomo, R.M. MacGregor, W. Nutt, C.A. Welty (Eds.), Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, CEUR-WS.org, 1998.
LibreCat
V. Haarslev, R. Möller, A.-Y. Turhan, in: E. Franconi, G.D. Giacomo, R.M. MacGregor, W. Nutt, C.A. Welty (Eds.), Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, CEUR-WS.org, 1998.