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
- 1
- 2
- 3
- 4
- 5 (current)
2002 | Conference Paper | LibreCat-ID: 56570
Brandt, Sebastian, et al. “Approximation and Difference in Description Logics.” 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 et al., Morgan Kaufmann, 2002, pp. 203–214.
LibreCat
2001 | Conference Paper | LibreCat-ID: 56571
Haarslev, Volker, et al. “Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics.” Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, edited by Rajeev Goré et al., vol. 2083, Springer, 2001, pp. 61–75, doi: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.” Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, edited by Carole A. Goble et al., vol. 49, 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.” Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, edited by Carole A. Goble et al., vol. 49, 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.” Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000, edited by Franz Baader and Ulrike Sattler, vol. 33, CEUR-WS.org, 2000, pp. 247–256.
LibreCat
1999 | Conference Paper | LibreCat-ID: 56575
Haarslev, Volker, et al. “On Terminological Default Reasoning about Spatial Information: Extended Abstract.” Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999, edited by Patrick Lambrix et al., vol. 22, CEUR-WS.org, 1999.
LibreCat
1998 | Conference Paper | LibreCat-ID: 56577
Haarslev, Volker, et al. “Implementing an ALCRP(D) ABox Reasoner - Progress Report.” Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, edited by Enrico Franconi et al., vol. 11, CEUR-WS.org, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 56576
Haarslev, Volker, et al. “HAM-ALC.” Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, edited by Enrico Franconi et al., vol. 11, CEUR-WS.org, 1998.
LibreCat
- 1
- 2
- 3
- 4
- 5 (current)