Introduction to RDFS - slide "Programming Assignment 1 (PA1)"

Part one:
Using rdflib, write a program that consumes an RDF schema (in RDF/XML syntax) and produces an XHTML rendering of the class and property hierarchy in that schema. You can assume that the RDF/XML is syntactically correct. You should not include any of the implicit built-in classes or properties, that is, you are displaying only those classes and properties explicitly defined in the schema. (This suggests that there could be more than one root in your display.) For example, suppose we have the following RDF schema (namespace declarations omitted for brevity):
```
ex:Person rdfs:subClassOf ex:Animal.
ex:Animal rdfs:subClassOf ex:LivingThing.
ex:Plant rdfs:subClassOf ex:LivingThing.
ex:LivingThing rdfs:subClassOf ex:SpatialThing.
ex:Herbivore rdfs:subClassOf ex:Animal.

ex:eats rdf:type rdf:Property;
     	rdfs:domain ex:Animal.
ex:eatsOnlyPlants rdf:type rdf:Property;
	          rdfs:subPropertyOf ex:eats;
	          rdfs:domain ex:Herbivore;
	          rdfs:range ex:Plants.
```
The resulting XHTML should contain two nested lists, one for the classes and one for the properties. They might look like (this is merely an example, not a template):
```
<h2>Classes</h2>
	<ul>
No way		<li>ex:SpatialThing
			<ul>
				<li>ex:LivingThing
					<ul>...</ul>
				</li>
			</ul>
		<li>
	</ul>

<h2>Properties</h2>
	<ul>
		<li>ex:eats
			<ul>
				<li>ex:eatsOnlyPlants</li>
	....
```
Part 2
Using rdflib, write a program that takes an RDF document (in RDF/XML) and an RDFS document (in RDF/XML) and then generates an RDF document (in RDF/XML) which contains, for every URI label in the RDF document, all the rdf:type triples for that URI, whether explicit or implicit, and no others.
- Explicit type triples are those with an rdf:type as their property.
- Implicit (or implied) type triples are, for the purposes of this assignment determined by an empty axiom set and a subset of the RDF and RDFS inference rules, namely:
  - rdf1 (inferring type rdf:Property)
  - rdfs2 (inferring type from rdfs:domain)
  - rdfs3 (inferring type from rdfs:range)
  (Note: Two of these rules are explained on page 100 of the textbook (though not by name) rdf1 corresponds to the first rule on that page, and rdfs3 to the fourth rule on that page.).
Extra credit: Correctly handle subclass and subproperty cycles.
Hints and notes
- Contrary to prior hints, you should definitely merge the RDF document and the RDFS schema into a single triplestore. So your scripts should have one "premises" triplestore and one "conclusions" triplestore
- Use rdflib's serialization to output RDF/XML for part 2 (i.e., the outputting shold be trivial)
- For part 1, the result file should be valid XHTML. Check with the validator!
- Use the sample script as a starting place.
- You should be able to invoke the rdfs2xhtml script by the following command line: python rdfs2xhtml.py sourceFile destFile. The sample script shows how to do this.
- The infertypes.py should take an option for schema, (-s and --schema). (Use the optparse module.) So all of python infertypes.py rdfFile destFile, python infertypes.py -s schemaFile rdfFile destFile and python infertypes.py --schema schemaFile rdfFile destFile should work.Sorry, this seems a bit too complicated. infertypes.py should always take 3 arguments, the sourceRDF, the schema, and the destinationRDF. The schema might have no assertions in it.
Submission notes
- Each document should be a distinct attachement to an email message. The email message should be addressed to bparsia@isr.umd.edu with the subject line: "[CMCS498w] PA1". The attachments should be named as indicated below. The homework is due by beginning of class on March 3, 2004.
- Prepend your initials plus a dash to your program file names, which should be rdfs2xhtml.py and infertypes.py respectively. Hence, my programs in fulfillment of this assignment would be bjp-rdfs2xhtml.py and bjp-infertypes.py.
- If you try for the extra credit, submit an additional python file yourintials-rdf2xhtml-cycles.py.