Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring.

Ken Kaneiwa Philip H. P. Nguyen Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring. 328-343 2009 International Semantic Web Conference http://dx.doi.org/10.1007/978-3-642-04930-9_21 conf/semweb/2009 db/conf/semweb/iswc2009.html#KaneiwaN09