diff options
author | Karl Berry <karl@freefriends.org> | 2012-03-30 23:23:02 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2012-03-30 23:23:02 +0000 |
commit | 849996eca72af498b48b10fbea7f14c4b9d21b8f (patch) | |
tree | 2d40d42dfc9fc0b0622212cc220868f98345305f /Master/texmf-dist/doc/latex/stex/rdfmeta | |
parent | d82e1c23973fd0271f93686f487bd1cee8dcd947 (diff) |
restore stex (ca. 28jan12)
git-svn-id: svn://tug.org/texlive/trunk@25792 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/stex/rdfmeta')
-rw-r--r-- | Master/texmf-dist/doc/latex/stex/rdfmeta/README | 11 | ||||
-rw-r--r-- | Master/texmf-dist/doc/latex/stex/rdfmeta/certification.pdf | bin | 0 -> 45243 bytes | |||
-rw-r--r-- | Master/texmf-dist/doc/latex/stex/rdfmeta/certification.tex | 26 | ||||
-rw-r--r-- | Master/texmf-dist/doc/latex/stex/rdfmeta/rdfmeta.pdf | bin | 0 -> 333948 bytes |
4 files changed, 37 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/stex/rdfmeta/README b/Master/texmf-dist/doc/latex/stex/rdfmeta/README new file mode 100644 index 00000000000..0e113125f72 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/rdfmeta/README @@ -0,0 +1,11 @@ +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) + +See http://trac.kwarc.info/sTeX for the project homepage, the development version +of this package can be found at https://svn.kwarc.info/repos/stex/trunk/sty/stex/reqdoc/rdfmeta + diff --git a/Master/texmf-dist/doc/latex/stex/rdfmeta/certification.pdf b/Master/texmf-dist/doc/latex/stex/rdfmeta/certification.pdf Binary files differnew file mode 100644 index 00000000000..b6562066e13 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/rdfmeta/certification.pdf diff --git a/Master/texmf-dist/doc/latex/stex/rdfmeta/certification.tex b/Master/texmf-dist/doc/latex/stex/rdfmeta/certification.tex new file mode 100644 index 00000000000..5e4582833af --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/rdfmeta/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/rdfmeta/rdfmeta.pdf b/Master/texmf-dist/doc/latex/stex/rdfmeta/rdfmeta.pdf Binary files differnew file mode 100644 index 00000000000..b99a36071f2 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/rdfmeta/rdfmeta.pdf |