diff options
author | Karl Berry <karl@freefriends.org> | 2016-04-07 20:49:10 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2016-04-07 20:49:10 +0000 |
commit | ddfe3a4eaf95167482e923d4da3de2917a7dbfbb (patch) | |
tree | 0acc1bb60b37392451f5e79e00c33c487c19abcf /Master/texmf-dist/doc/latex/stex/rfdmeta | |
parent | a04ae5a947a6b06bc717719f6ad63e6de5cb5af6 (diff) |
stex (7apr16)
git-svn-id: svn://tug.org/texlive/trunk@40320 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/stex/rfdmeta')
-rw-r--r-- | Master/texmf-dist/doc/latex/stex/rfdmeta/README | 9 | ||||
-rw-r--r-- | Master/texmf-dist/doc/latex/stex/rfdmeta/certification.pdf | bin | 0 -> 45153 bytes | |||
-rw-r--r-- | Master/texmf-dist/doc/latex/stex/rfdmeta/certification.tex | 26 | ||||
-rw-r--r-- | Master/texmf-dist/doc/latex/stex/rfdmeta/rdfmeta.pdf | bin | 0 -> 308741 bytes |
4 files changed, 35 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/stex/rfdmeta/README b/Master/texmf-dist/doc/latex/stex/rfdmeta/README new file mode 100644 index 00000000000..3f3b9edf4d7 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/rfdmeta/README @@ -0,0 +1,9 @@ +rdfmeta.sty: An Infrastructure for RDFa metadata in arbitrary {\LaTeX} documents + +The rdfmeta packge allows mark up Ontology-based Metadata in LaTeX documents that can be +harvested by automated tools or exported to PDF. + +Copyright (c) 2010 Michael Kohlhase +The package is distributed under the terms of the LaTeX Project Public License (LPPL) + +Project home: https://github.com/KWARC/sTeX/ diff --git a/Master/texmf-dist/doc/latex/stex/rfdmeta/certification.pdf b/Master/texmf-dist/doc/latex/stex/rfdmeta/certification.pdf Binary files differnew file mode 100644 index 00000000000..648d6bdfaff --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/rfdmeta/certification.pdf 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} diff --git a/Master/texmf-dist/doc/latex/stex/rfdmeta/rdfmeta.pdf b/Master/texmf-dist/doc/latex/stex/rfdmeta/rdfmeta.pdf Binary files differnew file mode 100644 index 00000000000..87f02bc72b9 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/rfdmeta/rdfmeta.pdf |