article

Reasoning support for Semantic Web ontology family languages using Alloy

Authors:

Jun SunAuthors Info & Claims

Multiagent and Grid Systems, Volume 2, Issue 4

Pages 455 - 471

Published: 01 July 2006 Publication History

Abstract

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 Ontology Langauge (OWL) and its extension Semantic Web rule Language (SWRL) and Semantic Web Logic Language (SWRL-FOL) are some of the most important outputs from the SW activities. However the existing reasoning and consistency checking tools for those languages are primitive. This paper proposes using the existing formal modelling tool, in particular Alloy, to provide an automatic reasoning service for the Semantic Web ontology family languages (OWL/SWRL/SWRL-FOL).

References

[1]

T. Berners-Lee, J. Hendler and O. Lassila, The Semantic Web, Scientific American, May 2001.

[2]

D. Brickley and R.V. Guha, (eds), Resource description framework (rdf) schema specification 1.0. http://www.w3.org/TR/2000/CR-rdf-schema- 20000327/, March, 2000.

[3]

J.S. Dong, C.H. Lee, Y.F. Li and H. Wang, A combined approach to checking web ontologies, in The 13th ACM International World Wide Web Conference (WWW'04), ACM Press, May 2004, 714-722.

[4]

J.S. Dong, C.H. Lee, Y.F. Li and H. Wang, Verifying DAML+OIL and Beyond in Z/EVES, in Proc. The 26th International Conference on Software Engineering (ICSE'04), Edinburgh, Scotland, May 2004, 201-210.

Digital Library

[5]

J.S. Dong, J. Sun, H. Wang, C.H. Lee and H.B. Lee, Analysing Web Ontology in Alloy: A Military Case Study, in Proc. 15th International Conference on Software Engineering and Knowledge Engineering: SEKE'2003, San Francisco, USA, July 2003, 542-546.

[6]

V. Haarslev and R. Möller, RACER system description, Lecture Notes in Computer Science 2083 (2001), 701-705.

Digital Library

[7]

V. Haarslev and R. Möller, Practical Reasoning in Racer with a Concrete Domain for Linear Inequations, in: Proceedings of the International Workshop on Description Logics (DL-2002), I. Horrocks and S. Tessaris, eds, Toulouse, France, April 2002, CEUR-WS.

[8]

I. Horrocks, The FaCT system, Tableaux'98, Lecture Notes in Computer Science 1397 (1998), 307-312.

Digital Library

[9]

I. Horrocks, P.F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof and M. Dean, SWRL: A Semantic Web Rule Language Combining OWL and RuleML. Available: http://www.daml.org/2003/11/swrl/, 2003.

[10]

I. Horrocks, P.F. Patel-Schneider and F. van Harmelen, From SHIQ and RDF to OWL: The making of a web ontology language, J of Web Semantics 1(1) (2003), 7-26.

[11]

D. Jackson, Micromodels of software: Lightweight modelling and analysis with Alloy. Available: http://sdg.lcs.mit.edu/alloy/book.pdf, 2002.

[12]

O. Lassila and R.R. Swick, (eds), Resource description framework (rdf) model and syntax specification. http://www.w3.org/TR/1999/REC-rdf-syntax-19990222/, Feb, 1999.

[13]

D. Lucanu, Y.F. Li and J.S. Dong, Institution Morphisms for Relating OWL and Z, in The 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'05), Taipei, Taiwan, July 2005.

[14]

D.L. McGuinness and F. van Harmelen, OWL Web Ontology Language Overview. Available: http://www.w3c.org/TR/owl-features/, 2004.

[15]

P.F. Patel-Schneider, P. Hayes, I. Horrocks and F. Harmelen, A Proposal for a SWRL Extension to First-Order Logic. Available: http://www.daml.org/2003/11/swrl/, 2004.

[16]

I. Shlyakhter, R. Seater, D. Jackson, M. Sridharan and M. Taghdiri, Debugging Overconstrained Declarative Models Using Unsatisfiable Cores, in Proc. 18th IEEE International Conference on Automated Software Engineering (ASE 2003), Montreal, Quebec, Canada, October 2004, 94-105.

[17]

M. Sintek and S. Decker, TRIPLE - A query, inference, and transformation language for the Semantic Web, in: The Semantic Web -- ISWC 2002. Proceedings of the First International Semantic Web Conference, volume 2348 of Lect. Notes in Comput. Sci., I. Horrocks and J. Hendler, eds, Springer-Verlag, Sardinia, Italy, June 2002, 364-378.

[18]

T. Berners-Lee, cwm - a general purpose data processor for the Semantic Web. http://www.w3.org/2000/10/swap/doc/cwm, 2004.

[19]

H. Wang, J.S. Dong and J. Sun, Reasoning Support for SWRL-FOL Using Alloy, in 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'05), Taipei, Taiwan, July 2005.

Cited By

Bjørner D(2017)Manifest domains: analysis and descriptionFormal Aspects of Computing10.1007/s00165-016-0385-z29:2(175-225)Online publication date: 1-Mar-2017
https://dl.acm.org/doi/10.1007/s00165-016-0385-z
Bouaicha SBoufaida Z(2016)SWRLxInternational Journal of Intelligent Information Technologies10.4018/IJIIT.201604010412:2(53-69)Online publication date: 1-Apr-2016
https://dl.acm.org/doi/10.4018/IJIIT.2016040104
Walter TParreiras FStaab S(2014)An ontology-based framework for domain-specific modelingSoftware and Systems Modeling (SoSyM)10.1007/s10270-012-0249-913:1(83-108)Online publication date: 1-Feb-2014
https://dl.acm.org/doi/10.1007/s10270-012-0249-9
Show More Cited By

Reasoning support for Semantic Web ontology family languages using Alloy
1. Computing methodologies
  1. Artificial intelligence
2. Theory of computation

Recommendations

Reasoning on the semantic web for adaptive hypermedia

So far, ontologies have been widely used to convey knowledge across the Semantic Web. Complementing web ontologies with Horn-like rules to assert relations among ontology individuals and properties is part of the ongoing implementation of the Semantic ...
A practical approach to modelling and validating integrity constraints in the Semantic Web
Abstract
Efforts have been made in the Semantic Web to combine rules with ontologies. One result of these efforts is the development of the Semantic Web Rule Language (SWRL) which is designed to integrate closely with the Web Ontology Language (...
Semantic Matchmaking of Web Resources with Local Closed-World Reasoning

Ontology languages like OWL allow for semantically rich annotation of resources (e.g., products advertised at on-line electronic marketplaces). The description logic (DL) formalism underlying OWL provides reasoning techniques that perform match-making ...

Comments

Information & Contributors

Information

Published In

cover image Multiagent and Grid Systems

Multiagent and Grid Systems Volume 2, Issue 4

Special Issue on Agent-oriented Software Development Methodologies

July 2006

216 pages

ISSN:1574-1702

Editor:
Hong Zhu
Department of Computing, Oxford Brookes University, Oxford OX33 1HX, UK

Issue’s Table of Contents

Publisher

IOS Press

Netherlands

Publication History

Published: 01 July 2006

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Bjørner D(2017)Manifest domains: analysis and descriptionFormal Aspects of Computing10.1007/s00165-016-0385-z29:2(175-225)Online publication date: 1-Mar-2017
https://dl.acm.org/doi/10.1007/s00165-016-0385-z
Bouaicha SBoufaida Z(2016)SWRLxInternational Journal of Intelligent Information Technologies10.4018/IJIIT.201604010412:2(53-69)Online publication date: 1-Apr-2016
https://dl.acm.org/doi/10.4018/IJIIT.2016040104
Walter TParreiras FStaab S(2014)An ontology-based framework for domain-specific modelingSoftware and Systems Modeling (SoSyM)10.1007/s10270-012-0249-913:1(83-108)Online publication date: 1-Feb-2014
https://dl.acm.org/doi/10.1007/s10270-012-0249-9
Walter TParreiras FGröner GWende C(2010)OWLizingOntology-Driven Software Engineering10.1145/1937128.1937135(1-6)Online publication date: 17-Oct-2010
https://dl.acm.org/doi/10.1145/1937128.1937135

View Options

View options

Figures

Tables

Media

View Issue’s Table of Contents