Reasoning support for Semantic Web ontology family languages using Alloy
Hai H. Wang, Jin Song Dong, Jing Sun, Jun Sun · Multiagent and Grid Systems · 2006
Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. To realize this vision, a series of techniques has been proposed. Semantic Web Ont