summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/stex/rfdmeta/certification.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/latex/stex/rfdmeta/certification.tex')
-rw-r--r--Master/texmf-dist/doc/latex/stex/rfdmeta/certification.tex26
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}