Rakib Abdur Rakib.Abdur@uwe.ac.uk
Senior Lecturer in Mobile Security
Verifying resource requirements for ontology-driven rule-based agents
Rakib, Abdur; Faruqui, Rokan Uddin; MacCaull, Wendy
Authors
Rokan Uddin Faruqui
Wendy MacCaull
Contributors
Thomas Lukasiewicz
Editor
Attila Sali
Editor
Abstract
Recent efforts towards the Semantic Web have resulted in powerful languages such as Semantic Web Rule Language (SWRL) based on OWL-DL and RuleML. Rule languages and inference engines incorporate reasoning capabilities to Semantic Web application systems. In this paper we present an approach for the design and specification of ontology-driven multi-agent rule-based systems. We use the Maude rewriting system and its Linear Temporal Logic (LTL) model checking tool to verify response time guarantees for the target systems. We present TOVRBA, an extended version of a verification tool developed by the first author, for ontology-driven multi-agent rule-based systems which allows the designer to specify information about agents' interactions, behavior, and execution strategies at different levels of abstraction. TOVRBA generates an encoding of the system for the Maude LTL model checker, allowing properties of the system to be verified. We illustrate the use of the framework on a simple healthcare system. © 2012 Springer-Verlag.
Citation
Rakib, A., Faruqui, R. U., & MacCaull, W. (2012). Verifying resource requirements for ontology-driven rule-based agents. Lecture Notes in Artificial Intelligence, 7153 LNCS, 312-331. https://doi.org/10.1007/978-3-642-28472-4_18
Journal Article Type | Conference Paper |
---|---|
Publication Date | Mar 15, 2012 |
Deposit Date | Jun 16, 2017 |
Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Print ISSN | 0302-9743 |
Electronic ISSN | 1611-3349 |
Publisher | Springer Verlag |
Peer Reviewed | Peer Reviewed |
Volume | 7153 LNCS |
Pages | 312-331 |
DOI | https://doi.org/10.1007/978-3-642-28472-4_18 |
Keywords | multi-agent systems, semantic web, ontology, model checking |
Public URL | https://uwe-repository.worktribe.com/output/949003 |
Publisher URL | http://dx.doi.org/10.1007/978-3-642-28472-4_18 |
Related Public URLs | https://link.springer.com/chapter/10.1007%2F978-3-642-28472-4_18 |
You might also like
Analysing the predictivity of features to characterise the search space
(2022)
Conference Proceeding
Memory-constrained context-aware reasoning
(2022)
Conference Proceeding
A probabilistic logic for resource-bounded multi-agent systems
(2019)
Presentation / Conference
Probabilistic resource-bounded alternating-time temporal logic
(2019)
Presentation / Conference
Model checking ontology-driven reasoning agents using strategy and abstraction
(2019)
Journal Article
Downloadable Citations
About UWE Bristol Research Repository
Administrator e-mail: repository@uwe.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search