Using Insights from Psychology and Language to Improve How People Reason with Description Logics

Published on 2017-07-10900 Views

Paul Warren

Inspired by insights from theories of human reasoning and language, we propose additions to the Manchester OWL Syntax to improve comprehensibility. These additions cover: functional and inverse functi

ESWC 2017 - Portorož

Related categories

Presentation

What have psychology and philosophy ever done for us?00:00

Context00:31

Agenda01:18

Theories of reasoning02:29

Theories of reasoning - 103:22

Untitled05:42

The implicature05:53

The ambiguity of and07:21

Overwiev08:12

Study 108:58

Study 2 - functional versus transitive10:20

Study 2 - implicatures and restrictions11:06

Modifying Manchester owl syntax12:37

And is ambiguous12:45

Negated conjunction: and → intersection14:01

Negated conjunction: and not → except14:40

Functionality is difficult15:17

Functional object property addition of solely15:55

Universal & existential restrictions16:27

Universal & existential restrictions - with negation16:46

Universal & existential restrictions - nested17:24

Conclusions18:13

Insights18:50

Using psychological theory19:01

Natural language20:22

Future work21:07

Widening the domain - sparql21:34

Extending the theoretical base22:24

In summary23:17