Approximating ALCN-Concept Descriptions

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Approximating ALCN-Concept Descriptions

S. BrandtS. Brandt,  R. KüstersR. Küsters,  Anni-Yasmin TurhanAnni-Yasmin Turhan
S. Brandt, R. Küsters, Anni-Yasmin Turhan
Approximating ALCN-Concept Descriptions
Proceedings of the 2002 International Workshop on Description Logics, 2002
  • KurzfassungAbstract
    Approximating a concept, defined in one DL, means to translate this concept to another concept, defined in a second typically less expressive DL, such that both concepts are as closely related as possible with respect to subsumption. In a previous work, we have provided an algorithm for approximating ALC-concept descriptions by ALE-concept descriptions. In the present paper, motivated by an application in chemical process engineering, we extend this result by taking number restrictions into account.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ BrandtKuesters+DL02,
  author = {S. {Brandt} and R. {K\"usters} and A.-Y. {Turhan}},
  booktitle = {Proceedings of the 2002 International Workshop on Description Logics},
  title = {Approximating $\cal{ALCN}$-Concept Descriptions},
  year = {2002},
}