Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains.

Published in: J. Autom. Reason. (2022)

Keyphrases