|
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 |
Automatic |
YAM++ v1.0, PROMPT v3.0, Optima v3.0, LogMap v2.0, HotMatch v1.0, Hertuda v1.0 |
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#Presential |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 3. |
http://www.ifomis.org/bfo/1.1/snap#DependentContinuant |
Equivalence |
http://www.onto-med.de/ontologies/gfo.owl#Dependent |
No |
GFO's Entity is equivalent to its Item or Set. GFO's Category is a subclass of Item. GFO's Category is disjoint to its Individual. GFO's Dependent is a subclass of Individual. GFO's Entity is equivalent to BFO's Entity. BFO's Entity is equivalent to its Occurrent or Continuant. BFO's Continuant is equivalent to its IndependentContinuant or DependentContinuant or SpatialRegion. This inconsistency is a result of the OWL DisjointClasses class axiom. In this equivalence relation; BFO's DependentContinuant is a superclass of GFO's Category; and GFO's Dependent is a subclass of GFO's Individual with Category and Individual being disjoint; hence the two classes cannot be equivalent. |
2012-11-21 |
Manual |
LogMap v2.0 |
Zubeida Khan: zkhan@csir.co.za |
| 4. |
http://www.ifomis.org/bfo/1.1/snap#MaterialEntity |
Equivalence |
http://www.onto-med.de/ontologies/gfo.owl#Discrete_presential |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 5. |
http://www.ifomis.org/bfo/1.1/snap#Object |
Equivalence |
http://www.onto-med.de/ontologies/gfo.owl#Material_object |
Yes |
- |
2012-11-21 |
Automatic |
YAM++ v1.0, Optima v3.0 |
Zubeida Khan: zkhan@csir.co.za |
| 6. |
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 |
| 7. |
http://www.ifomis.org/bfo/1.1/snap#Function |
Equivalence |
http://www.onto-med.de/ontologies/gfo.owl#Function |
Yes |
- |
2012-11-21 |
Automatic |
YAM++ v1.0, PROMPT v3.0, Optima v3.0, LogMap v2.0, HotMatch v1.0, Hertuda v1.0, H-Match v2.0 |
Zubeida Khan: zkhan@csir.co.za |
| 8. |
http://www.ifomis.org/bfo/1.1/snap#Role (subclass) |
Subsumption |
http://www.onto-med.de/ontologies/gfo.owl#Role (superclass) |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
| 9. |
http://www.ifomis.org/bfo/1.1/span#Occurrent |
Equivalence |
http://www.onto-med.de/ontologies/gfo.owl#Occurrent |
Yes |
- |
2012-11-21 |
Automatic |
YAM++ v1.0, PROMPT v3.0, Optima v3.0, LogMap v2.0, HotMatch v1.0, Hertuda v1.0, H-Match v2.0 |
Zubeida Khan: zkhan@csir.co.za |
| 10. |
http://www.ifomis.org/bfo/1.1/span#Process |
Equivalence |
http://www.onto-med.de/ontologies/gfo.owl#Process |
Yes |
- |
2012-11-21 |
Automatic |
YAM++ v1.0, PROMPT v3.0, Optima v3.0, LogMap v2.0, HotMatch v1.0, Hertuda v1.0, H-Match v2.0 |
Zubeida Khan: zkhan@csir.co.za |
| 11. |
http://www.ifomis.org/bfo/1.1/snap#SpatialRegion |
Equivalence |
http://www.onto-med.de/ontologies/gfo.owl#Spatial_region |
Yes |
- |
2012-11-21 |
Automatic |
YAM++ v1.0, PROMPT v3.0, LogMap v2.0, HotMatch v1.0, Hertuda v1.0, H-Match v2.0 |
Zubeida Khan: zkhan@csir.co.za |
| 12. |
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 |
Automatic |
PROMPT v3.0, Optima v3.0, HotMatch v1.0, Hertuda v1.0, H-Match v2.0 |
Zubeida Khan: zkhan@csir.co.za |
| 13. |
http://www.ifomis.org/bfo/1.1/snap#Quality |
Equivalence |
http://www.onto-med.de/ontologies/gfo.owl#Property |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |