Harium / suneidesis

A project to represent knowledge
MIT License
2 stars 1 forks source link

[Core] Add concept inheritance #97

Closed yuripourre closed 3 years ago

yuripourre commented 3 years ago

Attributes can be reduced and probably kept updated if concepts have a "set" of super classes.

Horse -> Mammal -> Animal (so it has all the properties that animal+mammal has plus specific ones).

Little Horse -> Horse Little Horse -> Little

Inference: Horse is Animal

It can also make all the concepts more dynamics because if we change a superclass all related classes will update.

yuripourre commented 3 years ago

It reduces every concept to:

yuripourre commented 3 years ago

One optimization can happen when the concept "is" another kind of concepts, some attributes can be removed.