DMCA

Spatial Reasoning with Description Logics:

by Undecidability Of Alc Ra , Michael Wessel , Michael Wessel