Namespace(rdf = http://www.w3.org/1999/02/22-rdf-syntax-ns#) Namespace(xsd = http://www.w3.org/2001/XMLSchema#) Namespace(rdfs = http://www.w3.org/2000/01/rdf-schema#) Namespace(owl = http://www.w3.org/2002/07/owl#) Namespace(a = http://protege.stanford.edu/books4a#) Ontology( Class(a:AfricanLion partial a:Lion) Class(a:Animal partial) Class(a:Book partial) Class(a:BookAboutAfricanLions complete intersectionOf(a:Book restriction(a:about someValuesFrom (a:AfricanLion)))) Class(a:BookAboutAnimals complete intersectionOf(restriction(a:about someValuesFrom (a:Animal)) a:Book)) Class(a:BookAboutLions complete intersectionOf(a:Book restriction(a:about someValuesFrom (a:Lion)))) Class(a:Lion partial a:Animal) AnnotationProperty(rdfs:seeAlso) ObjectProperty(a:about domain(unionOf())) DatatypeProperty(a:bookTitle domain(a:Book) range(xsd:string)) Individual(a:LionsLifeInThePrideBook annotation(rdfs:seeAlso http://isbn.nu/0736809643) type(a:BookAboutLions) value(a:bookTitle "Lions: Life in the Pride"^^http://www.w3.org/2001/XMLSchema#string)) Individual(a:TheAfricanLionBook annotation(rdfs:seeAlso http://isbn.nu/089686328X) type(a:BookAboutAfricanLions) value(a:bookTitle "The African Lion"^^http://www.w3.org/2001/XMLSchema#string)) )