Title :
Supporting threat analysis through description logic reasoning
Author :
Roy, Jean ; Guyard, Alexandre Bergeron
Author_Institution :
Defence R&D Canada - Valcartier, Quebec City, QC, Canada
Abstract :
This paper describes an existing proof-of-concept prototype of an automated reasoning service exploiting ontologies expressed in description logic to support the intelligence staff in detecting and categorizing threats. The key concepts of threat analysis are first presented and they are then organized into a reasoning framework. The development of a suitable ontology for threat analysis is discussed, along with the main aspects of automated reasoning with description logic, including the inference of characteristics and object properties, and the use of the Semantic Web Rule Language. A simple “academic” situation example is provided to illustrate the material being discussed, and the description logic reasoning service exploiting the threat analysis ontology is briefly presented.
Keywords :
inference mechanisms; ontologies (artificial intelligence); public administration; security; semantic Web; Semantic Web Rule Language; academic situation; automated reasoning service; description logic reasoning service; intelligence staff; threat analysis ontology; threat categorization; threat detection; Cognition; Context; Humans; Injuries; Materials; OWL; Ontologies; Automated Reasoning; Description Logic; Ontology; Threat Analysis;
Conference_Titel :
Cognitive Methods in Situation Awareness and Decision Support (CogSIMA), 2012 IEEE International Multi-Disciplinary Conference on
Conference_Location :
New Orleans, LA
Print_ISBN :
978-1-4673-0343-9
DOI :
10.1109/CogSIMA.2012.6188401