Distributed reasoning with ontologies and rules in order-sorted logic programming
Author:
Ken Kaneiwa,Riichiro Mizoguchi
Publication:
Web Semantics: Science, Services and Agents on the World Wide Web
Copyright © 2009 Elsevier B.V. All rights reserved.