Speeding up Approximation with Nicer Concepts

A.-Y. TurhanA.-Y. Turhan, Y. BongY. Bong

Download

A.-Y. 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

Details
Bibtex

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