From: Irene Schena <irene.schena@unibo.it>
Date: Mon, 6 May 2002 14:41:45 +0000 (+0000)
Subject: Added Files:
X-Git-Tag: V_0_3_0_debian_8~111
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2db717b1af74a47aff841b504f4bf2ea0c8e885f;hp=9fcfeb79982284413f5a3f6d375ee0bad5368d9c;p=helm.git

Added Files:
1) backward.dtd forward.dtd: dtd for forward and backward metadata files
---

diff --git a/helm/dtd/backward.dtd b/helm/dtd/backward.dtd
new file mode 100644
index 000000000..60c27c4a7
--- /dev/null
+++ b/helm/dtd/backward.dtd
@@ -0,0 +1,48 @@
+<?xml encoding="ISO-8859-1"?>
+
+<!-- Copyright (C) 2000, HELM Team                                     -->
+<!--                                                                   -->
+<!-- This file is part of HELM, an Hypertextual, Electronic            -->
+<!-- Library of Mathematics, developed at the Computer Science         -->
+<!-- Department, University of Bologna, Italy.                         -->
+<!--                                                                   -->
+<!-- HELM is free software; you can redistribute it and/or             -->
+<!-- modify it under the terms of the GNU General Public License       -->
+<!-- as published by the Free Software Foundation; either version 2    -->
+<!-- of the License, or (at your option) any later version.            -->
+<!--                                                                   -->
+<!-- HELM is distributed in the hope that it will be useful,           -->
+<!-- but WITHOUT ANY WARRANTY; without even the implied warranty of    -->
+<!-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the     -->
+<!-- GNU General Public License for more details.                      -->
+<!--                                                                   -->
+<!-- You should have received a copy of the GNU General Public License -->
+<!-- along with HELM; if not, write to the Free Software               -->
+<!-- Foundation, Inc., 59 Temple Place - Suite 330, Boston,            -->
+<!-- MA  02111-1307, USA.                                              -->
+<!--                                                                   -->
+<!-- For details, see the HELM World-Wide-Web page,                    -->
+<!-- http://cs.unibo.it/helm/.                                         -->
+
+<!-- DTD for backward pointers metadata. For every object, it lists -->
+<!-- all the other objects directly depending on it.                -->
+
+<!ELEMENT rdf:RDF (h:Object)>
+<!ATTLIST rdf:RDF
+          xml:lang  CDATA #REQUIRED
+          xmlns:rdf CDATA #FIXED "http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+          xmlns:h   CDATA #FIXED "http://www.cs.unibo.it/helm/schemas/mattone.rdf#">
+
+<!ELEMENT h:Object (h:backPointer)*>
+<!ATTLIST h:Object
+          rdf:about CDATA #REQUIRED>
+
+<!ELEMENT h:backPointer (h:Occurrence)>
+
+<!ELEMENT h:Occurrence (h:position,h:occurrence)>
+
+<!-- Either MainHypothesis or InHypothesis or InConclusion or -->
+<!-- MainConclusion or InBody.                                -->
+<!ELEMENT h:position (#PCDATA)>
+
+<!ELEMENT h:occurrence (#PCDATA)>
diff --git a/helm/dtd/forward.dtd b/helm/dtd/forward.dtd
new file mode 100644
index 000000000..4fd7ea419
--- /dev/null
+++ b/helm/dtd/forward.dtd
@@ -0,0 +1,48 @@
+<?xml encoding="ISO-8859-1"?>
+
+<!-- Copyright (C) 2000, HELM Team                                     -->
+<!--                                                                   -->
+<!-- This file is part of HELM, an Hypertextual, Electronic            -->
+<!-- Library of Mathematics, developed at the Computer Science         -->
+<!-- Department, University of Bologna, Italy.                         -->
+<!--                                                                   -->
+<!-- HELM is free software; you can redistribute it and/or             -->
+<!-- modify it under the terms of the GNU General Public License       -->
+<!-- as published by the Free Software Foundation; either version 2    -->
+<!-- of the License, or (at your option) any later version.            -->
+<!--                                                                   -->
+<!-- HELM is distributed in the hope that it will be useful,           -->
+<!-- but WITHOUT ANY WARRANTY; without even the implied warranty of    -->
+<!-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the     -->
+<!-- GNU General Public License for more details.                      -->
+<!--                                                                   -->
+<!-- You should have received a copy of the GNU General Public License -->
+<!-- along with HELM; if not, write to the Free Software               -->
+<!-- Foundation, Inc., 59 Temple Place - Suite 330, Boston,            -->
+<!-- MA  02111-1307, USA.                                              -->
+<!--                                                                   -->
+<!-- For details, see the HELM World-Wide-Web page,                    -->
+<!-- http://cs.unibo.it/helm/.                                         -->
+
+<!-- DTD for forward pointers metadata. For every object, it lists -->
+<!-- all the other objects it depends on.                          -->
+
+<!ELEMENT rdf:RDF (h:Object)>
+<!ATTLIST rdf:RDF
+          xml:lang  CDATA #REQUIRED
+          xmlns:rdf CDATA #FIXED "http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+          xmlns:h   CDATA #FIXED "http://www.cs.unibo.it/helm/schemas/mattone.rdf#">
+
+<!ELEMENT h:Object (h:refObj)*>
+<!ATTLIST h:Object
+          rdf:about CDATA #REQUIRED>
+
+<!ELEMENT h:refObj (h:Occurrence)>
+
+<!ELEMENT h:Occurrence (h:position,h:occurrence)>
+
+<!-- Either MainHypothesis or InHypothesis or InConclusion or -->
+<!-- MainConclusion or InBody.                                -->
+<!ELEMENT h:position (#PCDATA)>
+
+<!ELEMENT h:occurrence (#PCDATA)>