Non-standard Reasoning Services for the Verification of DAML+OIL Ontologies - Artificial Intelligence Applications and Innovations Access content directly
Conference Papers Year : 2010

Non-standard Reasoning Services for the Verification of DAML+OIL Ontologies

Abstract

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 non-standard reasoning service for the verification of DAML+OIL ontologies. To do so, Jena is first used to parse ontology documents into classes, properties and statements, next we use algorithms to translate them into Alloy model, the Alloy Analyzer is then used to check and reason about such model. The experiments show that our method greatly improves J. S. Dong's work, and distinguishes from the traditional ontology reasoners in property checking and reasoning.
Fichier principal
Vignette du fichier
SongC10.pdf (171.12 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01060669 , version 1 (17-11-2017)

Licence

Attribution

Identifiers

Cite

Yingjie Song, Rong Chen. Non-standard Reasoning Services for the Verification of DAML+OIL Ontologies. 6th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations (AIAI), Oct 2010, Larnaca, Cyprus. pp.203-210, ⟨10.1007/978-3-642-16239-8_28⟩. ⟨hal-01060669⟩
68 View
112 Download

Altmetric

Share

Gmail Facebook X LinkedIn More