Abstract
This paper discusses the design of integrity and derivation rules on the basis of Rule Markup Language (RuleML) and Semantic Web Rule Language (SWRL). We propose a general markup framework for integrity and derivation rules (R2ML). Rule concepts are defined with the help of MOF/UML, a subset of the UML class modeling language proposed by the Object Management Group (OMG) for the purpose of .meta-modeling., i.e. for defining languages conceptually on the level of an abstract (semi-visual) syntax. From these MOF/UML language models we can obtain concrete markup syntax by applying a mapping procedure for generating corresponding languages from parameterized DTDs.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-TR-2006-04

BibTeX:

@techreport{REWERSE-TR-2006-04,
	author = {Gerd Wagner and Adrian Giurca and Sergey Lukichev},
	title = {A General Markup Framework for Integrity and Derivation Rules},
	institution = {Institute for Informatics, University of Munich},
	year = {2006},
	type = {{research report, REWERSE-TR-2006-04}},
	number = {REWERSE-TR-2006-04},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-TR-2006-04}
}