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.
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.
Publications

Arguello Casteleiro M
(2016)
The Proteasix Ontology.
in Journal of biomedical semantics

Hastings J
(2014)
Evaluating the Emotion Ontology through use in the self-reporting of emotional responses at an academic conference.
in Journal of biomedical semantics

Matentzoglu N
(2018)
MIRO: guidelines for minimum information for the reporting of an ontology.
in Journal of biomedical semantics

Matentzoglu N
(2018)
Inference Inspector: Improving the verification of ontology authoring actions
in Journal of Web Semantics

Matentzoglu N
(2016)
Knowledge Engineering and Knowledge Management

Stevens R
(2019)
Measuring expert performance at manually classifying domain entities under upper ontology classes
in Journal of Web Semantics

Vigo M
(2015)
Constructing Conceptual Knowledge Artefacts

Vigo M
(2019)
Comparing ontology authoring workflows with Protégé: In the laboratory, in the tutorial and in the 'wild'
in Journal of Web Semantics
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/ |