Harold Boley

• A Tight, Practical Integration of Relations and Functions
• Processing Declarative Knowledge
• Rules and Rule Markup Languages for the Semantic Web