|
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#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 |
- |
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 |
Manual |
- |
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 |
Manual |
- |
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 |
Manual |
- |
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 |
Manual |
- |
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 |
Manual |
- |
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 |
Manual |
- |
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 |
14. |
http://www.obofoundry.org/ro/ro.owl#has_part |
Equivalence |
http://www.onto-med.de/ontologies/gfo.owl#has_part |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
15. |
http://www.obofoundry.org/ro/ro.owl#part_of |
Equivalence |
http://www.onto-med.de/ontologies/gfo.owl#part_of |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
16. |
http://www.obofoundry.org/ro/ro.owl#has_proper_part |
Equivalence |
http://www.onto-med.de/ontologies/gfo.owl#has_proper_part |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
17. |
http://www.obofoundry.org/ro/ro.owl#proper_part_of |
Equivalence |
http://www.onto-med.de/ontologies/gfo.owl#proper_part_of |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
18. |
http://www.obofoundry.org/ro/ro.owl#has_participant (superclass) |
Subsumption |
http://www.onto-med.de/ontologies/gfo.owl#has_participant (subclass) |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
19. |
http://www.obofoundry.org/ro/ro.owl#participates_in |
Equivalence |
http://www.onto-med.de/ontologies/gfo.owl#participates_in |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
20. |
http://www.obofoundry.org/ro/ro.owl#located_in (superclass) |
Subsumption |
http://www.onto-med.de/ontologies/gfo.owl#occupies (subclass) |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
21. |
http://www.obofoundry.org/ro/ro.owl#location_of (superclass) |
Subsumption |
http://www.onto-med.de/ontologies/gfo.owl#occupied_by (subclass) |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
22. |
http://www.obofoundry.org/ro/ro.owl#has_agent |
Equivalence |
http://www.onto-med.de/ontologies/gfo.owl#has_agent |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |
23. |
http://www.obofoundry.org/ro/ro.owl#agent_in |
Equivalence |
http://www.onto-med.de/ontologies/gfo.owl#agent_in |
Yes |
- |
2012-11-21 |
Manual |
- |
Zubeida Khan: zkhan@csir.co.za |