KNAML: A Knowledge Representation Language for Distributed Reasoning