🤖 AI Summary
Existing digital forensics ontologies (e.g., UCO, CASE) exhibit insufficient semantic coverage, weak cross-domain interoperability, and outdated threat modeling when applied to smart city infrastructure (SCI) scenarios. To address these limitations, this paper proposes the first ontology framework for urban security that unifies the physical, cyber, and social spaces, formalized in OWL 2. It integrates an SCI-specific threat model, attack technique taxonomy, digital forensics workflow, and semantic specifications for evidence chains. Leveraging SPARQL-based reasoning, PROV-O for provenance modeling, and standardized mappings to STIX/TAXII, the ontology enables threat attribution, criminal chain inference, and semantic alignment of evidence chains. The framework supports modeling of 12 representative urban security scenarios, improves inter-departmental forensic collaboration efficiency by 3.2×, and has been validated for compliance with ISO/IEC 27001.