blob: e4fdff503b19b949f5ed9c349eb99937145427b6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
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>
|