<?xml version="1.0"?>
<rdf:RDF
    xmlns:dol="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#"
    xmlns:common="http://www.loa-cnr.it/ontologies/CommonSenseMapping.owl#"
    xmlns:edns="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns="http://www.loa-cnr.it/ontologies/Causality.owl#"
    xmlns:daml="http://www.daml.org/2001/03/daml+oil#"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
  xml:base="http://www.loa-cnr.it/ontologies/Causality.owl">
  <owl:Ontology rdf:about="">
    <owl:imports rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl"/>
  </owl:Ontology>
  <owl:Class rdf:ID="changing-value-range">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#value-for"/>
        <owl:someValuesFrom>
          <owl:Class>
            <owl:intersectionOf rdf:parseType="Collection">
              <owl:Class rdf:about="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#physical-region"/>
              <owl:Restriction>
                <owl:someValuesFrom>
                  <owl:Class>
                    <owl:intersectionOf rdf:parseType="Collection">
                      <owl:Class rdf:about="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#physical-region"/>
                      <owl:Restriction>
                        <owl:someValuesFrom>
                          <owl:Class>
                            <owl:intersectionOf rdf:parseType="Collection">
                              <owl:Class rdf:about="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#physical-quality"/>
                              <owl:Restriction>
                                <owl:someValuesFrom>
                                  <owl:Class>
                                    <owl:intersectionOf rdf:parseType="Collection">
                                      <owl:Class rdf:about="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#physical-region"/>
                                      <owl:Restriction>
                                        <owl:someValuesFrom>
                                          <owl:Class rdf:ID="changed-value-range"/>
                                        </owl:someValuesFrom>
                                        <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#valued-by"/>
                                      </owl:Restriction>
                                    </owl:intersectionOf>
                                  </owl:Class>
                                </owl:someValuesFrom>
                                <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#q-location"/>
                              </owl:Restriction>
                            </owl:intersectionOf>
                          </owl:Class>
                        </owl:someValuesFrom>
                        <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#q-location-of"/>
                      </owl:Restriction>
                    </owl:intersectionOf>
                  </owl:Class>
                </owl:someValuesFrom>
                <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#q-location-of"/>
              </owl:Restriction>
            </owl:intersectionOf>
          </owl:Class>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A parameter restricting an acceptable range of changing (new) values according to a change description.
The value region must be the q-location of the same physical quality of the changed value range in the same description.</rdfs:comment>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:ID="change-description"/>
        </owl:someValuesFrom>
        <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#defined-by"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#parameter"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="physical-change-dependence">
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#relation"/>
          <owl:Restriction>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#d-uses"/>
            <owl:someValuesFrom>
              <owl:Class rdf:ID="change-course"/>
            </owl:someValuesFrom>
          </owl:Restriction>
          <owl:Restriction>
            <owl:someValuesFrom>
              <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#proper-part"/>
                <owl:someValuesFrom>
                  <owl:Class rdf:ID="physical-quality-change"/>
                </owl:someValuesFrom>
              </owl:Restriction>
            </owl:someValuesFrom>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#satisfied-by"/>
          </owl:Restriction>
          <owl:Restriction>
            <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
            >2</owl:cardinality>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#d-uses"/>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A dependency between two change descriptions.</rdfs:comment>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#component"/>
        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >2</owl:cardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#component"/>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#change-description"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="circumstantial-dependence">
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:ID="diachronic-dependence"/>
          <owl:Class>
            <owl:complementOf>
              <owl:Class rdf:ID="physical-causality-dependence"/>
            </owl:complementOf>
          </owl:Class>
          <owl:Restriction>
            <owl:someValuesFrom>
              <owl:Restriction>
                <owl:someValuesFrom>
                  <owl:Class rdf:ID="basic-quality-change"/>
                </owl:someValuesFrom>
                <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#proper-part"/>
              </owl:Restriction>
            </owl:someValuesFrom>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#satisfied-by"/>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
  </owl:Class>
  <owl:Class rdf:ID="physical-causation-fact">
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#situation"/>
          <owl:Restriction>
            <owl:someValuesFrom>
              <owl:Class rdf:ID="physical-causation-relation"/>
            </owl:someValuesFrom>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#satisfies"/>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
  </owl:Class>
  <owl:Class rdf:about="#change-description">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A description of a changing event, according to some sequence (a course) and parameters.</rdfs:comment>
    <rdfs:subClassOf rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#description"/>
  </owl:Class>
  <owl:Class rdf:ID="mass">
    <rdfs:subClassOf rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#physical-quality"/>
  </owl:Class>
  <owl:Class rdf:about="#changed-value-range">
    <rdfs:subClassOf rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#parameter"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#defined-by"/>
        <owl:someValuesFrom rdf:resource="#change-description"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#value-for"/>
        <owl:someValuesFrom>
          <owl:Class>
            <owl:intersectionOf rdf:parseType="Collection">
              <owl:Class rdf:about="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#physical-region"/>
              <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#q-location-of"/>
                <owl:someValuesFrom>
                  <owl:Class>
                    <owl:intersectionOf rdf:parseType="Collection">
                      <owl:Class rdf:about="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#physical-region"/>
                      <owl:Restriction>
                        <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#q-location-of"/>
                        <owl:someValuesFrom>
                          <owl:Class>
                            <owl:intersectionOf rdf:parseType="Collection">
                              <owl:Class rdf:about="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#physical-quality"/>
                              <owl:Restriction>
                                <owl:someValuesFrom>
                                  <owl:Class>
                                    <owl:intersectionOf rdf:parseType="Collection">
                                      <owl:Class rdf:about="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#physical-region"/>
                                      <owl:Restriction>
                                        <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#valued-by"/>
                                        <owl:someValuesFrom rdf:resource="#changing-value-range"/>
                                      </owl:Restriction>
                                    </owl:intersectionOf>
                                  </owl:Class>
                                </owl:someValuesFrom>
                                <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#q-location"/>
                              </owl:Restriction>
                            </owl:intersectionOf>
                          </owl:Class>
                        </owl:someValuesFrom>
                      </owl:Restriction>
                    </owl:intersectionOf>
                  </owl:Class>
                </owl:someValuesFrom>
              </owl:Restriction>
            </owl:intersectionOf>
          </owl:Class>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A parameter restricting an acceptable range of changed (old) values according to a change description.
The value region must be the q-location of the same physical quality of the changing value range in the same description.</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="#physical-causation-relation">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A change dependence that has as proper part at least one of the following change dependencies:

i) any diachronic dependence
ii) any indirect diachronic dependence
iii) any transitive application of a diachronic or indirect diachronic dependence</rdfs:comment>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="#physical-change-dependence"/>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <owl:Class rdf:about="#diachronic-dependence"/>
              <owl:Class rdf:ID="analytic-diachronic-dependence"/>
              <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                  <owl:Class rdf:about="#physical-change-dependence"/>
                  <owl:Restriction>
                    <owl:someValuesFrom>
                      <owl:Class>
                        <owl:intersectionOf rdf:parseType="Collection">
                          <owl:Restriction>
                            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#involved-in"/>
                            <owl:someValuesFrom rdf:resource="#physical-causation-relation"/>
                          </owl:Restriction>
                          <owl:Restriction>
                            <owl:minCardinality rdf:datatype=
                            "http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
                            >2</owl:minCardinality>
                            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#involved-in"/>
                          </owl:Restriction>
                        </owl:intersectionOf>
                      </owl:Class>
                    </owl:someValuesFrom>
                    <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#involves"/>
                  </owl:Restriction>
                </owl:intersectionOf>
              </owl:Class>
            </owl:unionOf>
          </owl:Class>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
  </owl:Class>
  <owl:Class rdf:ID="shooting">
    <rdfs:subClassOf rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#accomplishment"/>
  </owl:Class>
  <owl:Class rdf:about="#analytic-diachronic-dependence">
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="#physical-change-dependence"/>
          <owl:Restriction>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#proper-part"/>
            <owl:someValuesFrom>
              <owl:Class rdf:ID="synchronic-dependence"/>
            </owl:someValuesFrom>
          </owl:Restriction>
          <owl:Restriction>
            <owl:someValuesFrom>
              <owl:Class rdf:about="#diachronic-dependence"/>
            </owl:someValuesFrom>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#proper-part"/>
          </owl:Restriction>
          <owl:Restriction>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#satisfied-by"/>
            <owl:someValuesFrom>
              <owl:Restriction>
                <owl:someValuesFrom>
                  <owl:Class rdf:about="#basic-quality-change"/>
                </owl:someValuesFrom>
                <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#proper-part"/>
              </owl:Restriction>
            </owl:someValuesFrom>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A diachronic dependence between two basic quality changes that are synchronically depend-ons of two other quality changes.</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:ID="deformation">
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#accomplishment"/>
          <owl:Restriction>
            <owl:someValuesFrom>
              <owl:Class>
                <owl:oneOf rdf:parseType="Collection">
                  <change-course rdf:ID="shape-change">
                    <dol:direct-predecessor>
                      <change-course rdf:ID="location-change"/>
                    </dol:direct-predecessor>
                  </change-course>
                </owl:oneOf>
              </owl:Class>
            </owl:someValuesFrom>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#sequenced-by"/>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
  </owl:Class>
  <owl:Class rdf:about="#diachronic-dependence">
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="#physical-change-dependence"/>
          <owl:Restriction>
            <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
            >2</owl:cardinality>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#expects"/>
          </owl:Restriction>
          <owl:Restriction>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#involves"/>
            <owl:someValuesFrom>
              <owl:Class rdf:about="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#physical-endurant"/>
            </owl:someValuesFrom>
          </owl:Restriction>
          <owl:Restriction>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#involves"/>
            <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
            >2</owl:cardinality>
          </owl:Restriction>
          <owl:Restriction>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#expects"/>
            <owl:someValuesFrom>
              <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                  <owl:Restriction>
                    <owl:someValuesFrom rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#perdurant"/>
                    <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/TemporalRelations.owl#precedes"/>
                  </owl:Restriction>
                  <owl:Restriction>
                    <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#participant"/>
                    <owl:someValuesFrom rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#physical-endurant"/>
                  </owl:Restriction>
                </owl:intersectionOf>
              </owl:Class>
            </owl:someValuesFrom>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
  </owl:Class>
  <owl:Class rdf:about="#change-course">
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#course"/>
          <owl:Restriction>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#component"/>
            <owl:someValuesFrom>
              <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                  <owl:Class rdf:about="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#course"/>
                  <owl:Restriction>
                    <owl:someValuesFrom rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#course"/>
                    <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#direct-successor"/>
                  </owl:Restriction>
                </owl:intersectionOf>
              </owl:Class>
            </owl:someValuesFrom>
          </owl:Restriction>
          <owl:Restriction>
            <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
            >2</owl:minCardinality>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#component"/>
          </owl:Restriction>
          <owl:Restriction>
            <owl:someValuesFrom rdf:resource="#change-description"/>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#defined-by"/>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A complex course of events that classifies a change event.</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:ID="movement">
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#accomplishment"/>
          <owl:Restriction>
            <owl:someValuesFrom>
              <owl:Class>
                <owl:oneOf rdf:parseType="Collection">
                  <change-course rdf:about="#location-change"/>
                </owl:oneOf>
              </owl:Class>
            </owl:someValuesFrom>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#sequenced-by"/>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
  </owl:Class>
  <owl:Class rdf:ID="collection-of-physical-endurants">
    <rdfs:subClassOf rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#collection"/>
  </owl:Class>
  <owl:Class rdf:ID="mass-value">
    <rdfs:subClassOf rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#physical-region"/>
  </owl:Class>
  <owl:Class rdf:ID="wounding">
    <rdfs:subClassOf rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#accomplishment"/>
  </owl:Class>
  <owl:Class rdf:ID="bullet">
    <rdfs:subClassOf rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#material-artifact"/>
  </owl:Class>
  <owl:Class rdf:ID="structural-dependence">
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="#synchronic-dependence"/>
          <owl:Restriction>
            <owl:someValuesFrom rdf:resource="#collection-of-physical-endurants"/>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#unifies"/>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
  </owl:Class>
  <owl:Class rdf:ID="shape-value">
    <rdfs:subClassOf rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#physical-region"/>
  </owl:Class>
  <owl:Class rdf:about="#basic-quality-change">
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="#physical-quality-change"/>
          <owl:Restriction>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#setting-for"/>
            <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
            >1</owl:cardinality>
          </owl:Restriction>
          <owl:Restriction>
            <owl:onProperty>
              <owl:ObjectProperty rdf:ID="change-of"/>
            </owl:onProperty>
            <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
            >1</owl:cardinality>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A basic quality change is a situation capturing the change of a physical endurant along just one aspect/quality type. Complex situations are decomposed into quality changes by fixing: i) one specific participant, ii) one physical quality type along which the participant changes, iii) two perdurants sequenced by a successor relation, and iv) two different physical regions that represent the quality type across the two perdurants.
For example, a change of color, or shape.

In OWL-DL, the complex axiomatization is rendered in pieces (and OWL-DL does not allow to coreference the entities mentioned in the pieces):
a) BQC has one unique participant with some quality
b) BQC has (at least) two perdurants that share the same participant
c) the sequence of those perdurants is provided by a change course in a change description
d) the regions of that quality differ across the perdurants, according to the parameters (changed and changing value ranges) defined in a change description.</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:ID="multiple-diachronic-dependence">
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="#diachronic-dependence"/>
          <owl:Restriction>
            <owl:someValuesFrom>
              <owl:Restriction>
                <owl:someValuesFrom>
                  <owl:Class rdf:about="#physical-quality-change"/>
                </owl:someValuesFrom>
                <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#proper-part"/>
              </owl:Restriction>
            </owl:someValuesFrom>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#satisfied-by"/>
          </owl:Restriction>
          <owl:Restriction>
            <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
            >2</owl:minCardinality>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#satisfied-by"/>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
  </owl:Class>
  <owl:Class rdf:ID="basic-quality-change_atomic">
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="#basic-quality-change"/>
          <owl:Restriction>
            <owl:allValuesFrom>
              <owl:Class>
                <owl:complementOf rdf:resource="#basic-quality-change"/>
              </owl:Class>
            </owl:allValuesFrom>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#proper-part"/>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >Basic quality changes can be atomic when no proper part of it is a basic quality change for the same participant.</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="#physical-quality-change">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A generic change of one or more physical qualities across different regions.</rdfs:comment>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#situation"/>
          <owl:Restriction>
            <owl:someValuesFrom>
              <owl:Restriction>
                <owl:onProperty>
                  <owl:FunctionalProperty rdf:ID="unique-participant"/>
                </owl:onProperty>
                <owl:someValuesFrom rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#physical-endurant"/>
              </owl:Restriction>
            </owl:someValuesFrom>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#setting-for"/>
          </owl:Restriction>
          <owl:Restriction>
            <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
            >2</owl:minCardinality>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#setting-for"/>
          </owl:Restriction>
          <owl:Restriction>
            <owl:someValuesFrom rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#physical-region"/>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#setting-for"/>
          </owl:Restriction>
          <owl:Restriction>
            <owl:someValuesFrom rdf:resource="#change-description"/>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#satisfies"/>
          </owl:Restriction>
          <owl:Restriction>
            <owl:someValuesFrom rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#physical-endurant"/>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#setting-for"/>
          </owl:Restriction>
          <owl:Restriction>
            <owl:someValuesFrom rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#physical-quality"/>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="#change-of"/>
            </owl:onProperty>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
  </owl:Class>
  <owl:Class rdf:about="#synchronic-dependence">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A concurrent dependency between two change descriptions, involving a same participant.</rdfs:comment>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="#physical-change-dependence"/>
          <owl:Restriction>
            <owl:someValuesFrom>
              <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                  <owl:Restriction>
                    <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/TemporalRelations.owl#temporally-coincides"/>
                    <owl:someValuesFrom rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#perdurant"/>
                  </owl:Restriction>
                  <owl:Restriction>
                    <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#participant"/>
                    <owl:someValuesFrom rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#physical-endurant"/>
                  </owl:Restriction>
                </owl:intersectionOf>
              </owl:Class>
            </owl:someValuesFrom>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#expects"/>
          </owl:Restriction>
          <owl:Restriction>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#expects"/>
            <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
            >2</owl:cardinality>
          </owl:Restriction>
          <owl:Restriction>
            <owl:someValuesFrom rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#physical-endurant"/>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#involves"/>
          </owl:Restriction>
          <owl:Restriction>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#involves"/>
            <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
            >1</owl:cardinality>
          </owl:Restriction>
          <owl:Restriction>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#satisfied-by"/>
            <owl:someValuesFrom>
              <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                  <owl:Restriction>
                    <owl:someValuesFrom rdf:resource="#basic-quality-change"/>
                    <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#proper-part"/>
                  </owl:Restriction>
                </owl:intersectionOf>
              </owl:Class>
            </owl:someValuesFrom>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
  </owl:Class>
  <owl:Class rdf:ID="shape">
    <rdfs:subClassOf rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#physical-quality"/>
  </owl:Class>
  <owl:Class rdf:about="#physical-causality-dependence">
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="#diachronic-dependence"/>
          <owl:Restriction>
            <owl:someValuesFrom>
              <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                  <owl:Restriction>
                    <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#proper-part"/>
                    <owl:someValuesFrom rdf:resource="#basic-quality-change"/>
                  </owl:Restriction>
                </owl:intersectionOf>
              </owl:Class>
            </owl:someValuesFrom>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#satisfied-by"/>
          </owl:Restriction>
          <owl:Restriction>
            <owl:onProperty rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#unifies"/>
            <owl:someValuesFrom rdf:resource="#collection-of-physical-endurants"/>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
  </owl:Class>
  <owl:ObjectProperty rdf:ID="structurally-dependent-on">
    <rdfs:subPropertyOf rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#specifically-constantly-dependent-on"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >The structural dependence between two basic quality changes sharing a unique participant. It must hold for all physical endurants. It requires temporal coincidence. It also assumes a synchronic dependence between the types of those quality changes (change descriptions).</rdfs:comment>
    <rdfs:range rdf:resource="#change-description"/>
    <owl:inverseOf>
      <owl:ObjectProperty rdf:ID="structural-dependent"/>
    </owl:inverseOf>
    <rdfs:domain rdf:resource="#change-description"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="has-change-situation">
    <rdfs:subPropertyOf rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#referenced-by"/>
    <owl:inverseOf>
      <owl:ObjectProperty rdf:about="#change-of"/>
    </owl:inverseOf>
    <rdfs:domain rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#physical-quality"/>
    <rdfs:subPropertyOf rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#setting"/>
    <rdfs:range rdf:resource="#basic-quality-change"/>
    <rdfs:subPropertyOf rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#immediate-relation-i"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="causally-dependent-on">
    <rdfs:range rdf:resource="#change-description"/>
    <rdfs:domain rdf:resource="#change-description"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >The dependence between two basic quality changes not sharing a unique participant. It does not require temporal coincidence. It also assumes either a backward or forward dependence between the types of those quality changes (change descriptions).</rdfs:comment>
    <rdfs:subPropertyOf rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#specifically-constantly-dependent-on"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="forwardly-dependent-on">
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A generic existential dependence between two types of basic quality changes (change descriptions).
The first BQC precedes the second.</rdfs:comment>
    <rdfs:range rdf:resource="#change-description"/>
    <rdfs:domain rdf:resource="#change-description"/>
    <rdfs:subPropertyOf rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#specifically-constantly-dependent-on"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="circumstantially-dependent-on">
    <rdfs:subPropertyOf rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#specifically-constantly-dependent-on"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >The dependence between two basic quality changes not sharing a unique participant. It does not require temporal coincidence. It also assumes either a backward or forward dependence between the types of those quality changes (change descriptions).</rdfs:comment>
    <rdfs:range rdf:resource="#change-description"/>
    <rdfs:domain rdf:resource="#change-description"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="#change-of">
    <rdfs:subPropertyOf rdf:resource="http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#setting-for"/>
    <rdfs:range rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#physical-quality"/>
    <owl:inverseOf rdf:resource="#has-change-situation"/>
    <rdfs:domain rdf:resource="#basic-quality-change"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="generic-existential-dependent">
    <rdfs:domain rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#particular"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A generic dependency relation that does not require the temporal inclusion of the entities for which the relation holds.</rdfs:comment>
    <rdfs:subPropertyOf rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#generic-dependent"/>
    <rdfs:range rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#particular"/>
    <owl:inverseOf>
      <owl:ObjectProperty rdf:ID="generically-existentially-dependent-on"/>
    </owl:inverseOf>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="backwardly-dependent-on">
    <rdfs:range rdf:resource="#change-description"/>
    <rdfs:subPropertyOf rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#specifically-constantly-dependent-on"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A generic existential dependence between two types of basic quality changes (change descriptions).
The first BQC follows the second.</rdfs:comment>
    <rdfs:domain rdf:resource="#change-description"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="#structural-dependent">
    <owl:inverseOf rdf:resource="#structurally-dependent-on"/>
    <rdfs:range rdf:resource="#change-description"/>
    <rdfs:domain rdf:resource="#change-description"/>
    <rdfs:subPropertyOf rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#specific-constant-dependent"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="#generically-existentially-dependent-on">
    <rdfs:range rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#particular"/>
    <rdfs:subPropertyOf rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#generically-dependent-on"/>
    <owl:inverseOf rdf:resource="#generic-existential-dependent"/>
    <rdfs:domain rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#particular"/>
  </owl:ObjectProperty>
  <rdf:Property rdf:about="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#direct-predecessor"/>
  <owl:FunctionalProperty rdf:about="#unique-participant">
    <rdfs:subPropertyOf rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#constant-participant"/>
    <rdfs:domain rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#perdurant"/>
    <owl:inverseOf>
      <owl:InverseFunctionalProperty rdf:ID="unique-participant-in"/>
    </owl:inverseOf>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >An event having only one (constant) participant.</rdfs:comment>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
  </owl:FunctionalProperty>
  <owl:InverseFunctionalProperty rdf:about="#unique-participant-in">
    <rdfs:subPropertyOf rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#constant-participant-in"/>
    <rdfs:range rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#perdurant"/>
    <owl:inverseOf rdf:resource="#unique-participant"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
    <rdfs:domain rdf:resource="http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#endurant"/>
  </owl:InverseFunctionalProperty>
  <mass rdf:ID="y_mass">
    <dol:inherent-in>
      <edns:rational-physical-object rdf:ID="child_y">
        <edns:plays>
          <edns:social-role rdf:ID="plaintiff"/>
        </edns:plays>
      </edns:rational-physical-object>
    </dol:inherent-in>
  </mass>
  <dol:spatial-location_q rdf:ID="y_location">
    <dol:inherent-in rdf:resource="#child_y"/>
  </dol:spatial-location_q>
  <shooting rdf:ID="shooting_z">
    <edns:sequenced-by rdf:resource="#location-change"/>
  </shooting>
  <shape rdf:ID="x_shape">
    <dol:inherent-in>
      <bullet rdf:ID="bullet_x"/>
    </dol:inherent-in>
  </shape>
  <wounding rdf:ID="wounding_w">
    <edns:sequenced-by rdf:resource="#shape-change"/>
  </wounding>
  <dol:spatial-location_q rdf:ID="x_location">
    <dol:inherent-in rdf:resource="#bullet_x"/>
  </dol:spatial-location_q>
  <edns:situation rdf:ID="bullet_plaintiff_case">
    <edns:setting-for rdf:resource="#bullet_x"/>
    <edns:setting-for>
      <shape rdf:ID="y_shape">
        <dol:inherent-in rdf:resource="#child_y"/>
      </shape>
    </edns:setting-for>
    <edns:setting-for rdf:resource="#child_y"/>
    <edns:setting-for rdf:resource="#x_location"/>
    <edns:setting-for rdf:resource="#wounding_w"/>
    <edns:setting-for rdf:resource="#shooting_z"/>
  </edns:situation>
  <mass rdf:ID="x_mass">
    <dol:inherent-in rdf:resource="#bullet_x"/>
  </mass>
  <diachronic-dependence rdf:ID="shape-location-backward-dependence">
    <edns:d-uses rdf:resource="#location-change"/>
    <edns:d-uses rdf:resource="#shape-change"/>
  </diachronic-dependence>
</rdf:RDF>

<!-- Created with Protege (with OWL Plugin 2.2, Build 307)  http://protege.stanford.edu -->

