diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/schema/rnc/owl2+ltxml.rnc')
| -rw-r--r-- | Master/texmf-dist/source/latex/stex/schema/rnc/owl2+ltxml.rnc | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/owl2+ltxml.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/owl2+ltxml.rnc new file mode 100644 index 00000000000..4a2259005d8 --- /dev/null +++ b/Master/texmf-dist/source/latex/stex/schema/rnc/owl2+ltxml.rnc @@ -0,0 +1,15 @@ +# A simplified RelaxNG for OWL2 (so that we can generate OWL from sTeX +# https://kwarc.info/repos/kwarc/repos/stex/rnc/omdoc+ltxml.rnc +# (c) 2010 Michael Kohlhase, released under the GNU Public License (GPL) + +namespace owl = "http://www.w3.org/2002/07/owl#" + +include "owl2xml.rnc" + +LTXML.Math = grammar { + include "LaTeXML/LaTeXML-common.rnc" + include "LaTeXML/LaTeXML-math.rnc" + start = Math} +Ontology.model &=LTXML.Math & axiom + +axiom = element owl:Axiom { LTXML.Math& Annotation} |