Additional menu

satisfiability reasoning over vague ontologies