An OWL ontology for underground parking garage