diff options
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.rng | 32 |
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> |