summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/stex/rfdmeta/certification.tex
blob: 85fa8b7f38217c9886e94b2d19ff20a668e4f7ff (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
\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 \defii{has}{state} $x$, iff the project manager decrees it so.
  \end{definition}
  \begin{definition}[for=statedocrd,hasState=$\statedocrd\tuev$]
    A document has state \defi[name=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}

%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End: