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.
@InProceedings{wagner_et_al:DagSemProc.05371.3, author = {Wagner, Gerd and Giurca, Adrian and Lukichev, Sergey}, title = {{A General Markup Framework for Integrity and Derivation Rules}}, booktitle = {Principles and Practices of Semantic Web Reasoning}, pages = {1--24}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5371}, editor = {Fran\c{c}ois Bry and Fran\c{c}ois Fages and Massimo Marchiori and Hans-J\"{u}rgen Ohlbach}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05371.3}, URN = {urn:nbn:de:0030-drops-4794}, doi = {10.4230/DagSemProc.05371.3}, annote = {Keywords: Rule markup languages, integrity rules, derivation rules, rule meta-models} }
Feedback for Dagstuhl Publishing