The SRDL framework is tightly integrated within the knowledge processing system KNOWROB [10].
In terms of knowledge representation and reasoning this means that SRDL uses the Web Ontology Language OWL4 for modeling knowledge about robots, capabilities and actions, and that it uses the logical programming language PROLOG for
implementing inference algorithms.