Structural Subsumption as a Basis for Intensional Semantics.

Published in: Description Logics (1992)

Keyphrases

structural constraints
conceptual schema
description logics
np complete
formal semantics
higher order
data integration
neural network
machine learning
artificial intelligence
query language
default reasoning
structural features
graphical representation
specification language