dc.contributor.author | Wang, Zhe | |
dc.contributor.author | Wang, Kewen | |
dc.contributor.author | Topor, Rodney | |
dc.contributor.author | Pan, Jeff Z | |
dc.contributor.editor | Bechhofer, S | |
dc.contributor.editor | Hauswirth, M | |
dc.contributor.editor | Hoffmann, J | |
dc.contributor.editor | Koubarakis, M | |
dc.date.accessioned | 2017-05-03T14:10:57Z | |
dc.date.available | 2017-05-03T14:10:57Z | |
dc.date.issued | 2008 | |
dc.date.modified | 2009-08-06T06:07:43Z | |
dc.identifier.isbn | 978-3-540-68233-2 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.refuri | http://www.informatik.uni-trier.de/~ley/db/conf/esws/eswc2008.html#WangWTP08 | |
dc.identifier.doi | 10.1007/978-3-540-68234-9_20 | |
dc.identifier.uri | http://hdl.handle.net/10072/25034 | |
dc.description.abstract | To support the reuse and combination of ontologies in Semantic Web applications, it is often necessary to obtain smaller ontologies from existing larger ontologies. In particular, applications may require the omission of many terms, e.g., concept names and role names, from an ontology. However, the task of omitting terms from an ontology is challenging because the omission of some terms may affect the relationships between the remaining terms in complex ways. We present the first solution to this problem by adapting the technique of forgetting, previously used in other domains. Specifically, we present a semantic definition of forgetting for description logics in general, which generalizes the standard definition for classical logic. We then introduce algorithms that implement forgetting in both DL-Lite TBoxes and ABoxes, and in DL-Lite knowledge bases. We prove that the algorithms are correct with respect to the semantic definition of forgetting, and that they run in polynomial time. | |
dc.description.peerreviewed | Yes | |
dc.description.publicationstatus | Yes | |
dc.format.extent | 192165 bytes | |
dc.format.mimetype | application/pdf | |
dc.language | English | |
dc.language.iso | eng | |
dc.publisher | Springer | |
dc.publisher.place | Germany | |
dc.publisher.uri | http://www.informatik.uni-trier.de/~ley/db/conf/esws/index.html | |
dc.relation.ispartofstudentpublication | Y | |
dc.relation.ispartofconferencename | 5th European Semantic Web Conference | |
dc.relation.ispartofconferencetitle | SEMANTIC WEB: RESEARCH AND APPLICATIONS, PROCEEDINGS | |
dc.relation.ispartofdatefrom | 2008-06-01 | |
dc.relation.ispartofdateto | 2008-06-01 | |
dc.relation.ispartoflocation | Tenerife, SPAIN | |
dc.relation.ispartofpagefrom | 245 | |
dc.relation.ispartofpagefrom | 3 pages | |
dc.relation.ispartofpageto | + | |
dc.relation.ispartofpageto | 3 pages | |
dc.relation.ispartofvolume | 5021 | |
dc.rights.retention | Y | |
dc.subject.fieldofresearch | Information and computing sciences | |
dc.subject.fieldofresearchcode | 46 | |
dc.title | Forgetting Concepts in DL-Lite | |
dc.type | Conference output | |
dc.type.description | E1 - Conferences | |
dc.type.code | E - Conference Publications | |
gro.faculty | Griffith Sciences, School of Information and Communication Technology | |
gro.rights.copyright | © 2008 Springer. The attached file is reproduced here in accordance with the copyright policy of the publisher. The original publication is available at www.springerlink.com | |
gro.date.issued | 2008 | |
gro.hasfulltext | Full Text | |
gro.griffith.author | Topor, Rodney W. | |
gro.griffith.author | Wang, Kewen | |
gro.griffith.author | Wang, Zhe | |