Semantic Resolution for Horn Sets.

Lawrence J. Henschen

Published in: IJCAI (1975)

Keyphrases

high resolution
domain specific
semantic information
semantic description
semantic network
semantic analysis
np hard
semantic web
domain independent
semantic web technologies
horn clauses
semantic knowledge
semantic representation
semantic level
semantically rich
semantically meaningful