@prefix : <http://www.ontologydesignpatterns.org/ont/is/isexuviae.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 exu: <http://www.ontologydesignpatterns.org/ont/is/exuviae.owl> .
@prefix isexu: <http://www.ontologydesignpatterns.org/ont/is/isexuviae.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/isexuviae.owl> .

<http://www.ontologydesignpatterns.org/ont/is/isexuviae.owl> rdf:type owl:Ontology ;
                                                                            owl:imports <http://www.ontologydesignpatterns.org/ont/d0.owl> ,
                                                                                        <http://www.ontologydesignpatterns.org/ont/is/johnson87is.owl> ,
                                                                                        <http://www.ontologydesignpatterns.org/ont/is/mandlerpaganis.owl> ,
                                                                                        hedblomis: ,
                                                                                        <http://www.ontologydesignpatterns.org/ont/is/exuviae.owl> ,
                                                                                        <https://w3id.org/framester/schema/1.7> ;
                                                                            rdfs:comment """ISAAC network module of comparison among Image Schemas Theories using the intensional epistemological vocabulary of Exuviae module, from COntPare methodology.

Version 1.0: 29-04-2021 includes Hedblom module, Johnson1987 module and MPC module + Exuviae module + DUL + Framester alignments.

Designed by Stefano De Giorgis and Aldo Gangemi.""" .

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

###  http://www.ontologydesignpatterns.org/ont/is/hedblomis.owl#IS_Complexity
hedblomis:IS_Complexity rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept> .


###  http://www.ontologydesignpatterns.org/ont/is/hedblomis.owl#IS_Family
hedblomis:IS_Family rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept> .


###  http://www.ontologydesignpatterns.org/ont/is/hedblomis.owl#IS_Form
hedblomis:IS_Form rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept> .


###  http://www.ontologydesignpatterns.org/ont/is/hedblomis.owl#IS_Profile
hedblomis:IS_Profile rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept> .


###  http://www.ontologydesignpatterns.org/ont/is/hedblomis.owl#IS_Transformation
hedblomis:IS_Transformation rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept> .


###  http://www.ontologydesignpatterns.org/ont/is/hedblomis.owl#SpatialPrimitive
hedblomis:SpatialPrimitive rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept> .


###  http://www.ontologydesignpatterns.org/ont/is/hedblomis.owl#SpatialSchema
hedblomis:SpatialSchema rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept> .


###  http://www.ontologydesignpatterns.org/ont/is/johnson87is.owl#BodilyExperience
johnson87is:BodilyExperience rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept> .


###  http://www.ontologydesignpatterns.org/ont/is/johnson87is.owl#Entailment
johnson87is:Entailment rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept> .


###  http://www.ontologydesignpatterns.org/ont/is/johnson87is.owl#GestaltCriterion
johnson87is:GestaltCriterion rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept> .


###  http://www.ontologydesignpatterns.org/ont/is/johnson87is.owl#GestaltStructure
johnson87is:GestaltStructure rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept> .


###  http://www.ontologydesignpatterns.org/ont/is/johnson87is.owl#IS_Component
johnson87is:IS_Component rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept> .


###  http://www.ontologydesignpatterns.org/ont/is/johnson87is.owl#ImageSchemataTransformation
johnson87is:ImageSchemataTransformation rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept> .


###  http://www.ontologydesignpatterns.org/ont/is/johnson87is.owl#KantianSchemata
johnson87is:KantianSchemata rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept> .


###  http://www.ontologydesignpatterns.org/ont/is/johnson87is.owl#LinguisticRealization
johnson87is:LinguisticRealization rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept> .


###  http://www.ontologydesignpatterns.org/ont/is/johnson87is.owl#MetaphoricalMappingRequirement
johnson87is:MetaphoricalMappingRequirement rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept> .


###  http://www.ontologydesignpatterns.org/ont/is/johnson87is.owl#MetaphoricalProjection
johnson87is:MetaphoricalProjection rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept> .


###  http://www.ontologydesignpatterns.org/ont/is/johnson87is.owl#NeisserSchema
johnson87is:NeisserSchema rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept> .


###  http://www.ontologydesignpatterns.org/ont/is/johnson87is.owl#Script
johnson87is:Script rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept> .


###  http://www.ontologydesignpatterns.org/ont/is/mandlerpaganis.owl#IS_Approach
mandlerpaganis:IS_Approach rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept> .


###  http://www.ontologydesignpatterns.org/ont/is/mandlerpaganis.owl#IS_Combination
mandlerpaganis:IS_Combination rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept> .


###  http://www.ontologydesignpatterns.org/ont/is/mandlerpaganis.owl#IS_ComplexityCriterion
mandlerpaganis:IS_ComplexityCriterion rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept> .


###  http://www.ontologydesignpatterns.org/ont/is/mandlerpaganis.owl#IS_Grouping
mandlerpaganis:IS_Grouping rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept> .


###  http://www.ontologydesignpatterns.org/ont/is/mandlerpaganis.owl#ImageSchema
mandlerpaganis:ImageSchema rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept> .


###  http://www.ontologydesignpatterns.org/ont/is/mandlerpaganis.owl#SchematicIntegration
mandlerpaganis:SchematicIntegration rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept> .


###  http://www.ontologydesignpatterns.org/ont/is/mandlerpaganis.owl#SpatialPrimitive
mandlerpaganis:SpatialPrimitive rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept> .


###  http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#TheoreticalFragment
<http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#TheoreticalFragment> rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Collection> .


###  http://www.ontologydesignpatterns.org/ont/is/isexuviae.owl#ISCombinationFragment
:ISCombinationFragment rdf:type owl:Class ;
                       rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#TheoreticalFragment> ;
                       rdfs:comment """The super class for conceptual fragments about the Concept of \"Image Schema Combinations\" in different theories.
e.g. ways of combining Image Schemas among them, ways of combining Image Schemas with Spatial Primitives, ways of combining Image Schemas with non spatial concepts etc.""" .


###  http://www.ontologydesignpatterns.org/ont/is/isexuviae.owl#ISComponentFragment
:ISComponentFragment rdf:type owl:Class ;
                     rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#TheoreticalFragment> ;
                     rdfs:comment """The super class for conceptual fragments about the Concept of \"Image Schema Components\" in different theories.
e.g. \"components\", \"spatial primitives\", foundamental spatial building blocks\" etc.""" .


###  http://www.ontologydesignpatterns.org/ont/is/isexuviae.owl#ISGroupingFragment
:ISGroupingFragment rdf:type owl:Class ;
                    rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#TheoreticalFragment> ;
                    rdfs:comment """The super class for conceptual fragments about the Concept of \"Image Schema Grouping\" in different theories.
e.g. grouping according to a semantic field, grouping according to activation from lexical material, grouping for complexity degree etc.""" .


###  http://www.ontologydesignpatterns.org/ont/is/isexuviae.owl#ISQualityFragment
:ISQualityFragment rdf:type owl:Class ;
                   rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#TheoreticalFragment> ;
                   rdfs:comment """The super class for conceptual fragments about the Concept of \"Image Schema Quality\" in different theories.
e.g. the Static vs Dynamic Form, the complexity etc.""" .


###  http://www.ontologydesignpatterns.org/ont/is/isexuviae.owl#ISTheory
:ISTheory rdf:type owl:Class ;
          rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Theory> .


###  http://www.ontologydesignpatterns.org/ont/is/isexuviae.owl#ImageSchemaFragment
:ImageSchemaFragment rdf:type owl:Class ;
                     rdfs:subClassOf <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#TheoreticalFragment> ;
                     rdfs:comment "The super class for conceptual fragments about the Concept of \"Image Schema\" in different theories." .


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

###  http://www.ontologydesignpatterns.org/ont/is/hedblomis.owl#IS_CombinationType
hedblomis:IS_CombinationType rdf:type owl:NamedIndividual ,
                                      :ISCombinationFragment ;
                             <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#reframes> johnson87is:ImageSchemataTransformation .


###  http://www.ontologydesignpatterns.org/ont/is/hedblomis.owl#IS_Complexity
hedblomis:IS_Complexity rdf:type owl:NamedIndividual ,
                                 :ISQualityFragment ;
                        <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#explicates> mandlerpaganis:IS_ComplexityCriterion ;
                        <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#hasReframingModus> :FormalizationModus .


###  http://www.ontologydesignpatterns.org/ont/is/hedblomis.owl#IS_Family
hedblomis:IS_Family rdf:type owl:NamedIndividual ,
                             :ISGroupingFragment ;
                    <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#specifies> mandlerpaganis:IS_Grouping .


###  http://www.ontologydesignpatterns.org/ont/is/hedblomis.owl#IS_Form
hedblomis:IS_Form rdf:type owl:NamedIndividual ,
                           :ISQualityFragment .


###  http://www.ontologydesignpatterns.org/ont/is/hedblomis.owl#IS_Profile
hedblomis:IS_Profile rdf:type owl:NamedIndividual ,
                              :ISGroupingFragment ;
                     <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#hasReframingModus> :ISActivationModus ;
                     <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#reframes> mandlerpaganis:IS_Grouping .


###  http://www.ontologydesignpatterns.org/ont/is/hedblomis.owl#IS_Transformation
hedblomis:IS_Transformation rdf:type owl:NamedIndividual ,
                                     :ISCombinationFragment .


###  http://www.ontologydesignpatterns.org/ont/is/hedblomis.owl#SpatialPrimitive
hedblomis:SpatialPrimitive rdf:type owl:NamedIndividual ,
                                    :ISComponentFragment ;
                           <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#reuses> mandlerpaganis:SpatialPrimitive .


###  http://www.ontologydesignpatterns.org/ont/is/hedblomis.owl#SpatialSchema
hedblomis:SpatialSchema rdf:type owl:NamedIndividual ,
                                 :ImageSchemaFragment ;
                        <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#hasReframingModus> :FormalizationModus ;
                        <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#reframes> johnson87is:ImageSchema ;
                        <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#reuses> mandlerpaganis:ImageSchema .


###  http://www.ontologydesignpatterns.org/ont/is/johnson87is.owl#GestaltStructure
johnson87is:GestaltStructure rdf:type owl:NamedIndividual .


###  http://www.ontologydesignpatterns.org/ont/is/johnson87is.owl#IS_Component
johnson87is:IS_Component rdf:type owl:NamedIndividual ,
                                  :ISComponentFragment .


###  http://www.ontologydesignpatterns.org/ont/is/johnson87is.owl#ImageSchema
johnson87is:ImageSchema rdf:type owl:NamedIndividual ,
                                 :ImageSchemaFragment ;
                        <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#explicates> johnson87is:KantianSchemata ,
                                                                                                           johnson87is:NeisserSchema ;
                        <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#hasReframingModus> :EmbodiementCognitionModus .


###  http://www.ontologydesignpatterns.org/ont/is/johnson87is.owl#ImageSchemataTransformation
johnson87is:ImageSchemataTransformation rdf:type owl:NamedIndividual ,
                                                 :ISCombinationFragment .


###  http://www.ontologydesignpatterns.org/ont/is/johnson87is.owl#KantianSchemata
johnson87is:KantianSchemata rdf:type owl:NamedIndividual ,
                                     :ImageSchemaFragment .


###  http://www.ontologydesignpatterns.org/ont/is/johnson87is.owl#NeisserSchema
johnson87is:NeisserSchema rdf:type owl:NamedIndividual ,
                                   :ImageSchemaFragment .


###  http://www.ontologydesignpatterns.org/ont/is/mandlerpaganis.owl#IS_Combination
mandlerpaganis:IS_Combination rdf:type owl:NamedIndividual ,
                                       :ISCombinationFragment .


###  http://www.ontologydesignpatterns.org/ont/is/mandlerpaganis.owl#IS_ComplexityCriterion
mandlerpaganis:IS_ComplexityCriterion rdf:type owl:NamedIndividual ,
                                               :ISQualityFragment .


###  http://www.ontologydesignpatterns.org/ont/is/mandlerpaganis.owl#IS_Grouping
mandlerpaganis:IS_Grouping rdf:type owl:NamedIndividual ,
                                    :ISGroupingFragment .


###  http://www.ontologydesignpatterns.org/ont/is/mandlerpaganis.owl#ImageSchema
mandlerpaganis:ImageSchema rdf:type owl:NamedIndividual ,
                                    :ImageSchemaFragment ;
                           <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#reframes> johnson87is:ImageSchema .


###  http://www.ontologydesignpatterns.org/ont/is/mandlerpaganis.owl#SchematicIntegration
mandlerpaganis:SchematicIntegration rdf:type owl:NamedIndividual ,
                                             :ISCombinationFragment .


###  http://www.ontologydesignpatterns.org/ont/is/mandlerpaganis.owl#SpatialPrimitive
mandlerpaganis:SpatialPrimitive rdf:type owl:NamedIndividual ,
                                         :ISComponentFragment ;
                                <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#hasReframingModus> :FormalizationModus ;
                                <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#reframes> johnson87is:IS_Component .


###  http://www.ontologydesignpatterns.org/ont/is/isexuviae.owl#EmbodiementCognitionModus
:EmbodiementCognitionModus rdf:type owl:NamedIndividual ,
                                    <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#ReframingModus> ;
                           rdfs:comment "Some Entity is reframed with the addition of some conceptual aspect related to Embodied Cognition Theory." .


###  http://www.ontologydesignpatterns.org/ont/is/isexuviae.owl#FormalizationModus
:FormalizationModus rdf:type owl:NamedIndividual ,
                             <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#ReframingModus> ;
                    rdfs:comment "The derived Entity is more formalized than the source Entity, this could drive to an easier operationalizability, formal reuse, etc." .


###  http://www.ontologydesignpatterns.org/ont/is/isexuviae.owl#HedblomISTheory
:HedblomISTheory rdf:type owl:NamedIndividual ,
                          :ISTheory ;
                 <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#conceptuallyDerivedFrom> :MPCISTheory .


###  http://www.ontologydesignpatterns.org/ont/is/isexuviae.owl#ISActivationModus
:ISActivationModus rdf:type owl:NamedIndividual ,
                            <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#ReframingModus> ;
                   rdfs:comment "The Grouping of Image Schemas could be done based on their activation from some linguistic material." .


###  http://www.ontologydesignpatterns.org/ont/is/isexuviae.owl#Johnson87ISTheory
:Johnson87ISTheory rdf:type owl:NamedIndividual ,
                            :ISTheory .


###  http://www.ontologydesignpatterns.org/ont/is/isexuviae.owl#MPCISTheory
:MPCISTheory rdf:type owl:NamedIndividual ,
                      :ISTheory ;
             <http://www.ontologydesignpatterns.org/ont/is/exuvia.owl#reuses> johnson87is:GestaltStructure .


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