Toy Ontologies Demoing CEL’s Features

• LAT: A toy ontology that features most, if not all, expressive means available in the description logic EL+ which is the underlying logic of the CEL system. It logically defines some basic notions (concepts and roles) revolving a university research group and has a small extensional component (ABox) inspired by the DL research group of Prof. Franz Baader. This ontology has intendedly been modelled to be inconsistent. Despite the relatively inexpressive DL dialect and the size of the ontology, the sources of inconsistencies are not so trivial to be pinpointed. Can you find them? (KRSS, OWL)
• ENDOCARDITIS: A toy medical ontology showing a typical use of right-identity rules, in conjunction with the anatomical part-of and spatial location roles. In the example, endocarditis ‘is a’ heart disease, since it ‘has location’ endocardium which is ‘part of’ the heart. (KRSS, OWL)
• NO-SEP: A small example showing a re-engineered extract of SNOMED CT dispensing with SEP-triplets. Taken from Fig.2 of the paper “Replacing SEP-Triplets in SNOMED CT using Tractable Description Logic Operators”. (KRSS, OWL)
• PART-WHOLE: A toy ontology illustrating the use of reflexivity and transitivity assertions on roles. In particular, part-of MUST be declared transitive so that the classification system can take care of transitivity reasoning. Part and whole of some entity could be referred to by the new role, part-whole-of, which is designed to replace the needs for S-nodes in the SEP-triplet modelling technique. (KRSS, OWL)
• KANGAROO: A toy ontology about maternal kangaroos who have a pouch and a cub. But, why can’t they exist, i.e., the concept is unsatisfiable? (KRSS, OWL)
• FOREST: A toy ontology hopefully giving an idea of using the left-identity rule or left absorption. After all, an ideal forest should have both the color green and the color brown, shouldn’t it? (KRSS, OWL)

Life Science Ontologies that CEL Can Classify

• GO: The Gene Ontology is a controlled vocabulary that describes gene and gene product attributes. (KRSS, OWL)
• NCI: A large ontology about classification of cancers, developed by National Cancer Institute. Though containing several domain and range restrictions, the structure of this ontology is very simple. CEL 1.0 and later can classify this ontology. (KRSS, OWL)
• NOT-GALEN: A stripped-down version of NotGalen with no role functionality, for use as a benchmark for the CEL system. NotGalen has been widely used for benchmarking several standard DL reasoners. (KRSS, OWL)
• FULL-GALEN: the full Galen medical ontology (again, excluding role inverses and functionalities). (KRSS, OWL)
• SNOMED CT: the Systematized Nomenclature of Medicine, Clinical Terms, is a large standardized clinical terminology adopted by health care sectors in several countries. More info on IHTSDO’s web site.