summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/stex/schema/rnc/owl2+ltxml.rnc
diff options
context:
space:
mode:
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.rnc15
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}