liu.seSearch for publications in DiVA
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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 (engelsk)Licentiatavhandling, monografi (Annet vitenskapelig)
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.

sted, utgiver, år, opplag, sider
Linköping: Linköping University Electronic Press, 2014. , 88 s.
Serie
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 1683
Emneord [en]
Knowledge representation, ontology, ontology engineering, ontology debugging, description logics
HSV kategori
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 (engelsk)
Opponent
Veileder
Forskningsfinansiär
Swedish e‐Science Research CenterSwedish Research Council
Tilgjengelig fra: 2014-10-28 Laget: 2014-09-30 Sist oppdatert: 2017-08-15bibliografisk kontrollert

Open Access i DiVA

Completing the Is-a Structure in Description Logics Ontologies(1721 kB)316 nedlastinger
Filinformasjon
Fil FULLTEXT02.pdfFilstørrelse 1721 kBChecksum SHA-512
4e6f997e27d7239aa7ac1e999c00ebc6bcf0e14de4298effb94f7a15ca65b9a8cb8daffe9055f2824cab1cb86357e1c501966f0d2be71eb2eb686a7207cc929c
Type fulltextMimetype application/pdf
cover(50 kB)11 nedlastinger
Filinformasjon
Fil COVER01.pdfFilstørrelse 50 kBChecksum SHA-512
c90b2e91f224725f0928997f1ef14f0aaf17414b86e6a42572e453d2a0346b5ba57e194f5e58558fe6017588c6e6efb7fc3f0317cf0db525aecd80d7fbb192f6
Type coverMimetype application/pdf

Andre lenker

Forlagets fulltekst

Søk i DiVA

Av forfatter/redaktør
Dragisic, Zlatan
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 319 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

Altmetric

Totalt: 691 treff
RefereraExporteraLink to record
Permanent link

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