|
Entity URI |
Relation |
Entity URI |
Mappable |
Mediation Inconsistency |
Mediation Date |
Mediation Method |
Mediation Tool |
Creator |
| 1. |
http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#endurant |
Equivalence |
http://www.ifomis.org/bfo/1.1/snap#IndependentContinuant |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 2. |
http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#physical-object |
Equivalence |
http://www.ifomis.org/bfo/1.1/snap#Object |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 3. |
http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#perdurant |
Equivalence |
http://www.ifomis.org/bfo/1.1/span#Occurrent |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 4. |
http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#process |
Equivalence |
http://www.ifomis.org/bfo/1.1/span#Process |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 5. |
http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#space-region |
Equivalence |
http://www.ifomis.org/bfo/1.1/snap#SpatialRegion |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 6. |
http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#temporal-region |
Equivalence |
http://www.ifomis.org/bfo/1.1/span#TemporalRegion |
No |
DOLCE's temporal-region is a subclass of DOLCE's abstract. DOLCE's abstract is disjoint to DOLCE's perdurant. DOLCE's perdurant is equivalent to BFO's Occurrent. BFO's TemporalRegion is a subclass of BFO's Occurrent. This inconsistency is a result of the OWL DisjointClasses class axiom. In this equivalence relation; both DOLCE's temporal-region and BFO's TemporalRegion are subclasses of two classes that are disjoint; hence the two classes cannot be equivalent. |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 7. |
http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#quality |
Equivalence |
http://www.ifomis.org/bfo/1.1/snap#Quality |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 8. |
http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#physical-endurant |
Equivalence |
http://www.ifomis.org/bfo/1.1/snap#MaterialEntity |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 9. |
http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#spatio-temporal-region |
Equivalence |
http://www.ifomis.org/bfo/1.1/span#SpatiotemporalRegion |
No |
DOLCE's spatio-temporal-region is a subclass of DOLCE's abstract. DOLCE's abstract is disjoint to DOLCE's perdurant. DOLCE's perdurant is equivalent to BFO's Occurrent. BFO's SpatioTemporalRegion is a subclass of BFO's Occurrent. This inconsistency is a result of the OWL DisjointClasses class axiom. In this equivalence relation; both DOLCE's spatio-temporal-region and BFO's SpatioTemporalRegion are subclasses of two classes that are disjoint; hence the two classes cannot be equivalent. |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 10. |
http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#generic-location-of |
Equivalence |
http://www.obofoundry.org/ro/ro.owl#location_of |
No |
The range of DOLCE's generic-location-of is particular. The range of BFO's Relational Ontology's (RO) located_of is Continuant. BFO's Continuant is disjoint to its Occurrent. BFO's Occurrent is equivalent to DOLCE'S perdurant. DOLCE's perdurant is a subclass of has-Quality some temporal-location-q. The domain of DOLCE's has-quality is particular. This inconsistency is a result of the OWL DisjointClasses class axiom. In this equivalence relation; BFO's Continuant is disjoint to a subclass of DOLCE's has-Quality some temporal-location-q having a domain particular; causing the range restrictions of DOLCE and BFO to conflict for this relation. |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 11. |
http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#generic-location |
Equivalence |
http://www.obofoundry.org/ro/ro.owl#located_in |
No |
The range of DOLCE's generic-location is particular. The range of BFO's Relational Ontology's (RO) located_in is Continuant. BFO's Continuant is disjoint to its Occurrent. BFO's Occurrent is equivalent to DOLCE'S perdurant. DOLCE's perdurant is a subclass of has-Quality some temporal-location-q. The domain of DOLCE's has-quality is particular. This inconsistency is a result of the OWL DisjointClasses class axiom. In this equivalence relation; BFO's Continuant is disjoint to a subclass of DOLCE's has-Quality some temporal-location-q having a domain particular; causing the range restrictions of DOLCE and BFO to conflict for this relation. |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 12. |
http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#participant-in (subclass) |
Subsumption |
http://www.obofoundry.org/ro/ro.owl#participates_in (superclass) |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 13. |
http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#participant (subclass) |
Subsumption |
http://www.obofoundry.org/ro/ro.owl#has_participant (superclass) |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 14. |
http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#proper-part-of |
Equivalence |
http://www.obofoundry.org/ro/ro.owl#proper_part_of |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 15. |
http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#proper-part |
Equivalence |
http://www.obofoundry.org/ro/ro.owl#has_proper_part |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 16. |
http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#part-of |
Equivalence |
http://www.obofoundry.org/ro/ro.owl#part_of |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 17. |
http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#part |
Equivalence |
http://www.obofoundry.org/ro/ro.owl#has_part |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |