XSWRL, an Extended Semantic Web Rule Language

For some reasoning problems it is necessary to infer the existence of new individuals satisfying stated condition. This kind of problems can not be fully resolved by OWL and SWRL. We present XSWRL (extended semantic Web rule language), an extension to SWRL, to resolve these problems. XSWRL introduces existentially quantified variables to rules. XSWRL extends SWRL in a syntactically and semantically coherent manner. We show that the power of representation is improved, but undecidability of inference problems is brought on. We discuss the form of XSWRL rules and reasoning support.