Distributed reasoning based on problem solver markup language (PSML): a demonstration through extended OWL | IEEE Conference Publication | IEEE Xplore