BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Accessible Reasoning with Diagrams: Ontology Debugging - Mateja Ja
 mnik (University of Cambridge)
DTSTART:20170713T133000Z
DTEND:20170713T143000Z
UID:TALK73273@talks.cam.ac.uk
CONTACT:INI IT
DESCRIPTION:<span>Co-authors: Gem Stapleton		(University of Brighton\, UK)
 \, Zohreh Shams		(University of Cambridge\, UK)\, Yuri Sato		(University o
 f Brighton\, UK)        <br></span><br>Ontologies are notoriously hard to 
 define\, express and reason about. Many tools have been developed to ease 
 the ontology debugging and reasoning\, however they often lack accessibili
 ty and formalisation. A visual representation language\, concept diagrams\
 , was developed for ex- pressing ontologies\, which has been empirically p
 roven to be cognitively more accessible to ontology users. In this paper w
 e answer the question of &ldquo\;How can concept diagrams be used to reaso
 n about inconsistencies and incoherence of ontologies?&rdquo\;. We do so b
 y formalising a set of infer- ence rules for concept diagrams that enables
  stepwise verification of the inconsistency and incoherence of a set of on
 tology axioms. The design of inference rules is driven by empirical eviden
 ce that concise (merged) diagrams are easier to comprehend for users than 
 a set of lower level diagrams that are a one-to-one translation from OWL o
 ntology axioms. We prove that our inference rules are sound\, and exemplif
 y how they can be used to reason about inconsistencies and incoherence.<br
 ><br>Related Links<ul><li><a target="_blank" rel="nofollow" href="http://w
 ww-old.newton.ac.uk/cgi/http%3A%2F%2Fwww.cl.cam.ac.uk%2Fresearch%2Fard">ht
 tp://www.cl.cam.ac.uk/research/ard</a> - Project web page</li></ul>
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR