summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/stex/schema/rng/owl.rng
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/schema/rng/owl.rng')
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rng/owl.rng193
1 files changed, 0 insertions, 193 deletions
diff --git a/Master/texmf-dist/source/latex/stex/schema/rng/owl.rng b/Master/texmf-dist/source/latex/stex/schema/rng/owl.rng
deleted file mode 100644
index f32cf39c02d..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rng/owl.rng
+++ /dev/null
@@ -1,193 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!--
- A simplified RelaxNG for OWL (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:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns="http://relaxng.org/ns/structure/1.0" datatypeLibrary="http://www.w3.org/2001/XMLSchema-datatypes">
- <define name="nonlocal-attribs">
- <attribute>
- <anyName>
- <except>
- <nsName ns=""/>
- <nsName ns="http://www.w3.org/2002/07/owl#"/>
- <nsName ns="http://www.w3.org/1999/02/22-rdf-syntax-ns#"/>
- <nsName ns="http://www.w3.org/2000/01/rdf-schema#"/>
- </except>
- </anyName>
- <data type="string"/>
- </attribute>
- </define>
- <start>
- <ref name="RDF"/>
- </start>
- <define name="RDF">
- <element name="rdf:RDF">
- <interleave>
- <ref name="nonlocal-attribs"/>
- <ref name="Ontology"/>
- </interleave>
- </element>
- </define>
- <define name="Ontology.attribs">
- <interleave>
- <zeroOrMore>
- <ref name="nonlocal-attribs"/>
- </zeroOrMore>
- <optional>
- <ref name="about.attrib"/>
- </optional>
- </interleave>
- </define>
- <define name="Ontology.model">
- <interleave>
- <zeroOrMore>
- <ref name="Class"/>
- </zeroOrMore>
- <zeroOrMore>
- <ref name="Property"/>
- </zeroOrMore>
- </interleave>
- </define>
- <define name="Ontology">
- <element name="owl:Ontology">
- <interleave>
- <ref name="Ontology.attribs"/>
- <ref name="Ontology.model"/>
- </interleave>
- </element>
- </define>
- <define name="about.attrib">
- <attribute name="rdf:about">
- <data type="anyURI"/>
- </attribute>
- </define>
- <define name="resource.attrib">
- <attribute name="rdf:resource">
- <data type="anyURI"/>
- </attribute>
- </define>
- <define name="label.attrib">
- <attribute name="rdfs:label"/>
- </define>
- <define name="comment.attrib">
- <attribute name="rdfs:comment"/>
- </define>
- <define name="Class.attribs">
- <interleave>
- <zeroOrMore>
- <ref name="nonlocal-attribs"/>
- </zeroOrMore>
- <optional>
- <ref name="about.attrib"/>
- </optional>
- <optional>
- <ref name="label.attrib"/>
- </optional>
- <optional>
- <ref name="comment.attrib"/>
- </optional>
- </interleave>
- </define>
- <define name="Class.model">
- <interleave>
- <zeroOrMore>
- <ref name="rdftype"/>
- </zeroOrMore>
- <zeroOrMore>
- <ref name="subClassOf"/>
- </zeroOrMore>
- <zeroOrMore>
- <ref name="disjointWith"/>
- </zeroOrMore>
- <optional>
- <ref name="isDefinedBy"/>
- </optional>
- </interleave>
- </define>
- <define name="Class">
- <element name="rdfs:Class">
- <interleave>
- <ref name="Class.attribs"/>
- <ref name="Class.model"/>
- </interleave>
- </element>
- </define>
- <define name="Property.attribs">
- <interleave>
- <zeroOrMore>
- <ref name="nonlocal-attribs"/>
- </zeroOrMore>
- <optional>
- <ref name="about.attrib"/>
- </optional>
- <optional>
- <ref name="label.attrib"/>
- </optional>
- <optional>
- <ref name="comment.attrib"/>
- </optional>
- </interleave>
- </define>
- <define name="Property.model">
- <interleave>
- <zeroOrMore>
- <ref name="rdftype"/>
- </zeroOrMore>
- <optional>
- <ref name="domain"/>
- </optional>
- <ref name="range"/>
- <optional>
- <ref name="isDefinedBy"/>
- </optional>
- </interleave>
- </define>
- <define name="Property">
- <element name="rdf:Property">
- <interleave>
- <ref name="Property.attribs"/>
- <ref name="Property.model"/>
- </interleave>
- </element>
- </define>
- <define name="rdftype.attribs">
- <interleave>
- <zeroOrMore>
- <ref name="nonlocal-attribs"/>
- </zeroOrMore>
- <ref name="resource.attrib"/>
- </interleave>
- </define>
- <!-- rdftype.model = notAllowed -->
- <define name="rdftype">
- <element name="rdf:type">
- <ref name="rdftype.attribs"/>
- </element>
- </define>
- <define name="subClassOf">
- <element name="rdfs:subClassOf">
- <ref name="resource.attrib"/>
- </element>
- </define>
- <define name="isDefinedBy">
- <element name="rdfs:isDefinedBy">
- <ref name="resource.attrib"/>
- </element>
- </define>
- <define name="disjointWith">
- <element name="owl:disjointWith">
- <ref name="resource.attrib"/>
- </element>
- </define>
- <define name="range">
- <element name="rdfs:range">
- <ref name="resource.attrib"/>
- </element>
- </define>
- <define name="domain">
- <element name="rdfs:domain">
- <ref name="resource.attrib"/>
- </element>
- </define>
-</grammar>