Formal modelling of OWL ontologies-based requirements for the development of safe and secure smart city systems
Eman H. Alkhammash
Topics & Concepts
Computer scienceWeb Ontology LanguageOntologyTraceabilitySoftware engineeringEvent (particle physics)Formal specificationSemantic WebWorld Wide WebPhysicsEpistemologyQuantum mechanicsPhilosophyService-Oriented Architecture and Web ServicesAdvanced Software Engineering MethodologiesBusiness Process Modeling and Analysis