What if...

Lead Research Organisation: University of Manchester
Department Name: Computer Science

Abstract

We have a richness of data about numerous aspects of our activities, yet these
data are only any use when we know what they are, agree upon what they are and
how they relate to each other. Semantic descriptions of data, the means by
which we can achieve these aims, are widely used to help exploit data in
industry, academia and at home. One way of providing such meaning or semantics
for data is through "ontologies", yet these ontologies can be hard to build,
especially for the very people that are expert in the fields whose knowledge
is being captured but who are not experienced in the specialised "modelling" field.

In the "what if...?" project we look at
the problems of creating ontologies using the Web
Ontology Language (OWL). With OWL logical forms, computers can
deduce knowledge that is only
implied within the statements made by the modeller. So any statement made
by a modeller can have a dramatic effect on what is implied.
These implications can be both "good" and "bad" in terms of the aims of the
modeller. Consequently, a
modeller is always asking themself "what if...?" questions as they model a field
of interest. Such a question might be "what happens if I say that a planet
must be orbiting a star?" or "what happens if I add in this date/time
ontology?".

The aim of the "what if...?" project is to
build a dialogue system allowing a person building an ontology
to ask such questions and get
meaningful answers. This requires getting the computer to determine what
the consequences of a change in the ontology would be and getting it to
present these consequences in a meaningful way. To do a good job,
the system will have to understand something about what the person is trying
to do and what sorts of results will be most interesting to them. For this,
we need to understand more about
how ontologists model a domain and interact with tools; be able to model the
dialogues between a human and the authoring system; achieve responsive
auttomated reasoning that can provide the dialogue system with the information
it nees to create that dialogue.
 
Description We have found that a combination of careful logging of people's interaction with an application and collection of eye tracking data, allows us to develop workflows that reveal patterns of activity when interacting with very complex tools. These patterns of activities give us insights into the strengths and weaknesses of a particular tool. In particular, we saw a deficit in people's understanding of the consequences of their actions when adding statements to a complex logical artefact. We developed a technique by which those consequences could be revealed and showed that this had a distinct improvement with how people developed a particular type of complex artefact.
Exploitation Route We have gained insights into how people interact with complex artefacts. We intend to take this forward into broader research into how people interact with the development of complex logical artefacts and software.
Sectors Digital/Communication/Information Technologies (including Software),Healthcare

 
Title - Interview transcripts can be found at http://wel-data.cs.manchester.ac.uk/investigations/3 
Description Interview transcripts 
Type Of Material Database/Collection of data 
Year Produced 2014 
Provided To Others? Yes  
Impact Data to support a publications DOIs: 10.1016/j.ijhcs.2014.07.005, 10.1145/2556288.2557284 
URL http://wel-data.cs.manchester.ac.uk/investigations/3
 
Title Inference Inspector 
Description Tool for showing the consequences of actions in the form of changes to entailment sets 
Type Of Technology Software 
Year Produced 2016 
Open Source License? Yes  
Impact tbc 
URL https://github.com/matentzn/inference-inspector
 
Title Protege Survey tool 
Description Tool for conducting user studies in the Protege Ontology Environment 
Type Of Technology Software 
Year Produced 2016 
Impact tbc 
URL https://github.com/matentzn/protegesurvey
 
Description Identifying ontology authoring strategies and patterns - talk by Markel Vigo at the UK Ontology Network meeting (UKON 2014), 24 April, 2014. 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Participants in your research and patient groups
Results and Impact Invited to participant in grant proposal.
Year(s) Of Engagement Activity 2014
URL http://www.slideshare.net/robertstevens65/birmingham-2014-41245092
 
Description Issues and activities in authoring ontologies - invited seminar by Robert Stevens at the Department of Computer Science, University of Birmingham, 6 November, 2014. 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach Local
Primary Audience Participants in your research and patient groups
Results and Impact talk sparked questions and discussions afterwards

Too soon to tell
Year(s) Of Engagement Activity 2014
URL http://www.slideshare.net/robertstevens65/birmingham-2014-41245092
 
Description Talk at National Research Council (CNR-ISTI), Pisa (Italy), Markel Vigo 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact Talk Identifying Interaction Workflows with Complex Artefacts delivered by Markel Vigo at National Research Council (CNR-ISTI), Pisa (Italy), May 2015
Year(s) Of Engagement Activity 2015
 
Description Talk by Markel Vigo at The Health eResearch Centre (HeRC), Manchester (UK) July 2015 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach Regional
Primary Audience Professional Practitioners
Results and Impact Talk "Unconventional methods for modelling complex interactions: opportunities for human-data interaction" delivered by Markel Vigo at The Health eResearch Centre (HeRC), Manchester (UK), July 2015.
Year(s) Of Engagement Activity 2015
 
Description The EKAW talk 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact A presentation on the design and evaluation of the Inference Inspector Protégé plug-in that allows ontology developers to understand the consequences of their actions.
Year(s) Of Engagement Activity 2016
 
Description UK Ontology Network (UKON) 2016 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Professional Practitioners
Results and Impact The Workflows of Ontology Authoring: Controlled vs Naturalistic Settings
Year(s) Of Engagement Activity 2016
URL https://conferences.ncl.ac.uk/ukon2016/programme/