Login / Signup
A Proposal for a Glass-Box Approach for Subsumption Checking.
Quentin Elhaik
Marie-Christine Rousset
Marie-Claude Gaudel
Published in:
Description Logics (1996)
Keyphrases
</>
description logics
np complete
transitive closure
databases
learning algorithm
e learning
multi agent systems
computational complexity
information extraction
consistency checking