1. ScholarBank@NUS
  2. 1. Staff
  3. Staff Publications
Please use this identifier to cite or link to this item: https://doi.org/10.1109/APSEC.2004.82
DC FieldValue
dc.titleReasoning about Semantic Web in Isabelle/HOL
dc.contributor.authorTang, Y.
dc.contributor.authorDong, J.S.
dc.contributor.authorSun, J.
dc.contributor.authorMahony, B.
dc.date.accessioned2013-07-04T07:56:01Z
dc.date.available2013-07-04T07:56:01Z
dc.date.issued2004
dc.identifier.citationTang, Y.,Dong, J.S.,Sun, J.,Mahony, B. (2004). Reasoning about Semantic Web in Isabelle/HOL. Proceedings - Asia-Pacific Software Engineering Conference, APSEC : 46-53. ScholarBank@NUS Repository. <a href="https://doi.org/10.1109/APSEC.2004.82" target="_blank">https://doi.org/10.1109/APSEC.2004.82</a>
dc.identifier.isbn0769522459
dc.identifier.issn15301362
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/40072
dc.description.abstractSemantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. To make Semantic Web services understandable for distributed agents, formal definitions of the ontologies and their consistencies are essential. However, the existing tools for reasoning about Semantic Web ontologies are still primitive. We believe that mature Software Engineering tools, such as theorem provers, can contribute to the reasoning phase. In this paper, we present an approach of encoding the Semantic Web ontology (DAML+OIL) into the generic theorem prover Isabelle/HOL for automatic reasoning. Furthermore, a translation tool was developed to transform Semantic Web ontologies into their extended Isabelle theories. With additional intermediate lemmas, Isabelle can be used to perform both subsumption (class) level and instantiation (instance) level reasoning of the Semantic Web ontologies. © 2004 IEEE.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1109/APSEC.2004.82
dc.sourceScopus
dc.subjectDAML+OIL
dc.subjectIsabelle/HOL
dc.subjectSemantic Web
dc.subjectTheorem proving
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.doi10.1109/APSEC.2004.82
dc.description.sourcetitleProceedings - Asia-Pacific Software Engineering Conference, APSEC
dc.description.page46-53
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

Google ScholarTM

Check

Altmetric


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