Additional menu

reasoning over vague ontologies