Schema Documentation

Classes

• rdf:Alt(rdfs:Container)

  The class of containers of alternatives.

• rdf:Bag(rdfs:Container)

  The class of unordered containers.

• rdf:List(rdfs:Resource)

  The class of RDF Lists.

  rdf:first => rdfs:Resource

  rdf:rest => rdf:List

• rdf:Property(rdfs:Resource)

  The class of RDF properties.

  rdfs:domain => rdfs:Class

  rdfs:range => rdfs:Class

  rdfs:subPropertyOf => rdf:Property

• rdf:Seq(rdfs:Container)

  The class of ordered containers.

• rdf:Statement(rdfs:Resource)

  The class of RDF statements.

  rdf:object => rdfs:Resource

  rdf:predicate => rdfs:Resource

  rdf:subject => rdfs:Resource

• rdfs:Class(rdfs:Resource)

  The class of classes.

  rdfs:subClassOf => rdfs:Class

• rdfs:Container(rdfs:Resource)

  The class of RDF containers.

• rdfs:ContainerMembershipProperty(rdf:Property)

  The class of container membership properties, rdf:_1, rdf:_2, ..., all of which are sub-properties of 'member'.

• rdfs:Datatype(rdfs:Class)

  The class of RDF datatypes.

• rdfs:Literal(rdfs:Resource)

  The class of literal values, eg. textual strings and integers.

• rdfs:Resource

  The class resource, everything.

  rdf:type => rdfs:Class

  rdf:value => rdfs:Resource

  rdfs:comment => rdfs:Literal

  rdfs:isDefinedBy => rdfs:Resource

  rdfs:label => rdfs:Literal

  rdfs:member => rdfs:Resource

  rdfs:seeAlso => rdfs:Resource

Properties

ebnf:alt (owl:InverseFunctionalProperty)

read {X :alt (Y Z)]} as: an X is either a Y or a Z.

ebnf:nonTerminal (rdf:Property)

relates grammatical symbol to a language

ebnf:opt (owl:InverseFunctionalProperty)

[ :opt X] is an optional X, i.e. zero or one X's. short for [ :alt ([ :seq ()] X)]

ebnf:plus (owl:InverseFunctionalProperty)

[ :plus X] is one or more Xs.

ebnf:seq (owl:InverseFunctionalProperty)

read {X :seq (Y Z)]} as: an X is a Y followed by a Z.

ebnf:star (owl:InverseFunctionalProperty)

[ :star X] is zero or more Xs.

ebnf:terminal (rdf:Property)

relates a language to one of its lexical tokens; i.e. a symbol in a lower-level language

rdf:first (rdf:Property)

The first item in the subject RDF list.

domain: rdf:List

range: rdfs:Resource

rdf:object (rdf:Property)

The object of the subject RDF statement.

domain: rdf:Statement

range: rdfs:Resource

rdf:predicate (rdf:Property)

The predicate of the subject RDF statement.

domain: rdf:Statement

range: rdfs:Resource

rdf:rest (rdf:Property)

The rest of the subject RDF list after the first item.

domain: rdf:List

range: rdf:List

rdf:subject (rdf:Property)

The subject of the subject RDF statement.

domain: rdf:Statement

range: rdfs:Resource

rdf:type (rdf:Property)

The subject is an instance of a class.

domain: rdfs:Resource

range: rdfs:Class

rdf:value (rdf:Property)

Idiomatic property used for structured values.

domain: rdfs:Resource

range: rdfs:Resource

rdfs:comment (rdf:Property)

A description of the subject resource.

domain: rdfs:Resource

range: rdfs:Literal

rdfs:domain (rdf:Property)

A domain of the subject property.

domain: rdf:Property

range: rdfs:Class

rdfs:isDefinedBy (rdf:Property)

The defininition of the subject resource.

domain: rdfs:Resource

range: rdfs:Resource

rdfs:label (rdf:Property)

A human-readable name for the subject.

domain: rdfs:Resource

range: rdfs:Literal

rdfs:member (rdf:Property)

A member of the subject resource.

domain: rdfs:Resource

range: rdfs:Resource

rdfs:range (rdf:Property)

A range of the subject property.

domain: rdf:Property

range: rdfs:Class

rdfs:seeAlso (rdf:Property)

Further information about the subject resource.

domain: rdfs:Resource

range: rdfs:Resource

rdfs:subClassOf (rdf:Property)

The subject is a subclass of a class.

domain: rdfs:Class

range: rdfs:Class

rdfs:subPropertyOf (rdf:Property)

The subject is a subproperty of a property.

domain: rdf:Property

range: rdf:Property