Speeding up Approximation with Nicer Concepts
Aus International Center for Computational Logic
Speeding up Approximation with Nicer Concepts
Anni-Yasmin TurhanAnni-Yasmin Turhan, Y. BongY. Bong
Anni-Yasmin Turhan, Y. Bong
Speeding up Approximation with Nicer Concepts
In D. Calvanese and E. Franconi and V. Haarslev and D. Lembo and B. Motik and S. Tessaris and A.-Y. Turhan, eds., Proc. of the 2007 Description Logic Workshop (DL 2007), 2007
Speeding up Approximation with Nicer Concepts
In D. Calvanese and E. Franconi and V. Haarslev and D. Lembo and B. Motik and S. Tessaris and A.-Y. Turhan, eds., Proc. of the 2007 Description Logic Workshop (DL 2007), 2007
- KurzfassungAbstract
Concept approximation is an inference service for Description Logics that provides ``translations of concept descriptions from one DL to a less expressive DL. In [4] a method for optimizing the computation of ALC-ALE-approximations of ALC-concept descriptions was introduced. The idea is to characterize a certain class of concept descriptions for which conjuncts can be approximated independently. In this paper we provide relaxed conditions for this class of ALC-concept descriptions, extend this notion to number restrictions and report on a first implementation of this method for ALCN-ALEN-approximation. - Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ TurBo-DL07,
author = {A.-Y. {Turhan} and Y. {Bong}},
booktitle = {Proc.\ of the 2007 Description Logic Workshop (DL 2007)},
editor = {D. {Calvanese} and E. {Franconi} and V. {Haarslev} and D. {Lembo} and B. {Motik} and S. {Tessaris} and A.-Y. {Turhan}},
title = {Speeding up Approximation with Nicer Concepts},
year = {2007},
}