Login / Signup
Least Common Subsumption as a connective.
Véronique Ventos
Pierre Brézellec
Published in:
Description Logics (1997)
Keyphrases
</>
description logics
np complete
refinement operators
ontology reasoning
artificial intelligence
databases
information retrieval
knowledge base
search algorithm
preprocessing
special case
knowledge representation
transitive closure