Dolce Lite in FT

Philippe Martin - 24 March 2004

This file shows a translation of Dolce Lite in the FT notation. The version 2.0 of Dolce Lite in OWL format was taken as source.

In order to integrate the categories of Dolce Lite into the multi-source ontology (MSO) of WebKB-2, these categories are prefixed by "dl#". Connections to categories from other ontologies, including a few to Dolce Full (prefix: "dolce#"), have been made. More connections to Dolce Full will be made when it is fully integrated (click here for a still-to-be-refined translation of Dolce Full in the FCG format). To see and browse such connections from a category, copy-paste its identifier into the following text field (or click here for more options). A few hyperlinks are also provided below.
      With long link names


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;