Sorted hyper-predicate knowledge bases for ontologies and rules.

Ken Kaneiwa, Philip H. P. Nguyen

Browse the full SAC paper archive.