On the Semantics of Anonymous Identity and Reification.

Guizhen Yang Michael Kifer

Published in: OTM (2002)

Keyphrases

formal semantics
logic programming
temporal reasoning
identity management
database
meta level
semantic representation
genetic algorithm
expressive power
default reasoning
specification language