5 papers
From Subsumption to Satisfiability: LLM-Assisted Active Learning for OWL Ontologies
Haoruo Zhao, Wenshuo Tang, Duncan Guthrie +3
In active learning, membership queries (MQs) allow a learner to pose questions to a teacher, such as ''Is every apple a fruit?'', to which the teacher responds correctly with yes o…
A Digital Twinning Approach to Decarbonisation: Research Challenges
Blair Archibald, Paul Harvey, Michele Sevegnani
Transportation accounts for around 27% of green house gas emissions in the UK. While an obvious priority area for decarbonisation, and aligned to the UK government goal of reducing…
Modelling Real-time Systems with Bigraphs
Maram Albalwe, Blair Archibald, Michele Sevegnani
Bigraphical Reactive Systems (BRSs) are a graph-rewriting formalism describing systems evolving in two dimensions: spatially, e.g. a person in a room, and non-spatially, e.g. mobil…
Modelling Privacy Compliance in Cross-border Data Transfers with Bigraphs
Ebtihal Althubiti, Michele Sevegnani
Advancements in information technology have led to the sharing of users' data across borders, raising privacy concerns, particularly when destination countries lack adequate protec…
Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification
Roberto Metere, Kangfeng Ye, Yue Gu +4
As Open Radio Access Networks (O-RAN) continue to expand, AI-driven applications (xApps) are increasingly being deployed enhance network management. However, developing xApps witho…