Probabilistic Multiagent Reasoning over Annotated Amalgamated F-Logic Ontologies. (30th September 2013)