TY - CHAP
T1 - Verifying resource requirements for ontology-driven rule-based agents
AU - Rakib, A.
AU - Faruqui, R.U.
AU - MacCaull, W.
PY - 2012
Y1 - 2012
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84858048746&partnerID=MN8TOARS
UR - https://www.scopus.com/pages/publications/84858048746
U2 - 10.1007/978-3-642-28472-4_18
DO - 10.1007/978-3-642-28472-4_18
M3 - Chapter
SN - 978-3-642-28471-7
T3 - Lecture Notes in Computer Science
SP - 312
EP - 331
BT - Foundations of Information and Knowledge Systems
PB - Springer
ER -