Terminological Reasoning with Constraint Handling Rules.

Thom W. Frühwirth Philipp Hanschke

Published in: PPCP (1993)

Keyphrases

terminological reasoning
constraint handling rules
description logics
knowledge base
machine learning