BibSonomy :: publication ::

tag user group author concept BibTeX key search:all search:eswc2008

The blue social bookmark and publication sharing system.

entry of eswc2008:

(0)

This publication has not been reviewed yet.

rating distribution

average user rating

The average rating is computed over all reviews. However, some of them may be invisible to you due to the visibility setting chosen by the reviewers.

(0.0 of 5.0 based on 0 reviews)

Restricting and forgetting in DL-Lite

by: Zhe Wang, Kewen Wang, Rodney Topor, and Jeff Z. Pan

In: Proceedings of the 5th European Semantic Web Conference Berlin, Heidelberg: Springer Verlag (June 2008) .

Resources (URL, PDF, PS...)

URL:	http://data.semanticweb.org/conference/eswc/2008/papers/56

Description logics form the foundation of ontologies used in the Semantic Web. To support reuse and integration of ontologies in Semantic Web applications, it is often necessary to restrict ontologies to a subset of their concepts and roles, or equivalently to forget a complementary subset of concepts and roles from the ontologies. We present the first detailed account of this problem for description logics, in particular for the DL-Lite family of description logics. Specifically, we present a semantic definition of forgetting that generalises the standard definition for classical logic. We introduce algorithms for forgetting concepts roles from both DL-Lite TBoxes and ABoxes. We prove the algorithms are sound and complete with respect to the semantics, and demonstrate how they can be used to speed-up query answering in DL-Lite knowledge bases.

BibTeX record

@inproceedings{wang2008restricting,
  abstract = {Description logics form the foundation of ontologies used in the Semantic Web.   To support reuse and integration of ontologies in Semantic Web applications, it is often necessary to restrict ontologies to a subset of their concepts and roles, or equivalently to forget a complementary subset of concepts and roles from the ontologies.  We present the first detailed account of this problem for description logics, in particular for the DL-Lite family of description logics.  Specifically, we present a semantic definition of forgetting that generalises the standard definition for classical logic.  We introduce algorithms for forgetting concepts roles from both DL-Lite TBoxes and ABoxes.  We prove the algorithms are sound and complete with respect to the semantics, and demonstrate how they can be used to speed-up query answering in DL-Lite knowledge bases.},
  added-at = {2008-05-28T14:49:54.000+0200},
  address = {Berlin, Heidelberg},
  author = {Wang, Zhe and Wang, Kewen and Topor, Rodney and Pan, Jeff Z.},
  biburl = {http://www.bibsonomy.org/bibtex/2dcf5b0c2917ad713144969a632ef1914/eswc2008},
  booktitle = {Proceedings of the 5th European Semantic Web Conference},
  editor = {Hauswirth, Manfred and Koubarakis, Manolis and Bechhofer, Sean},
  interhash = {790ffa272ed329115aafa3d88f44a2b9},
  intrahash = {dcf5b0c2917ad713144969a632ef1914},
  keywords = {dl-lite restricting ontology description forgetting logic formal-languages-2},
  month = {June},
  publisher = {Springer Verlag},
  series = {LNCS},
  timestamp = {2008-05-28T14:49:54.000+0200},
  title = {Restricting and forgetting in DL-Lite},
  url = {http://data.semanticweb.org/conference/eswc/2008/papers/56},
  year = 2008
}

Endnote record

%0 Conference Paper
%1 wang2008restricting
%A Wang, Zhe
%A Wang, Kewen
%A Topor, Rodney
%A Pan, Jeff Z.
%B Proceedings of the 5th European Semantic Web Conference
%C Berlin, Heidelberg
%D 2008
%E Hauswirth, Manfred
%E Koubarakis, Manolis
%E Bechhofer, Sean
%I Springer Verlag
%K 
%T Restricting and forgetting in DL-Lite
%U http://data.semanticweb.org/conference/eswc/2008/papers/56
%X Description logics form the foundation of ontologies used in the Semantic Web.   To support reuse and integration of ontologies in Semantic Web applications, it is often necessary to restrict ontologies to a subset of their concepts and roles, or equivalently to forget a complementary subset of concepts and roles from the ontologies.  We present the first detailed account of this problem for description logics, in particular for the DL-Lite family of description logics.  Specifically, we present a semantic definition of forgetting that generalises the standard definition for classical logic.  We introduce algorithms for forgetting concepts roles from both DL-Lite TBoxes and ABoxes.  We prove the algorithms are sound and complete with respect to the semantics, and demonstrate how they can be used to speed-up query answering in DL-Lite knowledge bases.

BibSonomy :: publication ::

Restricting and forgetting in DL-Lite

Resources (URL, PDF, PS...)

Abstract

BibTeX record

Endnote record