XSWRL, an Extended Semantic Web Rule Language

Author

Li, Wan ; Tian, ShengFeng

Author_Institution

Sch. of Comput. & Inf. Technol., Beijing Jiaotong Univ., Beijing

Volume

1

fYear

2008

fDate

20-22 Dec. 2008

Firstpage

437

Lastpage

441

Abstract

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.

Keywords

inference mechanisms; knowledge representation languages; ontologies (artificial intelligence); semantic Web; Web ontology language; XSWRL rule; extended semantic Web rule language; inference problem; reasoning problem; Application software; Artificial intelligence; Footwear; Information technology; Knowledge representation; Logic; OWL; Ontologies; Semantic Web; Web sites; existentially quantified variable; ontology; reasoning; rule; semantic Web;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Information Technology Application, 2008. IITA '08. Second International Symposium on

Conference_Location

Shanghai

Print_ISBN

978-0-7695-3497-8

Type

conf

DOI

10.1109/IITA.2008.411

Filename

4739611