activity
20082025
most citedA Survey of Qualitative Spatial and Temporal Calculi -- Algebraic and Computational Properties

32 citations · 72 across the 9 of their papers we have counts for

collaborators
Showing 2010Show all

1 paper · 1 filter

cs.LO2010★ 4 cited

The Complexity of Satisfiability for Sub-Boolean Fragments of ALC

Arne Meier, Thomas Schneider

The standard reasoning problem, concept satisfiability, in the basic description logic ALC is PSPACE-complete, and it is EXPTIME-complete in the presence of unrestricted axioms. Se…