Building Multiversal Semantic Maps for Mobile Robot Operation
FaCT++ description logic reasoner: System description