Building Multiversal Semantic Maps for Mobile Robot Operation
Pellet : A practical OWL-DL reasoner