]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/people/person.dtd
Initial commit of the XML/XSLT stuff.
[helm.git] / helm / mowgli / home / xml / people / person.dtd
1 <?xml version="1.0" encoding="iso-8859-1"?>
2
3 <!ELEMENT person  (name,surname,qualification?,position*,e-mail,url?,address?,telephone?,curriculum?,research-interests?,selected-publication*)>
4 <!ELEMENT name (#PCDATA)>
5 <!ELEMENT surname (#PCDATA)>
6 <!ELEMENT qualification (#PCDATA)>
7 <!ELEMENT position (#PCDATA)>
8 <!ELEMENT e-mail (#PCDATA)>
9 <!ELEMENT url (#PCDATA)>
10 <!ELEMENT address (#PCDATA)>
11 <!ELEMENT telephone (#PCDATA)>
12 <!ELEMENT curriculum (p|dl|ul)+>
13 <!ELEMENT research-interests (p|dl|ul)+>
14 <!ELEMENT selected-publication EMPTY>
15 <!ATTLIST selected-publication
16           file CDATA #REQUIRED>
17
18 <!-- A subset of XHTML -->
19 <!ELEMENT p (#PCDATA|I|a)*>
20 <!ELEMENT I (#PCDATA)>
21 <!ELEMENT a (#PCDATA)>
22 <!ATTLIST a
23           href CDATA #REQUIRED>
24 <!ELEMENT dl (dt|dd)+>
25 <!ELEMENT dt (#PCDATA)>
26 <!ELEMENT dd (#PCDATA)>
27 <!ELEMENT ul (li)+>
28 <!ELEMENT li (#PCDATA)>