SPECIALISATION MECHANISM FOR TERMINOLOGY REASONING

摘要

A method for generating rules for rule-based reasoning comprising the steps of starting from a set of generic reasoning rules generating a set of specific reasoning rules by substituting in at least one of said generic reasoning rules having more than one variable at least one of said variables with (a) class (es) defined in an ontology.