Speeding up Approximation with Nicer Concepts

From International Center for Computational Logic

Toggle side column

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
  • 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},
}