selected publications academic article A Description Logic Model for the Management of Automated Guided Vehicles. IFAC Proceedings Volumes. 2000