SPECIALISATION MECHANISM FOR TERMINOLOGY REASONING

摘要

A method for generating rules for rule-based reasoning includes 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 the generic reasoning rules having more than one variable, at least one of the variables with (a) class(es) defined in an ontology.