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