File: owl2%2Bltxml.rng

package info (click to toggle)
texlive-extra 2012.20120611-2
  • links: PTS
  • area: main
  • in suites: wheezy
  • size: 1,508,552 kB
  • sloc: perl: 75,280; makefile: 12,192; sh: 9,570; python: 6,296; csh: 2,987; java: 1,367; ansic: 1,032; xml: 896; lisp: 541; lex: 358; ruby: 150; tcl: 142; sed: 28; pascal: 18; awk: 10
file content (32 lines) | stat: -rw-r--r-- 957 bytes parent folder | download | duplicates (2) 
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>