liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Completing the Is-a Structure in Description Logics Ontologies
Linköping University, Department of Computer and Information Science, Database and information techniques. Linköping University, The Institute of Technology. (The Database and Web Information Systems Group)
2014 (English)Licentiate thesis, monograph (Other academic)
Abstract [en]

The World Wide Web contains large amounts of data and in most cases this data is without any explicit structure. The lack of structure makes it difficult for automated agents to understand and use such data. A step towards a more structured World Wide Web is the idea of the Semantic Web which aims at introducing semantics to data on the World Wide Web. One of the key technologies in this endeavour are ontologies which provide means for modeling a domain of interest.

Developing and maintaining ontologies is not an easy task and it is often the case that defects are introduced into ontologies. This can be a problem for semantically-enabled applications such as ontology-based querying. Defects in ontologies directly influence the quality of the results of such applications as correct results can be missed and wrong results can be returned.

This thesis considers one type of defects in ontologies, namely the problem of completing the is-a structure in ontologies represented in description logics. We focus on two variants of description logics, the EL family and ALC, which are often used in practice.

The contributions of this thesis are as follows. First, we formalize the problem of completing the is-a structure as a generalized TBox abduction problem (GTAP) which is a new type of abduction problem in description logics. Next, we provide algorithms for solving GTAP in the EL family and ALC description logics. Finally, we describe two implemented systems based on the introduced algorithms. The systems were evaluated in two experiments which have shown the usefulness of our approach. For example, in one experiment using ontologies from the Ontology Alignment Evaluation Initiative 58 and 94 detected missing is-a relations were repaired by adding 54 and 101 is-a relations, respectively, introducing new knowledge to the ontologies.

Place, publisher, year, edition, pages
Linköping: Linköping University Electronic Press, 2014. , 88 p.
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 1683
Keyword [en]
Knowledge representation, ontology, ontology engineering, ontology debugging, description logics
National Category
Computer Science
URN: urn:nbn:se:liu:diva-110935DOI: 10.3384/lic.diva-111654ISBN: 978-91-7519-201-7 (print)OAI: diva2:758740
2014-12-01, Alan Turing, Hus E, Campus Valla, Linköpings universitet, Linköping, 13:15 (English)
Swedish e‐Science Research CenterSwedish Research Council
Available from: 2014-10-28 Created: 2014-09-30 Last updated: 2015-02-18Bibliographically approved

Open Access in DiVA

Completing the Is-a Structure in Description Logics Ontologies(1721 kB)241 downloads
File information
File name FULLTEXT02.pdfFile size 1721 kBChecksum SHA-512
Type fulltextMimetype application/pdf
cover(50 kB)4 downloads
File information
File name COVER01.pdfFile size 50 kBChecksum SHA-512
Type coverMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Dragisic, Zlatan
By organisation
Database and information techniquesThe Institute of Technology
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 244 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 544 hits
ReferencesLink to record
Permanent link

Direct link