Please use this identifier to cite or link to this item: https://scholarbank.nus.edu.sg/handle/10635/13963
DC FieldValue
dc.titleReasoning about semantic web in isabelle/HOL
dc.contributor.authorTANG YUE
dc.date.accessioned2010-04-08T10:38:31Z
dc.date.available2010-04-08T10:38:31Z
dc.date.issued2004-06-19
dc.identifier.citationTANG YUE (2004-06-19). Reasoning about semantic web in isabelle/HOL. ScholarBank@NUS Repository.
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/13963
dc.description.abstractThe Semantic Web approach proposed by W3C is regarded as the next generation of Web. It extends the current web by providing meaningful information and makes it easier for computers and people to work in cooperation. The consistency of the Semantic Web ontology is very important. However, the existing tools for reasoning about SW ontology are still primitive. We believe that mature theorem proving tools, such as Isabelle, can contribute to the reasoning phase. In order to make use of Isabelle, SW ontology in DAML+OIL language is encoded into Isabelle logic definitions (in Isar). After the encoding, some useful Isabelle lemmas are provided for further supporting. At the next step a program is developed to transform SW ontology into the encoded Isabelle logics. With some intermediate lemmas we can use Isabelle to prove the consistency of the SW ontology in both class level and instance level.
dc.language.isoen
dc.subjectSemantic Web, DAML+OIL, Isabelle
dc.typeThesis
dc.contributor.departmentCOMPUTER SCIENCE
dc.contributor.supervisorDONG JIN SONG
dc.description.degreeMaster's
dc.description.degreeconferredMASTER OF SCIENCE
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Master's Theses (Open)

Show simple item record
Files in This Item:
File Description SizeFormatAccess SettingsVersion 
thesis.pdf264.14 kBAdobe PDF

OPEN

NoneView/Download

Page view(s)

213
checked on May 23, 2019

Download(s)

197
checked on May 23, 2019

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.