The following downloads are available for models described in the text of Working Ontologist. Downloads are given in both N3 and OWL/RDF (XML) format. The N3 format is more readable by humans, and visually matches the expression of triples given in the text most closely. The OWL/RDF form is given as well since this is the W3C standard serialization, and there are some tools that will only read this format.

These files can be processed by a number of semantic web tools:

Any of these tools can be used to view any of the models on this Examples page. Depending on their inferencing capabilities (see notes for each model below), they may be used to replicate the inferences in the text.

All the figures in Working Ontologist and on the errata page were produced using TopBraid Composer(tm). All inferences in the text were generated by Pellet, and rendered into N3 by TopBraid Composer.

First Edition (USA, 2008)

Chapter 3

Product.txt is the tab-delimited input for Challenge 1. Product.n3 and Product.owl give the same data as triples.

The files Shakespeare.n3 and .owl include all the triples in the Shakespeare examples through figure 3-6.

Chapter 5

The files Shopping.n3 and Shopping.owl contain all the triples needed for the inferencing examples in chapter 5. They can be run with an RDFS inferencer (or an OWL inferencer) to produce the inferences shown in the text.

Chapter 6

The files TheFirm.n3 and TheFirm.owl contain all the triples needed for the inferencing examples in chapter 6. They can be run with an RDFS inferencer (or an OWL inferencer) to produce the inferences shown in the text.

Chapter 7

The files Ancestry.n3 and Ancestry.owl contain all the triples for the royal family example in figure 7-3. Since this example uses owl:TransitiveProperty, an OWL-based inferencer like Pellet or OWLIM is needed to reproduce the inferences in the text.

The files IceCream.n3 and IceCream.owl contain all the triples for the project planning example (based on an ice cream recipe) in figures 7-5 through 7-7. Since this example uses owl:TransitiveProperty, an OWL-based inferencer like Pellet or OWLIM is needed to reproduce the inferences in the text.

The files Stones.n3 and Stones.owl contain all the triples for the Mick Jagger example in figure 7-4. Since this example uses owl:TransitiveProperty, an OWL-based inferencer like Pellet or OWLIM is needed to reproduce the inferences in the text.

Chapter 9

The files CableProvider.n3 and CableProvider.owl work together with the files Questionnaire.n3 and Questionnaire.owl respectively. The CableProvider files include the data about a particular cable televion questionnaire, while the Questionnaire files include the model of the questionnaire in the abstract. CableProvider imports Questionnaire using owl:imports.

All the aspects of the example described in chapter 9 are in this file, including particulars about which answers have been selected etc.

The example continues in chapter 10, where more advanced aspects of OWL are used in the modeling.

Because of the use of OWL constructs in this example, and OWL reasoner like OWLIM or Pellet must be used to replicate the inferences in the text.

The files ShakespearesChildren.n3 and ShakespearesChildren.owl contain all the triples for the example in figure 9-10. Since this example reasons with classes, a tableau reasoner like Pellet is needed to reproduce the inferences in the text.

Chapter 10

The files Baseball.n3 and Baseball.owl contain all the triples for the example in figures 10-9 and 10-10. Since this example reasons with classes, a tableau reasoner like Pellet is needed to reproduce the inferences in the text.

The files Cableprovider.n3 and Cableprovider.owl work together with the files Questionnaire.n3 and Questionnaire.owl respectively. This is the continuation of the example of the same name from Chapter 9.

Because of the advanced use of cardinality in these examples, a genuine tableau reasoner is required, like Pellet.

The files JamesDean.n3 and JamesDean.owl contain all the triples for the examples concerning movies in Chapter 10. Because of the advanced use of cardinality, a tableau reasoner like Pellet must be used to replicate the inferences in the text.

The final part of the example, in which Rocky is caught in a contradiction, is not included, because of the disruptive effect that a contradiction has on the tableau algorithm.

The files JDContradiction.n3 and JDContradiction.owl continue the James Dean example, with the contradiction in Rocky's statements. Pellet can give an explanation for the contradiction in terms of asserted axioms. Other tableau reasoners should be able to detect the contradiction.