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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.