]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/people/person.dtd
Initial commit of the XML/XSLT stuff.
[helm.git] / helm / mowgli / home / xml / people / person.dtd
diff --git a/helm/mowgli/home/xml/people/person.dtd b/helm/mowgli/home/xml/people/person.dtd
new file mode 100644 (file)
index 0000000..94e4c6d
--- /dev/null
@@ -0,0 +1,28 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+
+<!ELEMENT person  (name,surname,qualification?,position*,e-mail,url?,address?,telephone?,curriculum?,research-interests?,selected-publication*)>
+<!ELEMENT name (#PCDATA)>
+<!ELEMENT surname (#PCDATA)>
+<!ELEMENT qualification (#PCDATA)>
+<!ELEMENT position (#PCDATA)>
+<!ELEMENT e-mail (#PCDATA)>
+<!ELEMENT url (#PCDATA)>
+<!ELEMENT address (#PCDATA)>
+<!ELEMENT telephone (#PCDATA)>
+<!ELEMENT curriculum (p|dl|ul)+>
+<!ELEMENT research-interests (p|dl|ul)+>
+<!ELEMENT selected-publication EMPTY>
+<!ATTLIST selected-publication
+          file CDATA #REQUIRED>
+
+<!-- A subset of XHTML -->
+<!ELEMENT p (#PCDATA|I|a)*>
+<!ELEMENT I (#PCDATA)>
+<!ELEMENT a (#PCDATA)>
+<!ATTLIST a
+          href CDATA #REQUIRED>
+<!ELEMENT dl (dt|dd)+>
+<!ELEMENT dt (#PCDATA)>
+<!ELEMENT dd (#PCDATA)>
+<!ELEMENT ul (li)+>
+<!ELEMENT li (#PCDATA)>