= dl + lambda J.

Clement W. H. Lam

Published in: J. Comb. Theory, Ser. A (1977)

Keyphrases

description logics
expressive power
knowledge base
information systems
lambda calculus
artificial intelligence
decision making
website
conjunctive queries
fixed point
natural language
expressive description logics
dl lite
data model
real time
video sequences
machine learning
databases