Browse wiki

From International Center for Computational Logic
Concept approximation is an inference servConcept 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.</br>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.f this method for ALCN-ALEN-approximation.  +
Anni-Yasmin Turhan +  and Y. Bong +
@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},
}
Inproceedings  +
Proc. of the 2007 Description Logic Workshop (DL 2007)  +
TurBo-DL07.pdf  +
D. Calvanese and E. Franconi and V. Haarslev and D. Lembo and B. Motik and S. Tessaris and A.-Y. Turhan  +
Anni-Yasmin  +
Anni-Yasmin Turhan, Y. Bong<br/> '''Anni-Yasmin Turhan, Y. Bong<br/> '''[[LATPub347|<b>Speeding up Approximation with Nicer Concepts</b>]]''' <br/>__NOTOC__In D. Calvanese and E. Franconi and V. Haarslev and D. Lembo and B. Motik and S. Tessaris and A.-Y. Turhan, eds., <i>Proc. of the 2007 Description Logic Workshop (DL 2007)</i>, 2007<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub347|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:TurBo-DL07.pdf|Download]]dia:TurBo-DL07.pdf|Download]]  +
Anni-Yasmin Turhan, Y. Bong<br/> '''Anni-Yasmin Turhan, Y. Bong<br/> '''[[LATPub347/en|<b>Speeding up Approximation with Nicer Concepts</b>]]''' <br/>__NOTOC__In D. Calvanese and E. Franconi and V. Haarslev and D. Lembo and B. Motik and S. Tessaris and A.-Y. Turhan, eds., <i>Proc. of the 2007 Description Logic Workshop (DL 2007)</i>, 2007<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub347|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:TurBo-DL07.pdf|Download]]dia:TurBo-DL07.pdf|Download]]  +
Speeding up Approximation with Nicer Concepts  +
inproceedings  +
2007  +
Display title of"Display title of" is a predefined property that can assign a distinct display title to an entity and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
Speeding up Approximation with Nicer Concepts  +
Modification date"Zuletzt geändert <span style="font-size:small;">(Modification date)</span>" is a predefined property that corresponds to the date of the last modification of a subject and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
25. März 2015, 14:34:05  +
Has query"Hat Abfrage <span style="font-size:small;">(Has query)</span>" is a predefined property that represents meta information (in form of a <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">subobject</a>) about individual queries and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.