summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/stex/schema/rng/owl2+ltxml.rng
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/schema/rng/owl2+ltxml.rng')
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rng/owl2+ltxml.rng32
1 files changed, 32 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/stex/schema/rng/owl2+ltxml.rng b/Master/texmf-dist/source/latex/stex/schema/rng/owl2+ltxml.rng
new file mode 100644
index 00000000000..e4fdff503b1
--- /dev/null
+++ b/Master/texmf-dist/source/latex/stex/schema/rng/owl2+ltxml.rng
@@ -0,0 +1,32 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!--
+ 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)
+-->
+<grammar xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns="http://relaxng.org/ns/structure/1.0">
+ <include href="owl2xml.rng"/>
+ <define name="LTXML.Math">
+ <grammar>
+ <include href="LaTeXML-common.rng"/>
+ <include href="LaTeXML-math.rng"/>
+ <start>
+ <ref name="Math"/>
+ </start>
+ </grammar>
+ </define>
+ <define name="Ontology.model" combine="interleave">
+ <interleave>
+ <ref name="LTXML.Math"/>
+ <ref name="axiom"/>
+ </interleave>
+ </define>
+ <define name="axiom">
+ <element name="owl:Axiom">
+ <interleave>
+ <ref name="LTXML.Math"/>
+ <ref name="Annotation"/>
+ </interleave>
+ </element>
+ </define>
+</grammar>