Show simple item record

dc.contributor.authorShams, Yen
dc.contributor.authorJamnik, Matejaen
dc.contributor.authorStapleton, Gemen
dc.contributor.authorSato, Yurien
dc.date.accessioned2018-09-05T11:09:14Z
dc.date.available2018-09-05T11:09:14Z
dc.identifier.issn0302-9743
dc.identifier.urihttps://www.repository.cam.ac.uk/handle/1810/279221
dc.description.abstractOntologies are notoriously hard to define, express and reason about. Many tools have been developed to ease the debugging and the reasoning process with ontologies, however they often lack accessibility and formalisation. A visual representation language, concept diagrams, was developed for expressing and reasoning about ontologies in an accessible way. Indeed, empirical studies show that concept diagrams are cognitively more accessible to users in ontology debugging tasks. In this paper we answer the question of “ How can concept diagrams be used to reason about inconsistencies and incoherence of ontologies?”. We do so by formalising a set of inference rules for concept diagrams that enables stepwise verification of the inconsistency and/or incoherence of a set of ontology axioms. The design of inference rules is driven by empirical evidence that concise (merged) diagrams are easier to comprehend for users than a set of lower level diagrams that offer a one-to-one translation of OWL ontology axioms into concept diagrams. We prove that our inference rules are sound, and exemplify how they can be used to reason about inconsistencies and incoherence. Finally, we indicate how our rules can serve as a foundation for new rules required when representing ontologies in diverse new domains.
dc.publisherSpringer
dc.titleReasoning with concept diagrams about antipatternsen
dc.typeConference Object
prism.endingPage271
prism.numberLMCS Vol 10383en
prism.startingPage255
dc.identifier.doi10.17863/CAM.26601
dcterms.dateAccepted2017-06-06en
rioxxterms.versionofrecord10.1007/978-3-319-62075-6_18en
rioxxterms.licenseref.urihttp://www.rioxx.net/licenses/all-rights-reserveden
rioxxterms.licenseref.startdate2017-06-06en
dc.contributor.orcidJamnik, Mateja [0000-0003-2772-2532]
dc.identifier.eissn1611-3349
rioxxterms.typeConference Paper/Proceeding/Abstracten
pubs.funder-project-idLeverhulme Trust (RPG-2016-082)
cam.issuedOnline2017-06-28en
dc.identifier.urlhttps://link.springer.com/chapter/10.1007/978-3-319-62075-6_18en
pubs.conference-nameLPARen
pubs.conference-start-date2017-06en
rioxxterms.freetoread.startdate2018-12-25


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record