diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/xsl/owl2post.xsl')
-rw-r--r-- | Master/texmf-dist/source/latex/stex/xsl/owl2post.xsl | 62 |
1 files changed, 0 insertions, 62 deletions
diff --git a/Master/texmf-dist/source/latex/stex/xsl/owl2post.xsl b/Master/texmf-dist/source/latex/stex/xsl/owl2post.xsl deleted file mode 100644 index 530d9265c03..00000000000 --- a/Master/texmf-dist/source/latex/stex/xsl/owl2post.xsl +++ /dev/null @@ -1,62 +0,0 @@ -<?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() > 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() > 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> |