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, 193 insertions, 0 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
new file mode 100644
index 00000000000..f32cf39c02d
--- /dev/null
+++ b/Master/texmf-dist/source/latex/stex/schema/rng/owl.rng
@@ -0,0 +1,193 @@
+<?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>