# Implementing Matching in ALN

##### Sebastian BrandtSebastian Brandt,  Hongkai LiuHongkai Liu
Sebastian Brandt, Hongkai Liu
Implementing Matching in ALN
Proceedings of the KI-2004 Workshop on Applications of Description Logics (KI-ADL'04), CEUR-WS, September 2004
• KurzfassungAbstract
Although matching in Description Logics (DLs) is theoretically well-investigated, an implementation of a matching algorithm exists only for the DL ALE. The present paper presents an implementation of an existing polynomial time matching algorithm for the DL ALN. Benchmarks using randomly generated matching problems indicate a relatively good performance even on large matching problems. Nevertheless, striking differences are revealed by direct comparison between the ALN- and the ALE-algorithm w.r.t. FL(-)-matching problems.
• Forschungsgruppe:Research Group: Automatentheorie
@inproceedings{ BrandtLiu-KIADL-04,
title = {Implementing Matching in {${\mathcal ALN}$}},