Login / Signup
Finite Model Reasoning in ALCQI is EXPTIME Logics.
Carsten Lutz
Ulrike Sattler
Lidia Tendera
Published in:
Description Logics (2003)
Keyphrases
</>
description logics
objective function
knowledge representation and reasoning