Declarative-knowledge-based reconfiguration of automation systems

This article describes results of the work on knowledge representation techniques chosen for use in the European project SIARAS, Skill-Based lnspection and Assembly for Reconfigurable Automation Systems. Its goal was to create intelligent support system for reconfiguration and adaptation of robot-based manufacturing cells. Declarative knowledge is represented first of all in an ontology expressed in OWL, for a generic reasoning in Description Logic, and in a number of special-purpose reasoning modules, specific for the application domain.