SROIQsigma is decidable.

Jon Haël Brenas Rachid Echahed Martin Strecker

Published in: CoRR (2014)

Keyphrases

first order logic
transitive closure
multi agent systems
learning algorithm
website
search algorithm
datalog programs
polynomial hierarchy
computation tree logic
automata theoretic
decision trees
case study
evolutionary algorithm
temporal logic