Simplified Common Logic A flexible framework for information interchange based on first-order logic.
Presentation