文章基本信息

标题：A Non-Standard Approach for the OWL Ontologies Checking and Reasoning
本地全文：下载
作者：Song, Yingjie ; Chen, Rong ; Liu, Yaqing 等
期刊名称：Journal of Computers
印刷版ISSN：1796-203X
出版年度：2012
卷号：7
期号：10
页码：2454-2461
DOI：10.4304/jcp.7.10.2454-2461
语种：English
出版社：Academy Publisher
摘要：The Semantic Web is the extension of the World Wide Web that enables people to share content beyond the boundaries of applications and websites. The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. In this paper, we propose a new algorithm combined with the software engineering techniques, such as Alloy modeling language and its reasoner Alloy Analyzer to provide checking and reasoning service for OWL ontologies. First of all, we use Jena to parse OWL ontology documents. Next, the intermediate results are used as the inputs of the algorithms to generate the Alloy model. Futher, with the assistance of Alloy Analyzer, the Alloy model is checked. Experimental results show that this method can be carried out large-scale ontology reasoning and complex-property reasoning which are different from traditional ontology reasoning. Furthermore, the results provide useful information to guide the ontology modification.
关键词：Ontology Reasoning;OWL; Alloy;Semantic Web