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.
Type de document :
Communication dans un congrès
Harris Papadopoulos; Andreas S. Andreou; Max Bramer. 6th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations (AIAI), Oct 2010, Larnaca, Cyprus. Springer, IFIP Advances in Information and Communication Technology, AICT-339, pp.203-210, 2010, Artificial Intelligence Applications and Innovations. 〈10.1007/978-3-642-16239-8_28〉
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01060669
Contributeur : Hal Ifip <>
Soumis le : vendredi 17 novembre 2017 - 15:53:27
Dernière modification le : lundi 18 décembre 2017 - 01:11:01
Document(s) archivé(s) le : dimanche 18 février 2018 - 17:06:39

Fichier

SongC10.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Yingjie Song, Rong Chen. Non-standard Reasoning Services for the Verification of DAML+OIL Ontologies. Harris Papadopoulos; Andreas S. Andreou; Max Bramer. 6th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations (AIAI), Oct 2010, Larnaca, Cyprus. Springer, IFIP Advances in Information and Communication Technology, AICT-339, pp.203-210, 2010, Artificial Intelligence Applications and Innovations. 〈10.1007/978-3-642-16239-8_28〉. 〈hal-01060669〉

Partager

Métriques

Consultations de la notice

71

Téléchargements de fichiers

9