Outputs (2)

A Web of Active Knowledge (2008)
Presentation / Conference Contribution
Geldart, J., Cummins, S., & Song, W. (2008, November). A Web of Active Knowledge. Presented at International Conference on Semantics, Knowledge, and Grid (SKG’08),, Beijing, China

This paper outlines a new model for the Web inspired by recent research into cognitive science. It is argued that the trend towards decentralisation requires a change from a typical client-server meta-model to one based on the idea of communicating i... Read More about A Web of Active Knowledge.

Category-based Equational Reasoning: An Approach to Ontology Integration (2008)
Journal Article
Geldart, J., & Song, W. (2009). Category-based Equational Reasoning: An Approach to Ontology Integration. Journal of Logic and Computation, 19(5), 791-806. https://doi.org/10.1093/logcom/exn044

Incorporating dynamic, general computational knowledge into Semantic Web ontologies is becoming increasingly important. The Semantic Web is now being used to model the behaviour of highly dynamic domains such as web-services, but current approaches t... Read More about Category-based Equational Reasoning: An Approach to Ontology Integration.