All Outputs (4)

Graph-Based Representation and Reasoning (2018)
Presentation / Conference Contribution
(2018, June). Graph-Based Representation and Reasoning. Presented at 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh

Diagrammatic Representation and Inference (2018)
Presentation / Conference Contribution
(2018, June). Diagrammatic Representation and Inference. Presented at Diagrams: International Conference on Theory and Application of Diagrams, Edinburgh

Towards Diagram-Based Editing of Ontologies (2018)
Presentation / Conference Contribution
Chapman, P., & Roberts, W. (2018, June). Towards Diagram-Based Editing of Ontologies. Presented at 10th International Conference, Diagrams 2018, Edinburgh, UK

Ontology creation and editing involves multiple stakeholders, not all of whom may be mathematically trained. Whilst ontology editors, such as Protege, are extensible with visualisation tools to enhance understanding of the ontology, these tools are s... Read More about Towards Diagram-Based Editing of Ontologies.

Visualizing ALC Using Concept Diagrams (2018)
Presentation / Conference Contribution
Stapleton, G., Delaney, A., Compton, M., & Chapman, P. (2017, August). Visualizing ALC Using Concept Diagrams. Presented at Graph-based Knowledge and Reasoning, Melbourne

This paper addresses the problem of how to visualize axioms from ALC using concept diagrams. We establish that 66.4% of OWL axioms defined for ontologies in the Manchester corpus are formulated over ALC, demonstrating the significance of considering... Read More about Visualizing ALC Using Concept Diagrams.