Hodkiewicz, M., Klüwer, J. W., Woods, C., Smoker, T., & Low, E. (2021). Computers in Industry.
Demonstrates how formal ontologies can transform spreadsheet-based engineering data into machine-interpretable representations, enabling automated reasoning from component failures to system-level effects.
Hodkiewicz, M., Low, E., Woods, C., & Ameri, F. (2020). CEUR Workshop Proceedings.
Demonstrates the design of a reference ontology to standardise semantics and enable automated reasoning over semi-structured maintenance work management data.
University of Western Australia, 2020
Introduces a novel formal definition of ideological congruence and presents the first formal proof that list proportional representation yields higher ideological congruence than first-past-the-post electoral systems.
More writing coming soon.