A predicate logic based on indefinite description and two notions of identity.

Robert A. Alps Robert C. Neveln

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

Keyphrases

knowledge representation
case study
deductive databases
computational properties
image processing
website
high level
similarity measure
natural language
digital libraries
relational databases
constraint databases