Next:
Ontologies
Up:
FORMAL FRAMEWORK
Previous:
FORMAL FRAMEWORK
KL-components
Ontologies
Models
Resolution methods
Lift definitions
Decomposition methods
jsierra@cs.stanford.edu