diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/stex/rfdmeta/certification.tex')
-rw-r--r-- | Master/texmf-dist/doc/latex/stex/rfdmeta/certification.tex | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/stex/rfdmeta/certification.tex b/Master/texmf-dist/doc/latex/stex/rfdmeta/certification.tex new file mode 100644 index 00000000000..5e4582833af --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/rfdmeta/certification.tex @@ -0,0 +1,26 @@ +\documentclass{omdoc} +\usepackage{stex,rdfmeta,amstext} +\begin{document} +\begin{module}[id=certification] +% \metalanguage[../owl2onto/owl2]{OWL2} + \keydef{omtext}{hasState} + \keydef{omgroup}{hasState} + \symdef{hasState}{\text{hasState}} + \symdef{statedocrd}[1]{rd. #1} + \symdef{tuev}{\text{T\"UV}} + \begin{omgroup}[id=foo,hasState=test]{Definitions} + \begin{definition}[for=hasState] + A document {\definiendum[hasState]{has state}} $x$, iff + the project manager decrees it so. + \end{definition} + \begin{definition}[for=statedocrd,hasState=$\statedocrd\tuev$] + A document has state \definiendum[statedocrd]{rd. $x$}, + iff it has been submitted to $x$ for certification. + \end{definition} + \begin{definition}[for=tuev,hasState=$\statedocrd\tuev$] + The $\tuev$ (Technischer \"Uberwachungs Verein) is a national + certification agency in Germany. + \end{definition} +\end{omgroup} +\end{module} +\end{document} |