The Lindenbaum construction and decidability.

Stewart Shapiro

Published in: Notre Dame J. Formal Log. (1988)

Keyphrases

description logics
query answering
data structure
automatic construction
preprocessing
construction process
data sets
neural network
machine learning
genetic algorithm
metadata
clustering algorithm
objective function
natural language
incomplete information