Chapter
Verifying Resource Requirements for Ontology-Driven Rule-Based Agents
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) …
Authors
Rakib A; Faruqui RU; MacCaull W
Book title
Foundations of Information and Knowledge Systems
Series
Lecture Notes in Computer Science
Volume
7153
Pagination
pp. 312-331
Publisher
Springer Nature
Publication Date
2012
DOI
10.1007/978-3-642-28472-4_18