A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Non-standard Reasoning Services for the Verification of DAML+OIL Ontologies
[chapter]
2010
IFIP Advances in Information and Communication Technology
Ontology has a pivot role in the development of Semantic Web which provides the understanding of various domains that can be communicated between people and applications. Motivated by J. S. Dong's work, we propose a new approach to interpreting DAML+OIL in a lightweight modeling language for software design, Alloy, which is used to provide a nonstandard reasoning service for the verification of DAML+OIL ontologies. To do so, Jena is first used to parse ontology documents into classes,
doi:10.1007/978-3-642-16239-8_28
fatcat:f5ucqixjq5ddzmm64ku3wp6zmq