Dolce Lite in FT

Philippe Martin - 24 March 2004

dl#entity
 > dl#atom {dl#perdurant dl#endurant dl#quality dl#abstract},
 = dl#particular,
 dl#conceptual_relation=> dl#entity,  //here "=>" means "necessarily has for"
 dl#has_quality=> dl#quality,
 dl#host_of=> dl#feature,
 dl#generic_location=> dl#entity,
 & dolce#entity dolce#particular;     //"&" means "related to"

   dl#atom__At (*a)
    > dl#temporary_atom,
    := [dl#entity *a, dl#proper_part=> no dl#entity],
    dl#atomic_part_of=> dl#entity;

      dl#temporary_atom__tAt (*ta)
       := [dl#atom *ta, dl#temporary_proper_part=> no dl#entity],
       dl#temporary_atomic_part_of=> dl#entity,
       & dolce#temporary_atom;

   dl#perdurant__occurence__PD
    > dl#stative dl#event,  //not exclusive in the OWL source but exclusive in the MSO
    dl#participant=> dl#endurant,
    dl#p_spatial_location=> dl#space_region,
    dl#temporal_location=> dl#temporal_region,
    dl#happens_at=> dl#time_interval,
    dl#has_quality: 1..* dl#Temporal_location, //"1..*" means "at least 1"
    dl#participant=> 1..* dl#endurant,
    dl#has_quality=> dl#temporal_quality,
    dl#part=> dl#perdurant,
    dl#constituted_by=> dl#perdurant,
    & dolce#perdurant;

      dl#stative__STV
       > {dl#state dl#process},
       & dolce#stative;

          dl#state__ST  & dolce#state ;
          dl#process__PRO  & dolce#process ;

      dl#event__EV
       > dl#achievement dl#accomplishment, //not exclusive in the OWL source but exclusive in the MSO
       & dolce#event;

         dl#achievement__ACH  & dolce#achievement;

         dl#accomplishment__ACC
          > dl#activity dl#phenomenon,
          & dolce#accomplishment;

            dl#activity
             > dl#transaction;

               dl#transaction > dl#commerce;

            dl#phenomenon
             > dl#economic_process dl#biological_process;

               dl#biological_process
                dl#participant: 1..* dl#biological_object;


   dl#endurant__ED (^the main characteristic of endurants is that all of them are independent essential wholes^)
    > {dl#physical_endurant dl#non-physical_endurant dl#arbitrary_sum},
    dl#temporary_part=> dl#endurant,
    dl#temporary_part_of=> dl#endurant,
    dl#temporary_proper_part=> dl#endurant,
    dl#temporary_proper_part_of=> dl#endurant,
    dl#e_temporal_location=> dl#temporal_region,
    dl#present_at=> dl#time_interval,
    dl#depends_on=> dl#endurant,
    dl#depend_on_of=> dl#endurant,
    dl#descriptively_depends_on=> dl#non-physical_endurant,
    dl#participant_in=> dl#perdurant,
    & dolce#endurant;

      dl#physical_endurant__PED
       > {dl#feature dl#amount_of_matter dl#physical_object},
       dl#physical_location=> dl#physical_region,
       dl#spatial_location=> dl#space_region,
       dl#physical_depend_on_of=> dl#non-physical_endurant,
       dl#part=> dl#physical_endurant,
       dl#constituted_by=> dl#physical_endurant,
       dl#has_quality=> 1..* dl#physical_quality,
       & dolce#physical_endurant;

         dl#feature__F
          > dl#dependent_place dl#relevant_part,
          dl#host=> dl#entity,
          & dolce#feature;

         dl#physical_object__POB
          > {dl#agentive_physical_object dl#non-agentive_physical_object},
          & dolce#physical_object;

            dl#agentive_physical_object__APO
             > dl#natural_person,
             & dolce#agentive_physical_object;

            dl#non-agentive_physical_object__NAPO
             > dl#physical_place dl#biological_object dl#artifact dl#unitary_collection,
             & dolce#non-agentive_physical_object;

               dl#physical_place
                > dl#geographical_object;

               dl#biological_object
                > dl#organism;

               dl#artifact
                > dl#instrumentality dl#construction;

                  dl#instrumentality
                   > dl#conveyance dl#device dl#equipment;

                     dl#conveyance > dl#vehicle;

       dl#non-physical_endurant__NPED
        > dl#non-physical_object,
        dl#abstract_location=> dl#abstract_region,
        dl#depends_on_spatial_location=> dl#space_region,
        dl#physically_depends_on=> dl#physical_endurant,
        dl#descriptive_depend_on_of=> dl#endurant,
        dl#part=> dl#non-physical_endurant,
        dl#constituted_by=> dl#non-physical_endurant,
        dl#has_quality=> dl#abstract_quality,
        & dolce#non-physical_endurant;

          dl#non-physical_object__NPOB
           > {dl#mental_object dl#social_object},
           & dolce#non-physical_object;

             dl#mental_object__MOB  & dolce#mental_object;

             dl#social_object__SOB
              > {dl#agentive_social_object dl#non-agentive_social_object},
              & dolce#social_object;

                dl#agentive_social_object__ASO
                 > dl#society dl#social_agent,
                 & dolce#agentive_social_object;

                   dl#society__SC  > dl#group,  & dolce#society;

                   dl#social_agent__SAG
                    > dl#socially_constructed_person dl#social_unit,
                    & dolce#social_agent;

                      dl#socially_constructed_person
                       > dl#legally_constructed_person dl#social_role;

                         dl#legally_constructed_person > dl#organization;

                dl#non-agentive_social_object__NASO
                 > dl#information_object dl#non-physical_place,
                 & dolce#non-agentive_social_object;

                   dl#information_object
                    dl#physically_depends_on: 1..* OR{dl#physical_endurant dl#perdurant dl#physical_quality dl#physical_region};

                   dl#non-physical_place
                    > dl#political_geographic_object,
                    dl#physically_depends_on: 1..* dl#physical_place;

                      dl#political_geographic_object
                       > dl#country,
                       dl#physically_depends_on: 1..* dl#geographical_object;

   dl#quality__Q
    > {dl#temporal_quality dl#physical_quality dl#abstract_quality},
    dl#inherent_in=> 1..* dl#entity,
    dl#q_location=> dl#region,  dl#has_quale=> dl#quale,
    dl#has_quality=> dl#quality,
    & dolce#quality;

      dl#temporal_quality__TQ
       > dl#Temporal_location,
       dl#q_location=> dl#temporal_region,
       dl#has_quality=> dl#temporal_quality,
       dl#inherent_in=> 1..* dl#perdurant,
       & dolce#temporal_quality;

      dl#physical_quality__PQ
       > dl#Spatial_location dl#color_quality dl#shape_quality,
       dl#q_present_at=> dl#time_interval,
       dl#q_location=> dl#physical_region,
       dl#has_quality=> dl#physical_quality,
       dl#inherent_in=> 1..* dl#physical_endurant,
       & dolce#physical_quality;

         dl#Spatial_location__SL
          & dolce#Spatial_location;

      dl#abstract_quality__AQ
       dl#q_location=> dl#abstract_region,
       dl#has_quality=> dl#abstract_quality,
       dl#inherent_in=> 1..* dl#non-physical_endurant,
       & dolce#abstract_quality;

   dl#abstract__AB
    > dl#region dl#fact dl#set,
    dl#has_quality=> 0 dl#Spatial_location,
    & dolce#abstract;

      dl#region__R
       >  dl#quale {dl#physical_region dl#temporal_region dl#abstract_region},
       dl#generic_location_of=> dl#entity, 
       dl#q_location_of=> dl#quality,
       & dolce#region;

         dl#quale (*q) := [dl#region *q, dl#proper_part=> no dl#region],
          dl#quale_of=> dl#quality;

         dl#physical_region__PR
          > dl#space_region dl#volume,
          dl#physical_location_of=> dl#physical_endurant,
          dl#part=> dl#physical_region,
          & dolce#physical_region;

            dl#space_region__S
            > dl#spatio_temporal_region,
            dl#spatial_location_of=> 1..* dl#physical_endurant,
            dl#p_spatial_location_of=> dl#perdurant,
            dl#depend_on_spatial_location_of=> dl#non-physical_endurant,
            dl#part=> dl#space_region,
            & dolce#space_region;

         dl#temporal_region__TR
          > dl#time_interval,
          dl#temporal_location_of=> dl#perdurant,
          dl#e_temporal_location_of=> dl#endurant,
          dl#part=> dl#temporal_region,
          & dolce#temporal_region;

            dl#time_interval__T
             > dl#date,
             dl#time_of_presence_of=> dl#endurant,
             dl#time_of_q_presence_of=> dl#physical_quality,
             dl#time_of_happening_of=> dl#perdurant,
             & dolce#time_interval;

         dl#abstract_region__AR
          dl#abstract_location_of=> dl#non-physical_endurant,
          dl#part=> dl#abstract_region,
          & dolce#abstract_region;






   dl#extrinsic_relation (? ,rdfs#literal) (^support for relations ranging on concrete data types^)
    > dl#name dl#identifier;

      dl#name (dl#entity ,rdfs#literal) (^a relation between an instance of a concept and the name (instance of a concrete data type) of that concept; the name has to be a lexically meaningful name^) 
       - dl#name_of;

      dl#identifier (dl#entity,rdfs#literal) (^a relation between an individual of a concept and the identifier of that concept; the identifier is a concrete data type, usually non_meaningful from the lexical viewpoint; useful to map many database relationships^) 
       - dl#identifier_of;


   dl#constant_participant__PC.C (dl#perdurant, dl#endurant)
    - dl#constant_participant_in,
    & dolce#constant_participant;

   dl#temporary_proper_part_of (dl#endurant ,dl#endurant)
    - dl#temporary_proper_part,
    & dolce#temporary_proper_part; //inverted parameters (hence, not "_of")

   dl#temporary_part_of (dl#endurant, dl#endurant)  - dl#temporary_part,
    > dl#temporary_component_of,
    & dolce#temporary_part__P; //inverted parameters (hence, not "_of")

      dl#temporary_component_of (dl#endurant ,dl#endurant)
       - dl#temporary_component;

   dl#conceptual_relation (dl#entity ,dl#entity) 
    - dl#conceptual_relation,
    > dl#immediate_relation dl#mediated_relation;

      dl#immediate_relation (dl#entity ,dl#entity)
       > dl#inherent_in dl#q_location dl#constituted_by dl#part dl#participant;

         dl#inherent_in (dl#quality ,dl#entity) - dl#has_quality;

         dl#q_location (dl#quality ,dl#region) - dl#q_location_of,
          > dl#has_quale;

            dl#has_quale (dl#quality ,dl#quale) - dl#quale_of;

         dl#constituted_by__substance (dl#entity ,dl#entity)  - dl#constitutes,
          > dl#has_member,
          & dolce#constitution__K; //pm: to check

            dl#has_member (dl#entity ,dl#entity) - dl#member_of;

         dl#part (dl#entity ,dl#entity)  - dl#part_of,
          ^ pm#transitive_relation_type,
          > dl#component dl#atomic_part;
         dl#part_of (dl#entity ,dl#entity) & dolce#part__P;

            dl#component (dl#entity ,dl#entity) - dl#component_of;

            dl#atomic_part (dl#entity ,dl#entity) - dl#atomic_part_of,
             > dl#temporary_atomic_part;
            dl#atomic_part_of (dl#entity, dl#entity) & dolce#atomic_part__AtP;

               dl#temporary_atomic_part (dl#entity ,dl#entity)
                -  dl#temporary_atomic_part_of;
               dl#temporary_atomic_part_of (dl#entity ,dl#entity)
                & dolce#temporary_atomic_part__AtP;

         dl#participant__PC (dl#perdurant ,dl#endurant)
          - dl#participant_in,
          > dl#total_participant dl#temporary_total_participant,
          & dolce#participant;

            dl#total_participant (dl#perdurant ,dl#endurant)
             - dl#total_participant_in;

            dl#temporary_total_participant (dl#perdurant ,dl#endurant)
             - dl#temporary_total_participant_in;

      dl#mediated_relation (dl#entity ,dl#entity)
       > dl#present_at dl#q_present_at dl#happens_at dl#overlaps dl#sibling_part dl#proper_part dl#generic_location dl#depends_on dl#host,
       - dl#mediated_relation; //reflexive

         dl#present_at (dl#endurant ,dl#time_interval)
          - dl#time_of_presence_of;

         dl#q_present_at (dl#physical_quality ,dl#time_interval)
          - dl#time_of_q_presence_of;

         dl#happens_at (dl#perdurant ,dl#time_interval)
          - dl#time_of_happening_of;

         dl#overlaps (dl#entity ,dl#entity)  - dl#overlaps;

         dl#sibling_part (dl#entity ,dl#entity)  - dl#sibling_part;

         dl#proper_part (dl#entity ,dl#entity)  - dl#proper_part_of,
          ^ pm#transitive_relation_type;
         dl#proper_part_of (dl#entity ,dl#entity) & dolce#proper_part__PP;

         dl#generic_location (dl#entity ,dl#entity)
          - dl#generic_location_of,
          > dl#exact_location;

            dl#exact_location (dl#entity ,dl#region)  - dl#exact_location_of,
             > dl#location dl#e_temporal_location dl#p_spatial_location dl#abstract_location dl#depends_on_spatial_location;

               dl#location (dl#entity ,dl#region)  - dl#location_of,
                > dl#physical_location dl#temporal_location;

                  dl#physical_location (dl#physical_endurant ,dl#physical_region)
                   > dl#spatial_location;

                     dl#spatial_location (dl#physical_endurant ,dl#space_region)
                      - dl#spatial_location_of;

                  dl#temporal_location (dl#perdurant ,dl#temporal_region)
                   > dl#duration,
                   - dl#temporal_location_of;

                   dl#duration (dl#perdurant ,dl#temporal_region)
                    - dl#duration_of;

               dl#e_temporal_location (dl#endurant ,dl#temporal_region) 
                - dl#e_temporal_location;

               dl#p_spatial_location (dl#perdurant ,dl#space_region)
                - dl#p_spatial_location_of;

               dl#abstract_location (dl#non-physical_endurant ,dl#abstract_region)
                - dl#abstract_location_of;

               dl#depends_on_spatial_location (dl#non-physical_endurant ,dl#space_region)
                - dl#depend_on_spatial_location_of;

         dl#depends_on (dl#endurant ,dl#endurant) 
          - dl#depend_on_of,
          > dl#physically_depends_on dl#descriptively_depends_on;

            dl#physically_depends_on (dl#endurant ,dl#endurant)
             - dl#physical_depend_on_of;

            dl#descriptively_depends_on (dl#endurant ,dl#non-physical_endurant)
             - dl#descriptive_depend_on_of;

         dl#host (dl#feature ,dl#entity)  - dl#host_of;