Verifying resource requirements for ontology-driven rule-based agents

Authors:
Abdur Rakib;Rokan Uddin Faruqui;Wendy MacCaull
Affiliations:
StFX Centre for Logic and Information, St. Francis Xavier University, Canada;StFX Centre for Logic and Information, St. Francis Xavier University, Canada;StFX Centre for Logic and Information, St. Francis Xavier University, Canada
Venue:
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Year:
2012

Citing 13
Cited 0

A translation approach to portable ontology specifications

Knowledge Acquisition - Special issue: Current issues in knowledge modeling
Knowledge-Based System Diagnosis, Supervision, and Control

Knowledge-Based System Diagnosis, Supervision, and Control
Heterogeneous Agent Systems

Heterogeneous Agent Systems
Agents and the Semantic Web

IEEE Intelligent Systems
ITtalks: A Case Study in the Semantic Web and DAML+OIL

IEEE Intelligent Systems
Description logic programs: combining logic programs with description logic

WWW '03 Proceedings of the 12th international conference on World Wide Web
A proposal for an owl rules language

Proceedings of the 13th international conference on World Wide Web
Verifying Time and Communication Costs of Rule-Based Reasoners

Model Checking and Artificial Intelligence
Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary

Web Semantics: Science, Services and Agents on the World Wide Web
Query Answering for OWL-DL with rules

Web Semantics: Science, Services and Agents on the World Wide Web
A better uncle for OWL: nominal schemas for integrating rules and ontologies

Proceedings of the 20th international conference on World wide web
Automated verification of resource requirements in multi-agent systems using abstraction

MoChArt'10 Proceedings of the 6th international conference on Model checking and artificial intelligence
Model checking workflow monitors and its application to a pain management process

FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems

Quantified Score

Hi-index	0.00

Visualization

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.