[previous] [next]
Graphical representation of an ontology leading to automated capability of logical deduction through defined taxonomies and inference rules.