knowrob-dev Private development repository for the KnowRob knowledge base Please visit http://www.knowrob.org for more information and documentation.