A Constructive Semantics for ALC.

Loris Bozzato Mauro Ferrari Camillo Fiorentini Guido Fiorino

Published in: Description Logics (2007)

Keyphrases

fuzzy description logics
description logics
formal semantics
model theoretic
expert systems
upper bound
semantic information
conceptual graphs
reasoning tasks
lower bound
transformation rules
description logic alc