Show simple item record

dc.contributor.authorShams, Zohrehen
dc.contributor.authorJamnik, Matejaen
dc.contributor.authorStapleton, Gen
dc.contributor.authorSato, Yen
dc.date.accessioned2018-04-12T13:35:19Z
dc.date.available2018-04-12T13:35:19Z
dc.date.issued2017-01-01en
dc.identifier.isbn9783319620749en
dc.identifier.issn0302-9743
dc.identifier.urihttps://www.repository.cam.ac.uk/handle/1810/274808
dc.description.abstract© Springer International Publishing AG 2017. 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 accessibility and formalisation. A visual representation language, concept diagrams, was developed for expressing ontologies, which has been empirically proven to be cognitively more accessible to ontology users. 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 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 are a one-to-one translation from OWL ontology axioms. We prove that our inference rules are sound, and exemplify how they can be used to reason about inconsistencies and incoherence.
dc.titleReasoning with concept diagrams about antipatterns in ontologiesen
dc.typeConference Object
prism.endingPage271
prism.publicationDate2017en
prism.publicationNameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)en
prism.startingPage255
prism.volume10383 LNAIen
dc.identifier.doi10.17863/CAM.21377
dcterms.dateAccepted2017-05-17en
rioxxterms.versionofrecord10.1007/978-3-319-62075-6_18en
rioxxterms.versionAM*
rioxxterms.licenseref.urihttp://www.rioxx.net/licenses/all-rights-reserveden
rioxxterms.licenseref.startdate2017-01-01en
dc.contributor.orcidShams, Zohreh [0000-0002-0143-798X]
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)


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record