|
Entity URI |
Relation |
Entity URI |
Mappable |
Mediation Inconsistency |
Mediation Date |
Mediation Method |
Mediation Tool |
Creator |
| 1. |
http://www.ifomis.org/bfo/1.1#Entity |
Equivalence |
http://www.onto-med.de/ontologies/gfo.owl#Entity |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 2. |
http://www.ifomis.org/bfo/1.1/snap#IndependentContinuant |
Equivalence |
http://www.onto-med.de/ontologies/gfo.owl#Persistant |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 3. |
http://www.ifomis.org/bfo/1.1/snap#Object |
Equivalence |
http://www.onto-med.de/ontologies/gfo.owl#Material_object |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 4. |
http://www.ifomis.org/bfo/1.1/snap#ObjectBoundary |
Equivalence |
http://www.onto-med.de/ontologies/gfo.owl#Material_boundary |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 5. |
http://www.ifomis.org/bfo/1.1/snap#Role |
Equivalence |
http://www.onto-med.de/ontologies/gfo.owl#Role |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 6. |
http://www.ifomis.org/bfo/1.1/span#Occurrent |
Equivalence |
http://www.onto-med.de/ontologies/gfo.owl#Occurrent |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 7. |
http://www.ifomis.org/bfo/1.1/span#Process |
Equivalence |
http://www.onto-med.de/ontologies/gfo.owl#Process |
No |
BFO's Process is a subclass of BFO's Occurrent. BFO's Occurrent is equivalent to GFO's Occurrent. GFO's Occurrent is disjoint to GFO's Process. This inconsistency is a result of the OWL DisjointClasses class axiom. In this equivalence relation; GFO's Process is disjoint to a superclass of BFO's process; hence the two classes cannot be equivalent. |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 8. |
http://www.ifomis.org/bfo/1.1/snap#SpatialRegion |
Equivalence |
http://www.onto-med.de/ontologies/gfo.owl#Spatial_region |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 9. |
http://www.ifomis.org/bfo/1.1/span#TemporalRegion |
Equivalence |
http://www.onto-med.de/ontologies/gfo.owl#Temporal_region |
No |
BFO's TemporalRegion is a subclass of BFO's Occurrent. BFO's Occurrent is equivalent to GFO's Occurrent. GFO's Occurrent is a subclass of GFO's Concrete. GFO's Space_Time is disjoint with GFO's Concrete. GFO's Temporal_Region is a subclass of GFO's Space_Time. This inconsistency is a result of the OWL DisjointClasses class axiom. In this equivalence relation; both BFO's TemporalRegion and GFO's Temporal_region 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.ifomis.org/bfo/1.1/snap#Quality (subclass) |
Subsumption |
http://www.onto-med.de/ontologies/gfo.owl#Property (superclass) |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |