A meta-reasoning approach for reasoning with SWRL ontologies

SWRL is designed for enhancing inferential power on OWL ontologies by introducing rules to the language. With SWRL, rules are allowed to combine with OWL ontologies in order to support deduction on the semantic web ontologies. Earlier we have developed a meta-logical approach for reasoning with Semantic Web ontologies expressed in OWL (51 and OWL 2 [71; with the advent of SWRL, in this paper we shall extend our framework to support OWL with rules, and hence to support SWRL. Meta-languages together with a meta-interpreter, defined by demo ( . ) predicate, are proposed and used for reasoning with Semantic Web ontologies with rules.