"Sorted hyper-predicate knowledge bases for ontologies and rules."

Ken Kaneiwa, Philip H. P. Nguyen (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics