Skip to main content

Table 3 Top ten axioms accounting for the most hidden cases of unsatisfiability across OBO ontologies

From: Towards semantic interoperability: finding and repairing hidden contradictions in biomedical ontologies

Axiom

Class count

‘processual entity’ (UBERON:0000000) DisjointWith: ‘anatomical entity’ (UBERON:0001062)

102,501

‘anatomical entity’ (UBERON:0001062) SubclassOf: ‘processual entity’ (UBERON:0000000)

63,349

miRNA_target_gene_primary_transcript (NCRO:0000001) SubclassOf: nc_primary_transcript (SO:0000483)

59,887

‘has role’ (RO:0000087) Range: role (BFO:0000023))

57,438

‘processual entity’ (UBERON:0000000) SubClassOf: ‘occurrent’ (BFO:0000003)

41,770

‘continuant’ (BFO:0000002) DisjointWith: ‘occurrent’ (BFO:0000003)

31,943

‘connected anatomical structure’ (CARO:0000003) SubClassOf: ‘material anatomical entity’ (CARO:0000006)

31,639

‘independent continuant’ (BFO:0000004) DisjointWith: ‘specifically dependent continuant’ (BFO:0000020), ‘generically dependent continuant’ (BFO:0000031)

30203

‘realizable entity’ (BFO:0000017) SubClassOf: ‘specifically dependent continuant’ (BFO:0000020)

21,603

‘organ’ UBERON:0000062 SubClassOf: ‘has 2D boundary’ RO:0002002 some ‘anatomical surface’ (UBERON:0006984)

20,539