Semantic Web Services Ontology
09.09.2005 w3c Submission
Besteht aus der Beschreibung eines konzeptionellen Modells, auf welchem die Ontologie basiert sowie einer first-order Logik Axiomatization, welche die modelltheoretische Semantik der Ontologie definiert.
Link: zur Spezifikation