Upload New File

RandomOntologies/BigOntologies/BigOntologies/InitialOntology1.owl

+Prefix(:=<http://www.loa.istc.cnr.it/dolce/dolce-owl/DOLCE#>)
+Prefix(owl:=<http://www.w3.org/2002/07/owl#>)
+Prefix(rdf:=<http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
+Prefix(xml:=<http://www.w3.org/XML/1998/namespace>)
+Prefix(xsd:=<http://www.w3.org/2001/XMLSchema#>)
+Prefix(rdfs:=<http://www.w3.org/2000/01/rdf-schema#>)
+
+
+Ontology(<http://example.org/random.owl/InitialOntology>
+Annotation(rdfs:comment "DOLCE in OWL for RandomOntologies experiments ..."^^xsd:string)
+
+Declaration(Class(<http://example.org/random.owl#AT>))
+Declaration(Class(<http://example.org/random.owl#Abstract>))
+Declaration(Class(<http://example.org/random.owl#AbstractQuality>))
+Declaration(Class(<http://example.org/random.owl#AbstractRegion>))
+Declaration(Class(<http://example.org/random.owl#Accomplishment>))
+Declaration(Class(<http://example.org/random.owl#Achievement>))
+Declaration(Class(<http://example.org/random.owl#AgentivePhysicalObject>))
+Declaration(Class(<http://example.org/random.owl#AgentiveSocialObject>))
+Declaration(Class(<http://example.org/random.owl#AmountOfMatter>))
+Declaration(Class(<http://example.org/random.owl#ArbitrarySum>))
+Declaration(Class(<http://example.org/random.owl#CAT>))
+Declaration(Class(<http://example.org/random.owl#Cbwxaih>))
+Declaration(Class(<http://example.org/random.owl#Cgydrlk>))
+Declaration(Class(<http://example.org/random.owl#ColorQuality>))
+Declaration(Class(<http://example.org/random.owl#ColorRegion>))
+Declaration(Class(<http://example.org/random.owl#Combo>))
+Declaration(Class(<http://example.org/random.owl#Endurant>))
+Declaration(Class(<http://example.org/random.owl#Eventive>))
+Declaration(Class(<http://example.org/random.owl#Feature>))
+Declaration(Class(<http://example.org/random.owl#MentalObject>))
+Declaration(Class(<http://example.org/random.owl#NonAgentivePhysicalObject>))
+Declaration(Class(<http://example.org/random.owl#NonAgentiveSocialObject>))
+Declaration(Class(<http://example.org/random.owl#NonPhysicalEndurant>))
+Declaration(Class(<http://example.org/random.owl#NonPhysicalObject>))
+Declaration(Class(<http://example.org/random.owl#Particular>))
+Declaration(Class(<http://example.org/random.owl#Perdurant>))
+Declaration(Class(<http://example.org/random.owl#PhysicalEndurant>))
+Declaration(Class(<http://example.org/random.owl#PhysicalObject>))
+Declaration(Class(<http://example.org/random.owl#PhysicalQuality>))
+Declaration(Class(<http://example.org/random.owl#PhysicalRegion>))
+Declaration(Class(<http://example.org/random.owl#Process>))
+Declaration(Class(<http://example.org/random.owl#Quality>))
+Declaration(Class(<http://example.org/random.owl#Region>))
+Declaration(Class(<http://example.org/random.owl#ShapeQuality>))
+Declaration(Class(<http://example.org/random.owl#ShapeRegion>))
+Declaration(Class(<http://example.org/random.owl#SizeQuality>))
+Declaration(Class(<http://example.org/random.owl#SizeRegion>))
+Declaration(Class(<http://example.org/random.owl#SocialAgent>))
+Declaration(Class(<http://example.org/random.owl#SocialObject>))
+Declaration(Class(<http://example.org/random.owl#Society>))
+Declaration(Class(<http://example.org/random.owl#SpaceRegion>))
+Declaration(Class(<http://example.org/random.owl#SpatialLocation>))
+Declaration(Class(<http://example.org/random.owl#State>))
+Declaration(Class(<http://example.org/random.owl#Stative>))
+Declaration(Class(<http://example.org/random.owl#TasteQuality>))
+Declaration(Class(<http://example.org/random.owl#TasteRegion>))
+Declaration(Class(<http://example.org/random.owl#TemporalLocation>))
+Declaration(Class(<http://example.org/random.owl#TemporalQuality>))
+Declaration(Class(<http://example.org/random.owl#TemporalRegion>))
+Declaration(Class(<http://example.org/random.owl#TimeInterval>))
+Declaration(ObjectProperty(<http://example.org/random.owl#cHasPart>))
+Declaration(ObjectProperty(<http://example.org/random.owl#cHasProperPart>))
+Declaration(ObjectProperty(<http://example.org/random.owl#cOverlaps>))
+Declaration(ObjectProperty(<http://example.org/random.owl#hasColorQuale>))
+Declaration(ObjectProperty(<http://example.org/random.owl#hasLocationQuale>))
+Declaration(ObjectProperty(<http://example.org/random.owl#hasPart>))
+Declaration(ObjectProperty(<http://example.org/random.owl#hasProperPart>))
+Declaration(ObjectProperty(<http://example.org/random.owl#hasQuale>))
+Declaration(ObjectProperty(<http://example.org/random.owl#hasQuality>))
+Declaration(ObjectProperty(<http://example.org/random.owl#hasShapeQuale>))
+Declaration(ObjectProperty(<http://example.org/random.owl#hasSizeQuale>))
+Declaration(ObjectProperty(<http://example.org/random.owl#hasTasteQuale>))
+Declaration(ObjectProperty(<http://example.org/random.owl#overlaps>))
+Declaration(ObjectProperty(<http://example.org/random.owl#participates>))
+Declaration(ObjectProperty(<http://example.org/random.owl#presentAt>))
+Declaration(NamedIndividual(<http://example.org/random.owl/InitialOntology#combo>))
+
+############################
+#   Object Properties
+############################
+
+# Object Property: <http://example.org/random.owl#cHasPart> (<http://example.org/random.owl#cHasPart>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#cHasPart> "constant part")
+SubObjectPropertyOf(<http://example.org/random.owl#cHasPart> <http://example.org/random.owl#cOverlaps>)
+TransitiveObjectProperty(<http://example.org/random.owl#cHasPart>)
+ObjectPropertyDomain(Annotation(rdfs:comment "From Dd25, Ad10") <http://example.org/random.owl#cHasPart> <http://example.org/random.owl#Endurant>)
+ObjectPropertyDomain(Annotation(rdfs:comment "inferred from Dd25") <http://example.org/random.owl#cHasPart> ObjectSomeValuesFrom(<http://example.org/random.owl#presentAt> <http://example.org/random.owl#TimeInterval>))
+ObjectPropertyRange(Annotation(rdfs:comment "From Dd25, Ad10") <http://example.org/random.owl#cHasPart> <http://example.org/random.owl#Endurant>)
+ObjectPropertyRange(Annotation(rdfs:comment "Dd25 (half)") <http://example.org/random.owl#cHasPart> ObjectSomeValuesFrom(<http://example.org/random.owl#presentAt> <http://example.org/random.owl#TimeInterval>))
+
+# Object Property: <http://example.org/random.owl#cHasProperPart> (<http://example.org/random.owl#cHasProperPart>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#cHasProperPart> "constant proper part")
+SubObjectPropertyOf(<http://example.org/random.owl#cHasProperPart> <http://example.org/random.owl#cHasPart>)
+TransitiveObjectProperty(<http://example.org/random.owl#cHasProperPart>)
+ObjectPropertyDomain(<http://example.org/random.owl#cHasProperPart> <http://example.org/random.owl#Endurant>)
+ObjectPropertyDomain(Annotation(rdfs:comment "inferred from Dd25") <http://example.org/random.owl#cHasProperPart> ObjectSomeValuesFrom(<http://example.org/random.owl#presentAt> <http://example.org/random.owl#TimeInterval>))
+ObjectPropertyRange(<http://example.org/random.owl#cHasProperPart> <http://example.org/random.owl#Endurant>)
+ObjectPropertyRange(Annotation(rdfs:comment "inferred from Dd25") <http://example.org/random.owl#cHasProperPart> ObjectSomeValuesFrom(<http://example.org/random.owl#presentAt> <http://example.org/random.owl#TimeInterval>))
+
+# Object Property: <http://example.org/random.owl#cOverlaps> (<http://example.org/random.owl#cOverlaps>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#cOverlaps> "constant overlap. Here we view the ontology as a snapshot at one time instant.")
+SymmetricObjectProperty(<http://example.org/random.owl#cOverlaps>)
+ObjectPropertyDomain(<http://example.org/random.owl#cOverlaps> <http://example.org/random.owl#Endurant>)
+ObjectPropertyDomain(Annotation(rdfs:comment "inferred from Dd25") <http://example.org/random.owl#cOverlaps> ObjectSomeValuesFrom(<http://example.org/random.owl#presentAt> <http://example.org/random.owl#TimeInterval>))
+ObjectPropertyRange(<http://example.org/random.owl#cOverlaps> <http://example.org/random.owl#Endurant>)
+ObjectPropertyRange(Annotation(rdfs:comment "inferred from Dd25") <http://example.org/random.owl#cOverlaps> ObjectSomeValuesFrom(<http://example.org/random.owl#presentAt> <http://example.org/random.owl#TimeInterval>))
+
+# Object Property: <http://example.org/random.owl#hasColorQuale> (<http://example.org/random.owl#hasColorQuale>)
+
+SubObjectPropertyOf(<http://example.org/random.owl#hasColorQuale> <http://example.org/random.owl#hasQuale>)
+FunctionalObjectProperty(<http://example.org/random.owl#hasColorQuale>)
+ObjectPropertyDomain(<http://example.org/random.owl#hasColorQuale> <http://example.org/random.owl#ColorQuality>)
+ObjectPropertyRange(<http://example.org/random.owl#hasColorQuale> <http://example.org/random.owl#ColorRegion>)
+
+# Object Property: <http://example.org/random.owl#hasLocationQuale> (<http://example.org/random.owl#hasLocationQuale>)
+
+SubObjectPropertyOf(<http://example.org/random.owl#hasLocationQuale> <http://example.org/random.owl#hasQuale>)
+ObjectPropertyDomain(<http://example.org/random.owl#hasLocationQuale> <http://example.org/random.owl#SpatialLocation>)
+ObjectPropertyRange(<http://example.org/random.owl#hasLocationQuale> <http://example.org/random.owl#SpaceRegion>)
+
+# Object Property: <http://example.org/random.owl#hasPart> (<http://example.org/random.owl#hasPart>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#hasPart> "part")
+SubObjectPropertyOf(Annotation(rdfs:comment "From Ad5 and Dd15") <http://example.org/random.owl#hasPart> <http://example.org/random.owl#overlaps>)
+TransitiveObjectProperty(<http://example.org/random.owl#hasPart>)
+ObjectPropertyDomain(Annotation(rdfs:comment "Ad1 (half)") <http://example.org/random.owl#hasPart> ObjectUnionOf(<http://example.org/random.owl#Abstract> <http://example.org/random.owl#Perdurant>))
+ObjectPropertyRange(Annotation(rdfs:comment "Ad1 (half)") <http://example.org/random.owl#hasPart> ObjectUnionOf(<http://example.org/random.owl#Abstract> <http://example.org/random.owl#Perdurant>))
+
+# Object Property: <http://example.org/random.owl#hasProperPart> (<http://example.org/random.owl#hasProperPart>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#hasProperPart> "proper part")
+SubObjectPropertyOf(Annotation(rdfs:comment "D14 (half)
+irreflexivity impossible (property implies domain=Thing, and use of Self incompatible with transitivity)") <http://example.org/random.owl#hasProperPart> <http://example.org/random.owl#hasPart>)
+TransitiveObjectProperty(<http://example.org/random.owl#hasProperPart>)
+
+# Object Property: <http://example.org/random.owl#hasQuale> (<http://example.org/random.owl#hasQuale>)
+
+SubObjectPropertyOf(<http://example.org/random.owl#hasQuale> owl:topObjectProperty)
+FunctionalObjectProperty(<http://example.org/random.owl#hasQuale>)
+ObjectPropertyDomain(<http://example.org/random.owl#hasQuale> <http://example.org/random.owl#Quality>)
+ObjectPropertyRange(<http://example.org/random.owl#hasQuale> <http://example.org/random.owl#Region>)
+
+# Object Property: <http://example.org/random.owl#hasQuality> (<http://example.org/random.owl#hasQuality>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#hasQuality> "Has quality, temporal snapshot, it shoud be inverse functional but ...")
+ObjectPropertyDomain(<http://example.org/random.owl#hasQuality> ObjectUnionOf(<http://example.org/random.owl#Endurant> <http://example.org/random.owl#Perdurant>))
+ObjectPropertyRange(<http://example.org/random.owl#hasQuality> <http://example.org/random.owl#Quality>)
+
+# Object Property: <http://example.org/random.owl#hasShapeQuale> (<http://example.org/random.owl#hasShapeQuale>)
+
+SubObjectPropertyOf(<http://example.org/random.owl#hasShapeQuale> <http://example.org/random.owl#hasQuale>)
+FunctionalObjectProperty(<http://example.org/random.owl#hasShapeQuale>)
+ObjectPropertyDomain(<http://example.org/random.owl#hasShapeQuale> <http://example.org/random.owl#ShapeQuality>)
+ObjectPropertyRange(<http://example.org/random.owl#hasShapeQuale> <http://example.org/random.owl#ShapeRegion>)
+
+# Object Property: <http://example.org/random.owl#hasSizeQuale> (<http://example.org/random.owl#hasSizeQuale>)
+
+SubObjectPropertyOf(<http://example.org/random.owl#hasSizeQuale> <http://example.org/random.owl#hasQuale>)
+FunctionalObjectProperty(<http://example.org/random.owl#hasSizeQuale>)
+ObjectPropertyDomain(<http://example.org/random.owl#hasSizeQuale> <http://example.org/random.owl#SizeQuality>)
+ObjectPropertyRange(<http://example.org/random.owl#hasSizeQuale> <http://example.org/random.owl#SizeRegion>)
+
+# Object Property: <http://example.org/random.owl#hasTasteQuale> (<http://example.org/random.owl#hasTasteQuale>)
+
+SubObjectPropertyOf(<http://example.org/random.owl#hasTasteQuale> <http://example.org/random.owl#hasQuale>)
+FunctionalObjectProperty(<http://example.org/random.owl#hasTasteQuale>)
+ObjectPropertyDomain(<http://example.org/random.owl#hasTasteQuale> <http://example.org/random.owl#TasteQuality>)
+ObjectPropertyRange(<http://example.org/random.owl#hasTasteQuale> <http://example.org/random.owl#TasteRegion>)
+
+# Object Property: <http://example.org/random.owl#overlaps> (<http://example.org/random.owl#overlaps>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#overlaps> "overlap")
+SymmetricObjectProperty(<http://example.org/random.owl#overlaps>)
+ObjectPropertyDomain(Annotation(rdfs:comment "From Ad1 and Dd15") <http://example.org/random.owl#overlaps> ObjectUnionOf(<http://example.org/random.owl#Abstract> <http://example.org/random.owl#Perdurant>))
+ObjectPropertyRange(Annotation(rdfs:comment "From Ad1 and Dd15") <http://example.org/random.owl#overlaps> ObjectUnionOf(<http://example.org/random.owl#Abstract> <http://example.org/random.owl#Perdurant>))
+
+# Object Property: <http://example.org/random.owl#participates> (<http://example.org/random.owl#participates>)
+
+ObjectPropertyDomain(<http://example.org/random.owl#participates> <http://example.org/random.owl#Endurant>)
+ObjectPropertyRange(<http://example.org/random.owl#participates> <http://example.org/random.owl#Perdurant>)
+
+# Object Property: <http://example.org/random.owl#presentAt> (<http://example.org/random.owl#presentAt>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#presentAt> "present at")
+ObjectPropertyDomain(Annotation(rdfs:comment "From Dd40, Dd30, Dd31, Dd32, Dd33") <http://example.org/random.owl#presentAt> ObjectUnionOf(<http://example.org/random.owl#Endurant> <http://example.org/random.owl#Perdurant> <http://example.org/random.owl#Quality>))
+ObjectPropertyRange(Annotation(rdfs:comment "From Dd40, Dd30, Dd31, Dd32, Dd33") <http://example.org/random.owl#presentAt> <http://example.org/random.owl#TimeInterval>)
+
+
+
+############################
+#   Classes
+############################
+
+# Class: <http://example.org/random.owl#AT> (<http://example.org/random.owl#AT>)
+
+AnnotationAssertion(Annotation(rdfs:comment "Do we need it??") rdfs:comment <http://example.org/random.owl#AT> "Atom (atomic Abstract or Perdurant)")
+SubClassOf(<http://example.org/random.owl#AT> <http://example.org/random.owl#Particular>)
+SubClassOf(<http://example.org/random.owl#AT> ObjectUnionOf(<http://example.org/random.owl#Abstract> <http://example.org/random.owl#Perdurant>))
+SubClassOf(Annotation(rdfs:comment "Dd16") <http://example.org/random.owl#AT> ObjectComplementOf(ObjectSomeValuesFrom(ObjectInverseOf(<http://example.org/random.owl#hasProperPart>) <http://example.org/random.owl#Particular>)))
+
+# Class: <http://example.org/random.owl#Abstract> (<http://example.org/random.owl#Abstract>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#Abstract> "Abstract"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#Abstract> <http://example.org/random.owl#Particular>)
+SubClassOf(Annotation(rdfs:comment "Ad3 (half)") <http://example.org/random.owl#Abstract> ObjectAllValuesFrom(<http://example.org/random.owl#hasPart> <http://example.org/random.owl#Abstract>))
+SubClassOf(Annotation(rdfs:comment "from Dd15, Ad3") <http://example.org/random.owl#Abstract> ObjectAllValuesFrom(<http://example.org/random.owl#overlaps> <http://example.org/random.owl#Abstract>))
+SubClassOf(Annotation(rdfs:comment "Ad3 (half)") <http://example.org/random.owl#Abstract> ObjectAllValuesFrom(ObjectInverseOf(<http://example.org/random.owl#hasPart>) <http://example.org/random.owl#Abstract>))
+SubClassOf(Annotation(rdfs:comment "from Dd15, Ad3") <http://example.org/random.owl#Abstract> ObjectAllValuesFrom(ObjectInverseOf(<http://example.org/random.owl#overlaps>) <http://example.org/random.owl#Abstract>))
+DisjointClasses(<http://example.org/random.owl#Abstract> <http://example.org/random.owl#Endurant>)
+DisjointClasses(<http://example.org/random.owl#Abstract> <http://example.org/random.owl#Perdurant>)
+DisjointClasses(<http://example.org/random.owl#Abstract> <http://example.org/random.owl#Quality>)
+
+# Class: <http://example.org/random.owl#AbstractQuality> (<http://example.org/random.owl#AbstractQuality>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#AbstractQuality> "Abstract Quality"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#AbstractQuality> <http://example.org/random.owl#Quality>)
+DisjointClasses(<http://example.org/random.owl#AbstractQuality> <http://example.org/random.owl#PhysicalQuality>)
+DisjointClasses(<http://example.org/random.owl#AbstractQuality> <http://example.org/random.owl#TemporalQuality>)
+
+# Class: <http://example.org/random.owl#AbstractRegion> (<http://example.org/random.owl#AbstractRegion>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#AbstractRegion> "Abstract Region"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#AbstractRegion> <http://example.org/random.owl#Region>)
+DisjointClasses(<http://example.org/random.owl#AbstractRegion> <http://example.org/random.owl#PhysicalRegion>)
+DisjointClasses(<http://example.org/random.owl#AbstractRegion> <http://example.org/random.owl#TemporalRegion>)
+
+# Class: <http://example.org/random.owl#Accomplishment> (<http://example.org/random.owl#Accomplishment>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#Accomplishment> "Accomplishment"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#Accomplishment> <http://example.org/random.owl#Eventive>)
+DisjointClasses(<http://example.org/random.owl#Accomplishment> <http://example.org/random.owl#Achievement>)
+
+# Class: <http://example.org/random.owl#Achievement> (<http://example.org/random.owl#Achievement>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#Achievement> "Achievement"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#Achievement> <http://example.org/random.owl#Eventive>)
+
+# Class: <http://example.org/random.owl#AgentivePhysicalObject> (<http://example.org/random.owl#AgentivePhysicalObject>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#AgentivePhysicalObject> "Agentive Physical Object"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#AgentivePhysicalObject> <http://example.org/random.owl#PhysicalObject>)
+DisjointClasses(<http://example.org/random.owl#AgentivePhysicalObject> <http://example.org/random.owl#NonAgentivePhysicalObject>)
+
+# Class: <http://example.org/random.owl#AgentiveSocialObject> (<http://example.org/random.owl#AgentiveSocialObject>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#AgentiveSocialObject> "Agentive Social Object"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#AgentiveSocialObject> <http://example.org/random.owl#SocialObject>)
+DisjointClasses(<http://example.org/random.owl#AgentiveSocialObject> <http://example.org/random.owl#NonAgentiveSocialObject>)
+
+# Class: <http://example.org/random.owl#AmountOfMatter> (<http://example.org/random.owl#AmountOfMatter>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#AmountOfMatter> "Amount of Matter"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#AmountOfMatter> <http://example.org/random.owl#PhysicalEndurant>)
+DisjointClasses(<http://example.org/random.owl#AmountOfMatter> <http://example.org/random.owl#Feature>)
+DisjointClasses(<http://example.org/random.owl#AmountOfMatter> <http://example.org/random.owl#PhysicalObject>)
+
+# Class: <http://example.org/random.owl#ArbitrarySum> (<http://example.org/random.owl#ArbitrarySum>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#ArbitrarySum> "Arbitrary Sum"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#ArbitrarySum> <http://example.org/random.owl#Endurant>)
+DisjointClasses(<http://example.org/random.owl#ArbitrarySum> <http://example.org/random.owl#NonPhysicalEndurant>)
+DisjointClasses(<http://example.org/random.owl#ArbitrarySum> <http://example.org/random.owl#PhysicalEndurant>)
+
+# Class: <http://example.org/random.owl#CAT> (<http://example.org/random.owl#CAT>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#CAT> "Constant atom (constantly atomic Endurant)")
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#CAT> "do we need it?")
+SubClassOf(<http://example.org/random.owl#CAT> <http://example.org/random.owl#Endurant>)
+SubClassOf(<http://example.org/random.owl#CAT> ObjectComplementOf(ObjectSomeValuesFrom(ObjectInverseOf(<http://example.org/random.owl#cHasProperPart>) <http://example.org/random.owl#Particular>)))
+
+# Class: <http://example.org/random.owl#ColorQuality> (<http://example.org/random.owl#ColorQuality>)
+
+SubClassOf(<http://example.org/random.owl#ColorQuality> <http://example.org/random.owl#PhysicalQuality>)
+SubClassOf(<http://example.org/random.owl#ColorQuality> ObjectSomeValuesFrom(<http://example.org/random.owl#hasColorQuale> <http://example.org/random.owl#ColorRegion>))
+DisjointClasses(<http://example.org/random.owl#ColorQuality> <http://example.org/random.owl#ShapeQuality>)
+DisjointClasses(<http://example.org/random.owl#ColorQuality> <http://example.org/random.owl#SizeQuality>)
+DisjointClasses(<http://example.org/random.owl#ColorQuality> <http://example.org/random.owl#SpatialLocation>)
+DisjointClasses(<http://example.org/random.owl#ColorQuality> <http://example.org/random.owl#TasteQuality>)
+
+# Class: <http://example.org/random.owl#ColorRegion> (<http://example.org/random.owl#ColorRegion>)
+
+SubClassOf(<http://example.org/random.owl#ColorRegion> <http://example.org/random.owl#PhysicalRegion>)
+DisjointClasses(<http://example.org/random.owl#ColorRegion> <http://example.org/random.owl#ShapeRegion>)
+DisjointClasses(<http://example.org/random.owl#ColorRegion> <http://example.org/random.owl#SizeRegion>)
+DisjointClasses(<http://example.org/random.owl#ColorRegion> <http://example.org/random.owl#SpaceRegion>)
+DisjointClasses(<http://example.org/random.owl#ColorRegion> <http://example.org/random.owl#TasteRegion>)
+
+# Class: <http://example.org/random.owl#Combo> (<http://example.org/random.owl#Combo>)
+
+SubClassOf(<http://example.org/random.owl#Combo> <http://example.org/random.owl#Cbwxaih>)
+SubClassOf(<http://example.org/random.owl#Combo> <http://example.org/random.owl#Cgydrlk>)
+
+# Class: <http://example.org/random.owl#Endurant> (<http://example.org/random.owl#Endurant>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#Endurant> "Endurant"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#Endurant> <http://example.org/random.owl#Particular>)
+DisjointClasses(<http://example.org/random.owl#Endurant> <http://example.org/random.owl#Perdurant>)
+DisjointClasses(<http://example.org/random.owl#Endurant> <http://example.org/random.owl#Quality>)
+
+# Class: <http://example.org/random.owl#Eventive> (<http://example.org/random.owl#Eventive>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#Eventive> "Event"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#Eventive> <http://example.org/random.owl#Perdurant>)
+DisjointClasses(<http://example.org/random.owl#Eventive> <http://example.org/random.owl#Stative>)
+
+# Class: <http://example.org/random.owl#Feature> (<http://example.org/random.owl#Feature>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#Feature> "Feature"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#Feature> <http://example.org/random.owl#PhysicalEndurant>)
+DisjointClasses(<http://example.org/random.owl#Feature> <http://example.org/random.owl#PhysicalObject>)
+
+# Class: <http://example.org/random.owl#MentalObject> (<http://example.org/random.owl#MentalObject>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#MentalObject> "Mental Object"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#MentalObject> <http://example.org/random.owl#NonPhysicalObject>)
+DisjointClasses(<http://example.org/random.owl#MentalObject> <http://example.org/random.owl#SocialObject>)
+
+# Class: <http://example.org/random.owl#NonAgentivePhysicalObject> (<http://example.org/random.owl#NonAgentivePhysicalObject>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#NonAgentivePhysicalObject> "Non-Agentive Physical Object"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#NonAgentivePhysicalObject> <http://example.org/random.owl#PhysicalObject>)
+
+# Class: <http://example.org/random.owl#NonAgentiveSocialObject> (<http://example.org/random.owl#NonAgentiveSocialObject>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#NonAgentiveSocialObject> "Non-Agentive Social Object"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#NonAgentiveSocialObject> <http://example.org/random.owl#SocialObject>)
+
+# Class: <http://example.org/random.owl#NonPhysicalEndurant> (<http://example.org/random.owl#NonPhysicalEndurant>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#NonPhysicalEndurant> "Non-Physical Endurant"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#NonPhysicalEndurant> <http://example.org/random.owl#Endurant>)
+DisjointClasses(<http://example.org/random.owl#NonPhysicalEndurant> <http://example.org/random.owl#PhysicalEndurant>)
+
+# Class: <http://example.org/random.owl#NonPhysicalObject> (<http://example.org/random.owl#NonPhysicalObject>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#NonPhysicalObject> "Non-Physical Object"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#NonPhysicalObject> <http://example.org/random.owl#NonPhysicalEndurant>)
+
+# Class: <http://example.org/random.owl#Particular> (<http://example.org/random.owl#Particular>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#Particular> "Particular"^^xsd:string)
+
+# Class: <http://example.org/random.owl#Perdurant> (<http://example.org/random.owl#Perdurant>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#Perdurant> "Perdurant"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#Perdurant> <http://example.org/random.owl#Particular>)
+SubClassOf(Annotation(rdfs:comment "Ad2  (half)") <http://example.org/random.owl#Perdurant> ObjectAllValuesFrom(<http://example.org/random.owl#hasPart> <http://example.org/random.owl#Perdurant>))
+SubClassOf(Annotation(rdfs:comment "from Dd15, Ad2") <http://example.org/random.owl#Perdurant> ObjectAllValuesFrom(<http://example.org/random.owl#overlaps> <http://example.org/random.owl#Perdurant>))
+SubClassOf(Annotation(rdfs:comment "Ad2 (half)") <http://example.org/random.owl#Perdurant> ObjectAllValuesFrom(ObjectInverseOf(<http://example.org/random.owl#hasPart>) <http://example.org/random.owl#Perdurant>))
+SubClassOf(Annotation(rdfs:comment "from Dd15, Ad2") <http://example.org/random.owl#Perdurant> ObjectAllValuesFrom(ObjectInverseOf(<http://example.org/random.owl#overlaps>) <http://example.org/random.owl#Perdurant>))
+DisjointClasses(<http://example.org/random.owl#Perdurant> <http://example.org/random.owl#Quality>)
+
+# Class: <http://example.org/random.owl#PhysicalEndurant> (<http://example.org/random.owl#PhysicalEndurant>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#PhysicalEndurant> "Physical Endurant"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#PhysicalEndurant> <http://example.org/random.owl#Endurant>)
+
+# Class: <http://example.org/random.owl#PhysicalObject> (<http://example.org/random.owl#PhysicalObject>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#PhysicalObject> "Physical Object"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#PhysicalObject> <http://example.org/random.owl#PhysicalEndurant>)
+
+# Class: <http://example.org/random.owl#PhysicalQuality> (<http://example.org/random.owl#PhysicalQuality>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#PhysicalQuality> "Physical Quality"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#PhysicalQuality> <http://example.org/random.owl#Quality>)
+DisjointClasses(<http://example.org/random.owl#PhysicalQuality> <http://example.org/random.owl#TemporalQuality>)
+
+# Class: <http://example.org/random.owl#PhysicalRegion> (<http://example.org/random.owl#PhysicalRegion>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#PhysicalRegion> "Physical Region"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#PhysicalRegion> <http://example.org/random.owl#Region>)
+DisjointClasses(<http://example.org/random.owl#PhysicalRegion> <http://example.org/random.owl#TemporalRegion>)
+
+# Class: <http://example.org/random.owl#Process> (<http://example.org/random.owl#Process>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#Process> "Process"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#Process> <http://example.org/random.owl#Stative>)
+DisjointClasses(<http://example.org/random.owl#Process> <http://example.org/random.owl#State>)
+
+# Class: <http://example.org/random.owl#Quality> (<http://example.org/random.owl#Quality>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#Quality> "Quality"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#Quality> <http://example.org/random.owl#Particular>)
+SubClassOf(<http://example.org/random.owl#Quality> ObjectSomeValuesFrom(<http://example.org/random.owl#hasQuale> <http://example.org/random.owl#Region>))
+
+# Class: <http://example.org/random.owl#Region> (<http://example.org/random.owl#Region>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#Region> "Region"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#Region> <http://example.org/random.owl#Abstract>)
+
+# Class: <http://example.org/random.owl#ShapeQuality> (<http://example.org/random.owl#ShapeQuality>)
+
+SubClassOf(<http://example.org/random.owl#ShapeQuality> <http://example.org/random.owl#PhysicalQuality>)
+DisjointClasses(<http://example.org/random.owl#ShapeQuality> <http://example.org/random.owl#SizeQuality>)
+DisjointClasses(<http://example.org/random.owl#ShapeQuality> <http://example.org/random.owl#SpatialLocation>)
+DisjointClasses(<http://example.org/random.owl#ShapeQuality> <http://example.org/random.owl#TasteQuality>)
+
+# Class: <http://example.org/random.owl#ShapeRegion> (<http://example.org/random.owl#ShapeRegion>)
+
+SubClassOf(<http://example.org/random.owl#ShapeRegion> <http://example.org/random.owl#PhysicalRegion>)
+DisjointClasses(<http://example.org/random.owl#ShapeRegion> <http://example.org/random.owl#SizeRegion>)
+DisjointClasses(<http://example.org/random.owl#ShapeRegion> <http://example.org/random.owl#SpaceRegion>)
+DisjointClasses(<http://example.org/random.owl#ShapeRegion> <http://example.org/random.owl#TasteRegion>)
+
+# Class: <http://example.org/random.owl#SizeQuality> (<http://example.org/random.owl#SizeQuality>)
+
+SubClassOf(<http://example.org/random.owl#SizeQuality> <http://example.org/random.owl#PhysicalQuality>)
+DisjointClasses(<http://example.org/random.owl#SizeQuality> <http://example.org/random.owl#SpatialLocation>)
+DisjointClasses(<http://example.org/random.owl#SizeQuality> <http://example.org/random.owl#TasteQuality>)
+
+# Class: <http://example.org/random.owl#SizeRegion> (<http://example.org/random.owl#SizeRegion>)
+
+SubClassOf(<http://example.org/random.owl#SizeRegion> <http://example.org/random.owl#PhysicalRegion>)
+DisjointClasses(<http://example.org/random.owl#SizeRegion> <http://example.org/random.owl#SpaceRegion>)
+DisjointClasses(<http://example.org/random.owl#SizeRegion> <http://example.org/random.owl#TasteRegion>)
+
+# Class: <http://example.org/random.owl#SocialAgent> (<http://example.org/random.owl#SocialAgent>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#SocialAgent> "Social Agent"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#SocialAgent> <http://example.org/random.owl#AgentiveSocialObject>)
+DisjointClasses(<http://example.org/random.owl#SocialAgent> <http://example.org/random.owl#Society>)
+
+# Class: <http://example.org/random.owl#SocialObject> (<http://example.org/random.owl#SocialObject>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#SocialObject> "Social Object"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#SocialObject> <http://example.org/random.owl#NonPhysicalObject>)
+
+# Class: <http://example.org/random.owl#Society> (<http://example.org/random.owl#Society>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#Society> "Society"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#Society> <http://example.org/random.owl#AgentiveSocialObject>)
+
+# Class: <http://example.org/random.owl#SpaceRegion> (<http://example.org/random.owl#SpaceRegion>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#SpaceRegion> "Space Region"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#SpaceRegion> <http://example.org/random.owl#PhysicalRegion>)
+DisjointClasses(<http://example.org/random.owl#SpaceRegion> <http://example.org/random.owl#TasteRegion>)
+
+# Class: <http://example.org/random.owl#SpatialLocation> (<http://example.org/random.owl#SpatialLocation>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#SpatialLocation> "Spatial Location"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#SpatialLocation> <http://example.org/random.owl#PhysicalQuality>)
+DisjointClasses(<http://example.org/random.owl#SpatialLocation> <http://example.org/random.owl#TasteQuality>)
+
+# Class: <http://example.org/random.owl#State> (<http://example.org/random.owl#State>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#State> "State"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#State> <http://example.org/random.owl#Stative>)
+
+# Class: <http://example.org/random.owl#Stative> (<http://example.org/random.owl#Stative>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#Stative> "Stative"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#Stative> <http://example.org/random.owl#Perdurant>)
+
+# Class: <http://example.org/random.owl#TasteQuality> (<http://example.org/random.owl#TasteQuality>)
+
+SubClassOf(<http://example.org/random.owl#TasteQuality> <http://example.org/random.owl#PhysicalQuality>)
+
+# Class: <http://example.org/random.owl#TasteRegion> (<http://example.org/random.owl#TasteRegion>)
+
+SubClassOf(<http://example.org/random.owl#TasteRegion> <http://example.org/random.owl#PhysicalRegion>)
+
+# Class: <http://example.org/random.owl#TemporalLocation> (<http://example.org/random.owl#TemporalLocation>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#TemporalLocation> "Temporal Location"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#TemporalLocation> <http://example.org/random.owl#TemporalQuality>)
+
+# Class: <http://example.org/random.owl#TemporalQuality> (<http://example.org/random.owl#TemporalQuality>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#TemporalQuality> "Temporal Quality"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#TemporalQuality> <http://example.org/random.owl#Quality>)
+
+# Class: <http://example.org/random.owl#TemporalRegion> (<http://example.org/random.owl#TemporalRegion>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#TemporalRegion> "Temporal Region"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#TemporalRegion> <http://example.org/random.owl#Region>)
+
+# Class: <http://example.org/random.owl#TimeInterval> (<http://example.org/random.owl#TimeInterval>)
+
+AnnotationAssertion(rdfs:comment <http://example.org/random.owl#TimeInterval> "Time Interval"^^xsd:string)
+SubClassOf(<http://example.org/random.owl#TimeInterval> <http://example.org/random.owl#TemporalRegion>)
+
+
+############################
+#   Named Individuals
+############################
+
+# Individual: <http://example.org/random.owl/InitialOntology#combo> (<http://example.org/random.owl/InitialOntology#combo>)
+
+ClassAssertion(<http://example.org/random.owl#Combo> <http://example.org/random.owl/InitialOntology#combo>)
+
+
+)
\ No newline at end of file