Expressive Completeness and Decidability.

George F. Schumm Stewart Shapiro

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

Keyphrases

description logics
query answering
information systems
natural language
data quality
decision making
e learning
high level
multi agent systems
highly expressive