Distributed reasoning with ontologies and rules in order-sorted logic programming

Ken Kaneiwa, Riichiro Mizoguchi. Distributed reasoning with ontologies and rules in order-sorted logic programming. J. Web Sem., 7(3):252-270, 2009. [doi]

Abstract

Abstract is missing.