@prefix : <http://www.ontologydesignpatterns.org/ont/is/isaac.owl#> .
@prefix ex: <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#> .
@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 opla: <http://ontologydesignpatterns.org/opla#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix isaac: <http://www.ontologydesignpatterns.org/ont/is/isaac.owl#> .
@prefix hedblomis: <http://www.ontologydesignpatterns.org/ont/is/hedblomis.owl#> .
@prefix johnson87is: <http://www.ontologydesignpatterns.org/ont/is/johnson87is.owl#> .
@prefix mandlerpaganis: <http://www.ontologydesignpatterns.org/ont/is/mandlerpaganis.owl#> .
@base <http://www.ontologydesignpatterns.org/ont/is/isaac.owl> .

<http://www.ontologydesignpatterns.org/ont/is/isaac.owl> rdf:type owl:Ontology ;
                                                                        owl:imports <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl> .

#################################################################
#    Object Properties
#################################################################

###  http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasComponent
<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasComponent> rdf:type owl:ObjectProperty .


###  http://www.ontologydesignpatterns.org/ont/is/mandlerpaganis.owl#hasSpatialInput
mandlerpaganis:hasSpatialInput rdf:type owl:ObjectProperty ;
                               owl:equivalentProperty isaac:hasSpatialInput .


###  http://www.ontologydesignpatterns.org/ont/is/mandlerpaganis.owl#isTopologyProviderFor
mandlerpaganis:isTopologyProviderFor rdf:type owl:ObjectProperty ;
                                     owl:equivalentProperty isaac:isTopologyProviderFor .


###  http://www.ontologydesignpatterns.org/ont/is/isaac.owl#hasSpatialInput
isaac:hasSpatialInput rdf:type owl:ObjectProperty ;
                      owl:inverseOf isaac:isTopologyProviderFor ;
                      rdfs:domain isaac:SchematicIntegration ;
                      rdfs:range [ rdf:type owl:Class ;
                                   owl:unionOf ( isaac:ImageSchema
                                                 isaac:SpatialPrimitive
                                               )
                                 ] .


###  http://www.ontologydesignpatterns.org/ont/is/isaac.owl#isDynamicFormFor
isaac:isDynamicFormFor rdf:type owl:ObjectProperty ;
                       rdfs:domain isaac:ImageSchema ;
                       rdfs:range isaac:ImageSchema .


###  http://www.ontologydesignpatterns.org/ont/is/isaac.owl#isStaticFormFor
isaac:isStaticFormFor rdf:type owl:ObjectProperty ;
                      rdfs:domain isaac:ImageSchema ;
                      rdfs:range isaac:ImageSchema .


###  http://www.ontologydesignpatterns.org/ont/is/isaac.owl#isTopologyProviderFor
isaac:isTopologyProviderFor rdf:type owl:ObjectProperty .


#################################################################
#    Classes
#################################################################

###  http://www.ontologydesignpatterns.org/ont/is/hedblomis.owl#IS_CombinationType
hedblomis:IS_CombinationType rdf:type owl:Class .


###  http://www.ontologydesignpatterns.org/ont/is/hedblomis.owl#IS_Family
hedblomis:IS_Family rdf:type owl:Class ;
                    owl:equivalentClass isaac:IS_Family .


###  http://www.ontologydesignpatterns.org/ont/is/hedblomis.owl#IS_Form
hedblomis:IS_Form rdf:type owl:Class ;
                  owl:equivalentClass isaac:IS_Form .


###  http://www.ontologydesignpatterns.org/ont/is/hedblomis.owl#IS_Profile
hedblomis:IS_Profile rdf:type owl:Class ;
                     owl:equivalentClass isaac:IS_Profile .


###  http://www.ontologydesignpatterns.org/ont/is/johnson87is.owl#GestaltStructure
johnson87is:GestaltStructure rdf:type owl:Class ;
                             owl:equivalentClass isaac:GestaltStructure .


###  http://www.ontologydesignpatterns.org/ont/is/mandlerpaganis.owl#SchematicIntegration
mandlerpaganis:SchematicIntegration rdf:type owl:Class ;
                                    owl:equivalentClass isaac:SchematicIntegration .


###  http://www.ontologydesignpatterns.org/ont/is/isaac.owl#GestaltStructure
isaac:GestaltStructure rdf:type owl:Class .


###  http://www.ontologydesignpatterns.org/ont/is/isaac.owl#IS_Combination
isaac:IS_Combination rdf:type owl:Class .


###  http://www.ontologydesignpatterns.org/ont/is/isaac.owl#IS_Family
isaac:IS_Family rdf:type owl:Class .


###  http://www.ontologydesignpatterns.org/ont/is/isaac.owl#IS_Form
isaac:IS_Form rdf:type owl:Class .


###  http://www.ontologydesignpatterns.org/ont/is/isaac.owl#IS_Profile
isaac:IS_Profile rdf:type owl:Class .


###  http://www.ontologydesignpatterns.org/ont/is/isaac.owl#ImageSchema
isaac:ImageSchema rdf:type owl:Class ;
                  rdfs:subClassOf isaac:GestaltStructure ,
                                  [ rdf:type owl:Restriction ;
                                    owl:onProperty <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasComponent> ;
                                    owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger ;
                                    owl:onClass isaac:SpatialPrimitive
                                  ] .


###  http://www.ontologydesignpatterns.org/ont/is/isaac.owl#SchematicIntegration
isaac:SchematicIntegration rdf:type owl:Class .


###  http://www.ontologydesignpatterns.org/ont/is/isaac.owl#SpatialPrimitive
isaac:SpatialPrimitive rdf:type owl:Class .


#################################################################
#    Individuals
#################################################################

###  http://www.ontologydesignpatterns.org/ont/is/hedblomis.owl#IS_CombinationType
hedblomis:IS_CombinationType rdf:type owl:NamedIndividual ,
                                      ex:TheoreticalFragment .


###  http://www.ontologydesignpatterns.org/ont/is/hedblomis.owl#IS_Family
hedblomis:IS_Family rdf:type owl:NamedIndividual ,
                             ex:TheoreticalFragment ;
                    owl:sameAs isaac:IS_Family .


###  http://www.ontologydesignpatterns.org/ont/is/hedblomis.owl#IS_Form
hedblomis:IS_Form rdf:type owl:NamedIndividual ,
                           ex:TheoreticalFragment ;
                  owl:sameAs isaac:IS_Form .


###  http://www.ontologydesignpatterns.org/ont/is/hedblomis.owl#IS_Profile
hedblomis:IS_Profile rdf:type owl:NamedIndividual ,
                              ex:TheoreticalFragment ;
                     owl:sameAs isaac:IS_Profile .


###  http://www.ontologydesignpatterns.org/ont/is/hedblomis.owl#SpatialPrimitive
hedblomis:SpatialPrimitive rdf:type owl:NamedIndividual ,
                                    ex:TheoreticalFragment .


###  http://www.ontologydesignpatterns.org/ont/is/hedblomis.owl#SpatialSchema
hedblomis:SpatialSchema rdf:type owl:NamedIndividual ,
                                 ex:TheoreticalFragment .


###  http://www.ontologydesignpatterns.org/ont/is/johnson87is.owl#GestaltStructure
johnson87is:GestaltStructure rdf:type owl:NamedIndividual ,
                                      ex:TheoreticalFragment ;
                             owl:sameAs isaac:GestaltStructure .


###  http://www.ontologydesignpatterns.org/ont/is/mandlerpaganis.owl#SchematicIntegration
mandlerpaganis:SchematicIntegration rdf:type owl:NamedIndividual ,
                                             ex:TheoreticalFragment ;
                                    owl:sameAs isaac:SchematicIntegration .


###  http://www.ontologydesignpatterns.org/ont/is/isaac.owl#GestaltStructure
isaac:GestaltStructure rdf:type owl:NamedIndividual ,
                                ex:TheoreticalFragment .


###  http://www.ontologydesignpatterns.org/ont/is/isaac.owl#IS_Combination
isaac:IS_Combination rdf:type owl:NamedIndividual ,
                              ex:TheoreticalFragment ;
                     ex:reframes hedblomis:IS_CombinationType .

[ rdf:type owl:Axiom ;
   owl:annotatedSource isaac:IS_Combination ;
   owl:annotatedProperty ex:reframes ;
   owl:annotatedTarget hedblomis:IS_CombinationType ;
   rdfs:comment "hedblomis:IS_CombinationType presented four individuals but two of them were the same way of combining image schemas, named differently through time. isaac:IS_Combination presents only the three updated."
 ] .


###  http://www.ontologydesignpatterns.org/ont/is/isaac.owl#IS_Family
isaac:IS_Family rdf:type owl:NamedIndividual ,
                         ex:TheoreticalFragment .


###  http://www.ontologydesignpatterns.org/ont/is/isaac.owl#IS_Form
isaac:IS_Form rdf:type owl:NamedIndividual ,
                       ex:TheoreticalFragment .


###  http://www.ontologydesignpatterns.org/ont/is/isaac.owl#IS_Profile
isaac:IS_Profile rdf:type owl:NamedIndividual ,
                          ex:TheoreticalFragment .


###  http://www.ontologydesignpatterns.org/ont/is/isaac.owl#ImageSchema
isaac:ImageSchema rdf:type owl:NamedIndividual ,
                           ex:TheoreticalFragment ;
                  ex:reframes hedblomis:SpatialSchema ;
                  ex:specifies hedblomis:SpatialSchema .

[ rdf:type owl:Axiom ;
   owl:annotatedSource isaac:ImageSchema ;
   owl:annotatedProperty ex:reframes ;
   owl:annotatedTarget hedblomis:SpatialSchema ;
   rdfs:comment "isaac:ImageSchema is restricted as requiring min 2 spatial primitives. While in the whole previous literature it was asserted that image schemas have \"parts\" and are Gestal Structures there was no formalizations of this part-structure."
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource isaac:ImageSchema ;
   owl:annotatedProperty ex:specifies ;
   owl:annotatedTarget hedblomis:SpatialSchema ;
   rdfs:comment "The hedblomis:SpatialSchema includes some image schemas almost never used, or uses double individuals for the same image schema. The isaac:ImageSchema more than a relabeling is a polishing of the hedblomis:SpatialSchema class."
 ] .


###  http://www.ontologydesignpatterns.org/ont/is/isaac.owl#SchematicIntegration
isaac:SchematicIntegration rdf:type owl:NamedIndividual ,
                                    ex:TheoreticalFragment .


###  http://www.ontologydesignpatterns.org/ont/is/isaac.owl#SpatialPrimitive
isaac:SpatialPrimitive rdf:type owl:NamedIndividual ,
                                ex:TheoreticalFragment ;
                       ex:specifies hedblomis:SpatialPrimitive .

[ rdf:type owl:Axiom ;
   owl:annotatedSource isaac:SpatialPrimitive ;
   owl:annotatedProperty ex:specifies ;
   owl:annotatedTarget hedblomis:SpatialPrimitive ;
   rdfs:comment "Polishing the list of spatial primitives, some of them were never used or mentioned except for a specific linguistic example."
 ] .


###  Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi