Please use this identifier to cite or link to this item:
Title: Reasoning about Semantic Web in Isabelle/HOL
Authors: Tang, Y. 
Dong, J.S.
Sun, J.
Mahony, B.
Keywords: DAML+OIL
Semantic Web
Theorem proving
Issue Date: 2004
Source: Tang, 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.
Abstract: Semantic 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.
Source Title: Proceedings - Asia-Pacific Software Engineering Conference, APSEC
ISBN: 0769522459
ISSN: 15301362
DOI: 10.1109/APSEC.2004.82
Appears in Collections:Staff Publications

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


checked on Dec 13, 2017

Page view(s)

checked on Dec 16, 2017

Google ScholarTM



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