Intrusion correlation using ontologies and multi-agent systems