Ist eine Logik-basierte Sprache zur formalen Charakterisierung von Web Service Konzepten und Beschreibungen von individuellen Diensten.
Link: zur Spezifikation