Article

Extending SWRL to enhance mathematical support

Authors:

Alfonso Sánchez-Macián,

Encarna Pastor,

Jorge E. López De Vergara,

David LópezAuthors Info & Claims

RR'07: Proceedings of the 1st international conference on Web reasoning and rule systems

Pages 358 - 360

Published: 07 June 2007 Publication History

Abstract

This paper presents an extension to the Semantic Web Rule Language and a methodology to enable advanced mathematical support in SWRL rules. This solution separates mathematical and problem semantics allowing the inclusion of integration, differentiation and other operations not built-in to SWRL. Using this approach, it is possible to create rules to cope with complex scenarios that include mathematical relationships and formulas that exceed the SWRL capabilities.

References

[1]

Buswell, S., Caprotti, O., Carlisle, D.P., Dewar, M.C., Gaëtano, M., Kohlhase, M.: The OpenMath Standard version 2.0., Technical Report, The OpenMath Society, (June 2004) http://om-candidate.activemath.org/standard/om20-2004-06-30/

Google Scholar

[2]

Horrocks, I., Patel-Schneider, P., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RuleML, W3C Member Submission, (May 2004) http://www.w3.org/Submission/SWRL

Google Scholar

[3]

Jang, M., Sohn, J.: Bossam: an extended rule engine for the web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 128-138. Springer, Heidelberg (2004).

Google Scholar

[4]

McGuinness, D.L., van Harmelen, F.: OWL Web Ontology Language Overview, W3C Recommendation, (February 2004) http://www.w3.org/TR/owl-features

Google Scholar

[5]

Wolfram, S.: The Mathematica Book, 5th edn. Wolfram Media, Champaign, Illinois, US, (2003) http://documents.wolfram.com/mathematica

Digital Library

Google Scholar

Cited By

View all

Li XMartinez JEckert MRubio G(2017)Uncertainty Quantification in Mathematics-Embedded Ontologies Using Stochastic Reduced Order ModelIEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2017.265181929:4(912-920)Online publication date: 1-Apr-2017
https://dl.acm.org/doi/10.1109/TKDE.2017.2651819
Lezcano LSicilia MRodríguez-Solano C(2011)Integrating reasoning and clinical archetypes using OWL ontologies and SWRL rulesJournal of Biomedical Informatics10.1016/j.jbi.2010.11.00544:2(343-353)Online publication date: 1-Apr-2011
https://dl.acm.org/doi/10.1016/j.jbi.2010.11.005

Index Terms

Extending SWRL to enhance mathematical support
1. Theory of computation
  1. Logic

Index terms have been assigned to the content through auto-classification.

Recommendations

Interpreting SWRL Rules in RDF Graphs

An unresolved issue in SWRL (the Semantic Web Rule Language) is whether the intended semantics of its RDF representation can be described as an extension of the W3C RDF semantics. In this paper we propose to make the model-theoretic semantics of SWRL ...
Mapping ORM Into SWRL
ITA '13: Proceedings of the 2013 International Conference on Information Technology and Applications

ORM (Object Role Modeling) has been used to model domain ontologies. In order to be exchanged and shared by different applications, it needs to publish ORM domain ontologies on Semantic Web in OWL/SWRL. A series of rules have been proposed to map ORM ...
SWRL-F: a fuzzy logic extension of the semantic web rule language
WIMS '11: Proceedings of the International Conference on Web Intelligence, Mining and Semantics

Enhancing Semantic Web technologies with ability to express uncertainty and imprecision is widely discussed topic. While SWRL can provide additional expressivity to OWL-based ontologies, it does not provide any way to handle uncertainty or imprecision. ...

Comments

Information & Contributors

Information

Published In

RR'07: Proceedings of the 1st international conference on Web reasoning and rule systems

June 2007

382 pages

ISBN:9783540729815

Editors:
Massimo Marchiori
UNIPD and UTILABS, Padova, Italy
,
Jeff Z. Pan
University of Aberdeen, Department of Computing Science, Aberdeen, UK
,
Christian De Sainte Marie
ILOG S.A., Bureaux R&D, Valbonne, France

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 07 June 2007

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
2
Total Downloads

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

Reflects downloads up to 21 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Li XMartinez JEckert MRubio G(2017)Uncertainty Quantification in Mathematics-Embedded Ontologies Using Stochastic Reduced Order ModelIEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2017.265181929:4(912-920)Online publication date: 1-Apr-2017
https://dl.acm.org/doi/10.1109/TKDE.2017.2651819
Lezcano LSicilia MRodríguez-Solano C(2011)Integrating reasoning and clinical archetypes using OWL ontologies and SWRL rulesJournal of Biomedical Informatics10.1016/j.jbi.2010.11.00544:2(343-353)Online publication date: 1-Apr-2011
https://dl.acm.org/doi/10.1016/j.jbi.2010.11.005

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

Interpreting SWRL Rules in RDF Graphs

Mapping ORM Into SWRL

SWRL-F: a fuzzy logic extension of the semantic web rule language

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations