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 typlical 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]
|
|