Figure 4

This test uses the Adult Mouse Anatomy Ontology with 2740 classes. For testing, a fixed number of instances of Adult mouse is generated for a single run. Moreover, each of the mouse instances is assigned a single exception by means of a lacks-part tail statement. Using this dataset, a query for all parts of each mouse is run, which yields 2729 parts per mouse (derived from applicable canonical relationships). As intended, tails are not contained, and neither are any parts of tail like caudal vertebra. The graph shows the number of seconds for test runs with 0 to 80 mouse instances. For some numbers of instances, the time consumption is considerably less than for others. The difference of over 300 seconds is caused by the answer set solver DLV. We have been unable to examine the source code in order to determine the reason for this behaviour. The dataset used for this test can be accessed from the project webpage [45].