summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/stex/schema/rnc/owl.rnc
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/schema/rnc/owl.rnc')
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/owl.rnc44
1 files changed, 0 insertions, 44 deletions
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/owl.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/owl.rnc
deleted file mode 100644
index a262df3fc31..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/owl.rnc
+++ /dev/null
@@ -1,44 +0,0 @@
-# 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)
-
-namespace owl = "http://www.w3.org/2002/07/owl#"
-namespace rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"
-namespace rdfs = "http://www.w3.org/2000/01/rdf-schema#"
-namespace stex = "http://kwarc.info/ns/sTeX"
-namespace local = ""
-
-nonlocal-attribs = attribute * - (local:* | owl:* | rdf:* | rdfs:*) {xsd:string}
-
-start = RDF
-
-RDF = element rdf:RDF {nonlocal-attribs & Ontology}
-
-Ontology.attribs = nonlocal-attribs* & about.attrib?
-Ontology.model = Class* & Property*
-Ontology = element owl:Ontology {Ontology.attribs & Ontology.model}
-
-about.attrib = attribute rdf:about {xsd:anyURI}
-resource.attrib = attribute rdf:resource {xsd:anyURI}
-label.attrib = attribute rdfs:label {text}
-comment.attrib = attribute rdfs:comment {text}
-
-
-Class.attribs = nonlocal-attribs* & about.attrib? & label.attrib? & comment.attrib?
-Class.model = rdftype* & subClassOf* & disjointWith* & isDefinedBy?
-Class = element rdfs:Class {Class.attribs & Class.model}
-
-Property.attribs = nonlocal-attribs* & about.attrib? & label.attrib? & comment.attrib?
-Property.model = rdftype* & domain? & range & isDefinedBy?
-Property = element rdf:Property {Property.attribs & Property.model}
-
-rdftype.attribs = nonlocal-attribs* & resource.attrib
-#rdftype.model = notAllowed
-rdftype = element rdf:type {rdftype.attribs}
-
-subClassOf = element rdfs:subClassOf {resource.attrib}
-isDefinedBy = element rdfs:isDefinedBy {resource.attrib}
-disjointWith = element owl:disjointWith {resource.attrib}
-
-range = element rdfs:range {resource.attrib}
-domain = element rdfs:domain {resource.attrib}