Question: Where do they come from? Example
CellComponent[NucleusĎK
Data-set did not contain any occurrence of an individual that is both CellComponent and Nucleus
In the GRO, CellComponent is a super-class of Nucleus So, the annotation isincomplete
Conclusion
unsatisfiable classes can arise through theclosed-world interpretation of the open-worlddata-set.
alldisjointness axioms containing only concept-names are caused by this
Experimental Evaluation of GCIs Learned from Textual Data 2015-06-08 10 / 14
Unsatisfiable Classes
Question: Where do they come from?
Example
CellComponent[NucleusĎK
Data-set did not contain any occurrence of an individual that is both CellComponent and Nucleus
In the GRO, CellComponent is a super-class of Nucleus So, the annotation isincomplete
Conclusion
unsatisfiable classes can arise through theclosed-world interpretation of the open-worlddata-set.
alldisjointness axioms containing only concept-names are caused by this
Experimental Evaluation of GCIs Learned from Textual Data 2015-06-08 10 / 14
Unsatisfiable Classes
Question: Where do they come from?
Example
CellComponent[NucleusĎK
Data-set did not contain any occurrence of an individual that is both CellComponent and Nucleus
In the GRO, CellComponent is a super-class of Nucleus So, the annotation isincomplete
Conclusion
unsatisfiable classes can arise through theclosed-world interpretation of the open-worlddata-set.
alldisjointness axioms containing only concept-names are caused by this
Experimental Evaluation of GCIs Learned from Textual Data 2015-06-08 10 / 14
Unsatisfiable Classes
Question: Where do they come from?
Example
CellComponent[NucleusĎK
Data-set did not contain any occurrence of an individual that is both CellComponent and Nucleus
In the GRO, CellComponent is a super-class of Nucleus So, the annotation isincomplete
Conclusion
unsatisfiable classes can arise through theclosed-world interpretation of the open-worlddata-set.
alldisjointness axioms containing only concept-names are caused by this
Experimental Evaluation of GCIs Learned from Textual Data 2015-06-08 10 / 14
Unsatisfiable Classes
Question: Where do they come from?
Example
CellComponent[NucleusĎK
Data-set did not contain any occurrence of an individual that is both CellComponent and Nucleus
In the GRO, CellComponent is a super-class of Nucleus So, the annotation isincomplete
Conclusion
unsatisfiable classes can arise through theclosed-world interpretation of the open-worlddata-set.
alldisjointness axioms containing only concept-names are caused by this
Experimental Evaluation of GCIs Learned from Textual Data 2015-06-08 10 / 14
Unsatisfiable Classes
Question: Where do they come from?
Example
CellComponent[NucleusĎK
Data-set did not contain any occurrence of an individual that is both CellComponent and Nucleus
In the GRO, CellComponent is a super-class of Nucleus
So, the annotation isincomplete Conclusion
unsatisfiable classes can arise through theclosed-world interpretation of the open-worlddata-set.
alldisjointness axioms containing only concept-names are caused by this
Experimental Evaluation of GCIs Learned from Textual Data 2015-06-08 10 / 14
Unsatisfiable Classes
Question: Where do they come from?
Example
CellComponent[NucleusĎK
Data-set did not contain any occurrence of an individual that is both CellComponent and Nucleus
In the GRO, CellComponent is a super-class of Nucleus So, the annotation isincomplete
Conclusion
unsatisfiable classes can arise through theclosed-world interpretation of the open-worlddata-set.
alldisjointness axioms containing only concept-names are caused by this
Experimental Evaluation of GCIs Learned from Textual Data 2015-06-08 10 / 14
Unsatisfiable Classes
Question: Where do they come from?
Example
CellComponent[NucleusĎK
Data-set did not contain any occurrence of an individual that is both CellComponent and Nucleus
In the GRO, CellComponent is a super-class of Nucleus So, the annotation isincomplete
Conclusion
unsatisfiable classes can arise through theclosed-world interpretation of the open-worlddata-set.
alldisjointness axioms containing only concept-names are caused by this
Experimental Evaluation of GCIs Learned from Textual Data 2015-06-08 10 / 14
Unsatisfiable Classes
Question: Where do they come from?
Example
CellComponent[NucleusĎK
Data-set did not contain any occurrence of an individual that is both CellComponent and Nucleus
In the GRO, CellComponent is a super-class of Nucleus So, the annotation isincomplete
Conclusion
unsatisfiable classes can arise through theclosed-world interpretation of the open-worlddata-set.
alldisjointness axioms containing only concept-names are caused by this
Experimental Evaluation of GCIs Learned from Textual Data 2015-06-08 10 / 14
Unsatisfiable Classes
Question: Where do they come from?
Example
CellComponent[NucleusĎK
Data-set did not contain any occurrence of an individual that is both CellComponent and Nucleus
In the GRO, CellComponent is a super-class of Nucleus So, the annotation isincomplete
Conclusion
unsatisfiable classes can arise through theclosed-world interpretation of the open-worlddata-set.
alldisjointness axioms containing only concept-names are caused by this
Experimental Evaluation of GCIs Learned from Textual Data 2015-06-08 10 / 14
Unsatisfiable Classes
Example
DlocatedIn.Cell[ DlocatedIn.NucleusĎProtein
Causes the class NuclearExportOfmRNA to become unsatisfiable GRO entails
NuclearExportOfmRNA[ProteinĎK NuclearExportOfmRNAĎDlocatedIn.Nucleus
NuclearExportOfmRNAĎProteinTargetingĎDlocatedIn.Cell
But data-set does not contain any reference to NuclearExportOfmRNA Approach could not learn this counterexample
Idea
Remove concept-names not occurring in the data-set before evaluation?
Experimental Evaluation of GCIs Learned from Textual Data 2015-06-08 11 / 14
Unsatisfiable Classes
Example
DlocatedIn.Cell[ DlocatedIn.NucleusĎProtein
Causes the class NuclearExportOfmRNA to become unsatisfiable
GRO entails
NuclearExportOfmRNA[ProteinĎK NuclearExportOfmRNAĎDlocatedIn.Nucleus
NuclearExportOfmRNAĎProteinTargetingĎDlocatedIn.Cell
But data-set does not contain any reference to NuclearExportOfmRNA Approach could not learn this counterexample
Idea
Remove concept-names not occurring in the data-set before evaluation?
Experimental Evaluation of GCIs Learned from Textual Data 2015-06-08 11 / 14
Unsatisfiable Classes
Example
DlocatedIn.Cell[ DlocatedIn.NucleusĎProtein
Causes the class NuclearExportOfmRNA to become unsatisfiable GRO entails
NuclearExportOfmRNA[ProteinĎK NuclearExportOfmRNAĎDlocatedIn.Nucleus
NuclearExportOfmRNAĎProteinTargetingĎDlocatedIn.Cell But data-set does not contain any reference to NuclearExportOfmRNA Approach could not learn this counterexample
Idea
Remove concept-names not occurring in the data-set before evaluation?
Experimental Evaluation of GCIs Learned from Textual Data 2015-06-08 11 / 14
Unsatisfiable Classes
Example
DlocatedIn.Cell[ DlocatedIn.NucleusĎProtein
Causes the class NuclearExportOfmRNA to become unsatisfiable GRO entails
NuclearExportOfmRNA[ProteinĎK
NuclearExportOfmRNAĎDlocatedIn.Nucleus
NuclearExportOfmRNAĎProteinTargetingĎDlocatedIn.Cell But data-set does not contain any reference to NuclearExportOfmRNA Approach could not learn this counterexample
Idea
Remove concept-names not occurring in the data-set before evaluation?
Experimental Evaluation of GCIs Learned from Textual Data 2015-06-08 11 / 14
Unsatisfiable Classes
Example
DlocatedIn.Cell[ DlocatedIn.NucleusĎProtein
Causes the class NuclearExportOfmRNA to become unsatisfiable GRO entails
NuclearExportOfmRNA[ProteinĎK NuclearExportOfmRNAĎDlocatedIn.Nucleus
NuclearExportOfmRNAĎProteinTargetingĎDlocatedIn.Cell But data-set does not contain any reference to NuclearExportOfmRNA Approach could not learn this counterexample
Idea
Remove concept-names not occurring in the data-set before evaluation?
Experimental Evaluation of GCIs Learned from Textual Data 2015-06-08 11 / 14
Unsatisfiable Classes
Example
DlocatedIn.Cell[ DlocatedIn.NucleusĎProtein
Causes the class NuclearExportOfmRNA to become unsatisfiable GRO entails
NuclearExportOfmRNA[ProteinĎK NuclearExportOfmRNAĎDlocatedIn.Nucleus
NuclearExportOfmRNAĎProteinTargetingĎDlocatedIn.Cell
But data-set does not contain any reference to NuclearExportOfmRNA Approach could not learn this counterexample
Idea
Remove concept-names not occurring in the data-set before evaluation?
Experimental Evaluation of GCIs Learned from Textual Data 2015-06-08 11 / 14
Unsatisfiable Classes
Example
DlocatedIn.Cell[ DlocatedIn.NucleusĎProtein
Causes the class NuclearExportOfmRNA to become unsatisfiable GRO entails
NuclearExportOfmRNA[ProteinĎK NuclearExportOfmRNAĎDlocatedIn.Nucleus
NuclearExportOfmRNAĎProteinTargetingĎDlocatedIn.Cell But data-set does not contain any reference to NuclearExportOfmRNA
Approach could not learn this counterexample Idea
Remove concept-names not occurring in the data-set before evaluation?
Experimental Evaluation of GCIs Learned from Textual Data 2015-06-08 11 / 14
Unsatisfiable Classes
Example
DlocatedIn.Cell[ DlocatedIn.NucleusĎProtein
Causes the class NuclearExportOfmRNA to become unsatisfiable GRO entails
NuclearExportOfmRNA[ProteinĎK NuclearExportOfmRNAĎDlocatedIn.Nucleus
NuclearExportOfmRNAĎProteinTargetingĎDlocatedIn.Cell But data-set does not contain any reference to NuclearExportOfmRNA Approach could not learn this counterexample
Idea
Remove concept-names not occurring in the data-set before evaluation?
Experimental Evaluation of GCIs Learned from Textual Data 2015-06-08 11 / 14
Unsatisfiable Classes
Example
DlocatedIn.Cell[ DlocatedIn.NucleusĎProtein
Causes the class NuclearExportOfmRNA to become unsatisfiable GRO entails
NuclearExportOfmRNA[ProteinĎK NuclearExportOfmRNAĎDlocatedIn.Nucleus
NuclearExportOfmRNAĎProteinTargetingĎDlocatedIn.Cell But data-set does not contain any reference to NuclearExportOfmRNA Approach could not learn this counterexample
Idea
Remove concept-names not occurring in the data-set before evaluation?
Experimental Evaluation of GCIs Learned from Textual Data 2015-06-08 11 / 14