11.1 Multiple inheritance

What now?

Recall that a type may have more than one supertype, or ancestor, or father. In such cases, we speak of multiple inheritance.

On this page, we shall see how to generate multiple inheritance in Amine.

The starting point

We start with a basic ontology like this (feel free not to do anything on this page, just to watch):

The ontology has two top-level distinctions: Age and Sex. These are then further subtyped with the relevant distinctions.

Adding "Woman"

If we now add "Woman" underneath "Female" in the usual way, we get an ontology like this:

Adding "Woman" once more

We can now follow the same procedure and add "Woman" once more beneath "Adult".

This does not create a new conceptual structure (CS), but adds a link from the already-existing "Woman" CS to "Adult" so that "Woman" now has two supertypes.

This is indicated with a blue backwards arrow:

Doing the same for "Girl"

We can now do the same for "Girl":

Note how "Girl" shows up both underneath "Female" and "Juvenile".

Adding "Man" and "Boy"

We can now add "Man" and "Boy" in their correct places:

The ontology is complete.


PrevLite: 11 Advanced ontology-building
NextLite: 11.1.2 Find the next placement

Prev: 11 Advanced ontology-building
Up: 11 Advanced ontology-building
Next: 11.1.1 Excursus on multiple inheritance