Reasoning support for Semantic Web ontology family languages using Alloy

  title={Reasoning support for Semantic Web ontology family languages using Alloy},
  author={Hai H. Wang and Jin Song Dong and Jing Sun and Jun Sun},
  journal={Multiagent and Grid Systems},
Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Represen tatio and the Web communities. To realize this vision, a series of techniq ues has been proposed. Semantic Web Ontology Langauge (OWL) and its extension Sema ntic Web rule Language (SWRL) and Semantic Web Logic Language (SWRL-FOL) are some of the most important outputs from the SW activities. However t h existing reasoning and consistency checking tools for… CONTINUE READING
Highly Cited
This paper has 25 citations. REVIEW CITATIONS


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 21 references

Resource descript ion framework (rdf) model and syntax specification

  • O. Lassila, R. R. Swick editors
  • Feb,
  • 1999
Highly Influential
13 Excerpts

A combined appro ach to checking web ontologies

  • J. S. Dong, C. H .Lee, Y. F. Li, H. Wang
  • InThe 13th ACM International World Wide Web…
  • 2004
Highly Influential
10 Excerpts

Resource descripti on framework (rdf) schema specification

  • D. Brickley, R. V. Guha editors
  • 2000
Highly Influential
6 Excerpts

A Proposal for a SWRL Extension to First-Order Logic

  • P. F. Patel-Schneider, P. Hayes, I. Horrocks, F. Har melen
  • Availab le:,
  • 2004
2 Excerpts

OWL Web On tology Language Overview

  • Deborah L. McGuinness, Frank van Harmelen
  • eatures/,
  • 2004
2 Excerpts

Similar Papers

Loading similar papers…