Term Rewriting Systems: An h-Categorical Semantic.

Giulio Balestreri

Published in: DISCO (1996)

Keyphrases

object oriented
term rewriting systems
database applications
programming language
functional programs
logic programs
natural language
databases
high level
semantic web
semantic information
semantic similarity
domain specific
database
categorical data
semantic annotation
semantic network
inference rules