Computing in the Semantic Domain