Mad Cows and Englishmen October 2001 Sean K. Bechhofer A demonstration ontology, primarily intended to show the use of the FaCT reasoner with DAML+OIL ontologies 1.1 boy 10:48:15 23.08.2001 seanb bus 10:48:15 23.08.2001 seanb car 10:48:15 23.08.2001 seanb cat 10:48:15 23.08.2001 seanb cow Cows are naturally vegetarians. 10:48:15 23.08.2001 seanb dog 10:48:15 23.08.2001 seanb kid 10:48:15 23.08.2001 seanb man 10:48:15 23.08.2001 seanb van 10:48:15 23.08.2001 seanb van driver 10:48:15 23.08.2001 seanb bus company 10:48:15 23.08.2001 seanb brain 16:06:59 13.09.2001 seanb grass 10:48:15 23.08.2001 seanb lorry 10:48:15 23.08.2001 seanb plant 10:48:15 23.08.2001 seanb sheep 10:48:15 23.08.2001 seanb truck 10:48:15 23.08.2001 seanb woman 10:48:15 23.08.2001 seanb haulage company 10:48:15 23.08.2001 seanb bicycle A human propelled vehicle, with two wheels 10:48:15 23.08.2001 seanb giraffe 16:06:11 13.09.2001 seanb dog liker 10:48:15 23.08.2001 seanb dog owner 10:48:15 23.08.2001 seanb grownup 10:48:15 23.08.2001 seanb vehicle 10:48:15 23.08.2001 seanb quality broadsheet 10:48:15 23.08.2001 seanb white van man White van man is a man who drives a white van. 10:48:15 23.08.2001 seanb animal 10:48:15 23.08.2001 seanb colour 10:48:15 23.08.2001 seanb driver 10:48:15 23.08.2001 seanb publication 10:48:15 23.08.2001 seanb mad cow A mad cow is a cow that has been eating the brains of sheep. 10:33:20 21.09.2001 seanb company 10:48:15 23.08.2001 seanb person 10:48:15 23.08.2001 seanb haulage worker 10:48:15 23.08.2001 seanb red top 10:48:15 23.08.2001 seanb bone 18:30:05 13.09.2001 seanb girl 10:48:15 23.08.2001 seanb leaf 16:05:11 13.09.2001 seanb tree 16:05:03 13.09.2001 seanb bus driver 10:48:15 23.08.2001 seanb magazine 10:48:15 23.08.2001 seanb cat liker 10:48:15 23.08.2001 seanb cat owner 10:48:15 23.08.2001 seanb broadsheet 10:48:15 23.08.2001 seanb haulage truck driver 10:48:15 23.08.2001 seanb old lady 10:48:15 23.08.2001 seanb pet owner 10:48:15 23.08.2001 seanb lorry driver 10:48:15 23.08.2001 seanb newspaper 10:48:15 23.08.2001 seanb tabloid 10:48:15 23.08.2001 seanb vegetarian A vegetarian is defined as an animals that eats no other animals, or parts of animal. 10:48:15 23.08.2001 seanb animal lover Someone who really likes animals 10:48:15 23.08.2001 seanb age 16:02:54 13.09.2001 seanb sex 16:02:54 13.09.2001 seanb works for 16:02:54 13.09.2001 seanb part of 16:02:54 13.09.2001 seanb likes 16:02:54 13.09.2001 seanb reads 16:02:54 13.09.2001 seanb has child 16:02:54 13.09.2001 seanb drives 16:02:54 13.09.2001 seanb has pet Anyone who has a pet must like that pet. 16:02:54 13.09.2001 seanb eats 16:02:54 13.09.2001 seanb eaten by 16:02:54 13.09.2001 seanb has part 16:02:54 13.09.2001 seanb has colour 16:02:54 13.09.2001 seanb has father 16:02:54 13.09.2001 seanb has mother 16:02:54 13.09.2001 seanb has parent 16:02:54 13.09.2001 seanb service_number 16:02:54 13.09.2001 seanb 16:02:55 13.09.2001 seanb 16:02:55 13.09.2001 seanb 16:02:55 13.09.2001 seanb 2001-12-12T18:19:57Z seanb 16:02:55 13.09.2001 seanb 2001-12-12T18:19:57Z seanb 16:02:55 13.09.2001 seanb 2001-12-12T18:19:57Z seanb 16:02:55 13.09.2001 seanb 2001-12-12T18:19:57Z seanb 2001-12-12T18:19:57Z seanb 16:02:55 13.09.2001 seanb 16:02:55 13.09.2001 seanb