liu.seSök publikationer i DiVA
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Completing the Is-a Structure in Description Logics Ontologies
Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan. (The Database and Web Information Systems Group)
2014 (Engelska)Licentiatavhandling, monografi (Övrigt vetenskapligt)
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.

Ort, förlag, år, upplaga, sidor
Linköping: Linköping University Electronic Press, 2014. , 88 s.
Serie
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 1683
Nyckelord [en]
Knowledge representation, ontology, ontology engineering, ontology debugging, description logics
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:liu:diva-110935DOI: 10.3384/lic.diva-111654ISBN: 978-91-7519-201-7 (tryckt)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 (Engelska)
Opponent
Handledare
Forskningsfinansiär
Swedish e‐Science Research CenterVetenskapsrådet
Tillgänglig från: 2014-10-28 Skapad: 2014-09-30 Senast uppdaterad: 2017-08-15Bibliografiskt granskad

Open Access i DiVA

Completing the Is-a Structure in Description Logics Ontologies(1721 kB)316 nedladdningar
Filinformation
Filnamn FULLTEXT02.pdfFilstorlek 1721 kBChecksumma SHA-512
4e6f997e27d7239aa7ac1e999c00ebc6bcf0e14de4298effb94f7a15ca65b9a8cb8daffe9055f2824cab1cb86357e1c501966f0d2be71eb2eb686a7207cc929c
Typ fulltextMimetyp application/pdf
cover(50 kB)11 nedladdningar
Filinformation
Filnamn COVER01.pdfFilstorlek 50 kBChecksumma SHA-512
c90b2e91f224725f0928997f1ef14f0aaf17414b86e6a42572e453d2a0346b5ba57e194f5e58558fe6017588c6e6efb7fc3f0317cf0db525aecd80d7fbb192f6
Typ coverMimetyp application/pdf

Övriga länkar

Förlagets fulltext

Sök vidare i DiVA

Av författaren/redaktören
Dragisic, Zlatan
Av organisationen
Databas och informationsteknikTekniska högskolan
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 319 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

Altmetricpoäng

Totalt: 691 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf