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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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.
Series
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
Identifiers
URN: urn:nbn:se:liu:diva-110935DOI: 10.3384/lic.diva-111654ISBN: 978-91-7519-201-7 (print)OAI: oai:DiVA.org:liu-110935DiVA: diva2:758740
Presentation
2014-12-01, Alan Turing, Hus E, Campus Valla, Linköpings universitet, Linköping, 13:15 (English)
Opponent
Supervisors
Funder
Swedish e‐Science Research CenterSwedish Research Council
Available from: 2014-10-28 Created: 2014-09-30 Last updated: 2017-08-15Bibliographically approved

Open Access in DiVA

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

Other links

Publisher's full text

Authority records BETA

Dragisic, Zlatan

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: 331 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

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 709 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf