A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A Non-Standard Approach for the OWL Ontologies Checking and Reasoning
2012
Journal of Computers
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
doi:10.4304/jcp.7.10.2454-2461
fatcat:7uj5gqxtlzd75ma7rvri7lst3u