A Semantic Approach to Order-Sorted Rewriting.

Published in: J. Symb. Comput. (1998)

Keyphrases

order sorted
semantic information
high level
predicate logic
natural language
semantic similarity
semantic knowledge
semantic relationships
semantic search
higher level
semantic annotation
conjunctive queries
semantic features
semantic description
rewrite rules