A General Markup Framework for Integrity and Derivation Rules

Authors Gerd Wagner, Adrian Giurca, Sergey Lukichev



PDF
Thumbnail PDF

File

DagSemProc.05371.3.pdf
  • Filesize: 0.57 MB
  • 24 pages

Document Identifiers

Author Details

Gerd Wagner
Adrian Giurca
Sergey Lukichev

Cite As Get BibTex

Gerd Wagner, Adrian Giurca, and Sergey Lukichev. A General Markup Framework for Integrity and Derivation Rules. In Principles and Practices of Semantic Web Reasoning. Dagstuhl Seminar Proceedings, Volume 5371, pp. 1-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006) https://doi.org/10.4230/DagSemProc.05371.3

Abstract

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.

Subject Classification

Keywords
  • Rule markup languages
  • integrity rules
  • derivation rules
  • rule meta-models

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail