JCP 2012 Vol.7(10): 2454-2461 ISSN: 1796-203X
doi: 10.4304/jcp.7.10.2454-2461
doi: 10.4304/jcp.7.10.2454-2461
A Non-Standard Approach for the OWL Ontologies Checking and Reasoning
Yingjie Song1, Rong Chen1, Yaqing Liu1, 2
1Dalian Maritime University, Dalian 116026, P.R. China
2Artificial Intelligence Key Laboratory of Sichuan Province, Zigong, China
Abstract—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.
Index Terms—Ontology Reasoning, OWL, Alloy, Semantic Web.
2Artificial Intelligence Key Laboratory of Sichuan Province, Zigong, China
Abstract—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.
Index Terms—Ontology Reasoning, OWL, Alloy, Semantic Web.
Cite: Yingjie Song, Rong Chen, Yaqing Liu, "A Non-Standard Approach for the OWL Ontologies Checking and Reasoning," Journal of Computers vol. 7, no. 10, pp. 2454-2461, 2012.
General Information
ISSN: 1796-203X
Abbreviated Title: J.Comput.
Frequency: Bimonthly
Abbreviated Title: J.Comput.
Frequency: Bimonthly
Editor-in-Chief: Prof. Liansheng Tan
Executive Editor: Ms. Nina Lee
Abstracting/ Indexing: DBLP, EBSCO, ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat,etc
E-mail: jcp@iap.org
-
Nov 14, 2019 News!
Vol 14, No 11 has been published with online version [Click]
-
Mar 20, 2020 News!
Vol 15, No 2 has been published with online version [Click]
-
Dec 16, 2019 News!
Vol 14, No 12 has been published with online version [Click]
-
Sep 16, 2019 News!
Vol 14, No 9 has been published with online version [Click]
-
Aug 16, 2019 News!
Vol 14, No 8 has been published with online version [Click]
- Read more>>