@prefix : <#> . @prefix rdf: . @prefix xhtml: . @prefix rs: . # I'll to to create a very simple version of XHTML # Let's define a simple top level element in the # HTML namespace xhtml:html a rs:TopLevelElement; rs:contains [ a rdf:Seq; rdf:_1 [ rs:one xhtml:head ]; rdf:_2 [ rs:one xhtml:body ] ] . xhtml:head a rs:element; rs:contains [ a rdf:Bag; rdf:_1 [ rs:noneOrMore xhtml:link ]; rdf:_2 [ rs:one xhtml:title ]; rdf:_3 [ rs:noneOrMore xhtml:link ] ] . xhtml:body a rs:element; rs:contains [ a rdf:Bag; rdf:_1 [ rs:oneOrMore [ a :FlowElement ] ]; rdf:_2 [ rs:oneOrMore [ a :BlockElement ] ] . xhtml:head rs:attributes [ a rdf:Bag; rdf:_1 xhtml:profile ] . xhtml:title rs:contains [ a rdf:Seq; rdf:_1 rs:CDATA ] . xhtml:link rs:contains rs:Empty . xhtml:div a :FlowElement . xhtml:blockquote a :FlowElement . xhtml:p a :BlockElement . # Should universally qualify this, but I can't be bothered:- [ a :BlockElement ] rc:contains [ a :InlineElement ] . xhtml:span a :InlineElement . xhtml:em a :InlineElement .