summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/stex/xsl/owl2post.xsl
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/xsl/owl2post.xsl')
-rw-r--r--Master/texmf-dist/source/latex/stex/xsl/owl2post.xsl62
1 files changed, 62 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/stex/xsl/owl2post.xsl b/Master/texmf-dist/source/latex/stex/xsl/owl2post.xsl
new file mode 100644
index 00000000000..530d9265c03
--- /dev/null
+++ b/Master/texmf-dist/source/latex/stex/xsl/owl2post.xsl
@@ -0,0 +1,62 @@
+<?xml version="1.0" encoding="utf-8"?>
+<!-- this style sheet transforms the tex.xml file to OMDoc -->
+<xsl:stylesheet version="1.0"
+ xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+ xmlns:ltx="http://dlmf.nist.gov/LaTeXML"
+ xmlns:omdoc="http://omdoc.org/ns"
+ xmlns:stex="http://kwarc.info/ns/sTeX"
+ xmlns="http://www.w3.org/2002/07/owl#"
+ xmlns:owl="http://www.w3.org/2002/07/owl#"
+ exclude-result-prefixes="xsl omdoc ltx stex owl">
+
+<xsl:output method="xml" indent="yes" cdata-section-elements="data"/>
+<xsl:strip-space elements="*"/>
+
+<xsl:template match="/">
+ <xsl:comment>This OWL2 ontology is generated from an sTeX-encoded one via LaTeXML, you may want to reconsider editing it.</xsl:comment>
+ <xsl:apply-templates/>
+</xsl:template>
+
+<xsl:template match="*">
+ <xsl:copy><xsl:copy-of select="@*"/><xsl:apply-templates/></xsl:copy>
+</xsl:template>
+
+<xsl:template match="omdoc:imports">
+ <Import><xsl:value-of select="@from"/></Import>
+</xsl:template>
+
+
+<xsl:template match="owl:Axiom">
+ <xsl:variable name="anno" select="*[2]"/>
+ <xsl:apply-templates select="*[1]">
+ <xsl:with-param name="anno" select="$anno"/>
+ </xsl:apply-templates>
+</xsl:template>
+
+<xsl:template match="ltx:Math|ltx:XMath">
+ <xsl:param name="anno"/>
+ <xsl:apply-templates>
+ <xsl:with-param name="anno" select="$anno"/>
+ </xsl:apply-templates>
+</xsl:template>
+
+<xsl:template match="ltx:XMApp[ltx:XMTok[position()=1 and @meaning='list']]">
+ <xsl:apply-templates select="*[position() &gt; 1]"/>
+</xsl:template>
+
+<xsl:template match="ltx:XMApp">
+ <xsl:param name="anno"/>
+ <xsl:element name="{ltx:XMTok[1]/@meaning}">
+ <xsl:copy-of select="$anno"/>
+ <xsl:apply-templates select="*[position() &gt; 1]"/>
+ </xsl:element>
+</xsl:template>
+
+<xsl:template match="ltx:XMTok">
+ <Class IRI="{@name}"/>
+</xsl:template>
+
+<xsl:template match="ltx:ERROR">
+ <Class IRI="{substring-after(ltx:XMTok,'\')}"/>
+</xsl:template>
+</xsl:stylesheet>