An ExpTime Upper Bound for ALC with Integers (Extended Version).

Nadia Labai Magdalena Ortiz Mantas Simkus

Published in: CoRR (2020)

Keyphrases

upper bound
lower bound
worst case
description logics
branch and bound
lower and upper bounds
error probability
real time
branch and bound algorithm
genetic algorithm
single item
fuzzy description logics