Prefix: xsd: Prefix: owl: Prefix: jims_pizza: Prefix: xml: Prefix: rdf: Prefix: rdfs: Ontology: Import: Import: Annotations: rdfs:comment "my pizza ontolgy for the protege course" AnnotationProperty: rdfs:comment Datatype: rdf:PlainLiteral Datatype: xsd:integer ObjectProperty: ObjectProperty: SubPropertyOf: ObjectProperty: SubPropertyOf: Domain: Range: DataProperty: Class: SubClassOf: Class: SubClassOf: Class: SubClassOf: only ( or or or or or ), some xsd:integer[>= 841 , <= 970] Class: SubClassOf: Class: SubClassOf: DisjointWith: Class: SubClassOf: Class: SubClassOf: Class: SubClassOf: Class: SubClassOf: Class: SubClassOf: only ( or or or ) Class: EquivalentTo: some xsd:integer[> 800] SubClassOf: Class: SubClassOf: Class: SubClassOf: Class: SubClassOf: Class: SubClassOf: Class: SubClassOf: Class: Class: SubClassOf: Class: SubClassOf: Class: SubClassOf: not ( some ), , some xsd:integer[>= 650 , <= 670], some , only ( or ), some Class: EquivalentTo: some xsd:integer[>= 700 , <= 800] SubClassOf: Class: EquivalentTo: and (not ( some )) SubClassOf: Class: SubClassOf: Class: Class: EquivalentTo: some SubClassOf: Class: SubClassOf: Class: EquivalentTo: some SubClassOf: Class: SubClassOf: Class: SubClassOf: , ( some ) and ( some ), some , some Class: SubClassOf: some xsd:integer[>= 760 , <= 780] Class: Class: Annotations: rdfs:comment "top level class for pizza" SubClassOf: some xsd:integer Class: SubClassOf: Class: Class: SubClassOf: Class: SubClassOf: Class: Class: EquivalentTo: some xsd:integer[> 900] SubClassOf: Class: SubClassOf: Class: SubClassOf: Class: SubClassOf: Class: SubClassOf: Class: SubClassOf: some xsd:integer[>= 840 , <= 870] Class: SubClassOf: DisjointWith: Class: SubClassOf: Class: SubClassOf: Class: SubClassOf: Class: SubClassOf: some , some , Class: SubClassOf: Class: SubClassOf: Class: Class: SubClassOf: Class: SubClassOf: Class: EquivalentTo: some xsd:integer[< 700] SubClassOf: DisjointClasses: ,, DisjointClasses: ,, DisjointClasses: ,,,, DisjointClasses: ,,,,,,,, DisjointClasses: ,,,,, DisjointClasses: ,,,,,,,,,, DisjointClasses: ,,