summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/stex/schema/rnc/owl2+ltxml.rnc
blob: 4a2259005d8f7d4af316835953fca4466c24699d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
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}