Show simple item record

dc.contributor.authorShams, Zohreh
dc.contributor.authorJamnik, Mateja
dc.contributor.authorStapleton, G
dc.contributor.authorSato, Y
dc.date.accessioned2019-01-11T00:31:58Z
dc.date.available2019-01-11T00:31:58Z
dc.date.issued2018
dc.identifier.isbn9781577358039
dc.identifier.urihttps://www.repository.cam.ac.uk/handle/1810/287839
dc.description.abstractConcept diagrams form a visual language that is aimed at non-experts for the specification of ontologies and reason- ing about them. Empirical evidence suggests that they are more accessible to ontology users than symbolic notations typically used for ontologies (e.g., DL, OWL). Here, we re- port on iCon, a theorem prover for concept diagrams that al- lows reasoning about ontologies diagrammatically. The input to iCon is a theorem that needs proving to establish how an entailment, in an ontology that needs debugging, is caused by a minimal set of axioms. Such a minimal set of axioms is called an entailment justification. Carrying out inference in iCon provides a diagrammatic proof (i.e., explanation) that shows how the axioms in an entailment justification give rise to the entailment under investigation. iCon proofs are for- mally verified and guaranteed to be correct.
dc.description.sponsorshipZohreh
dc.publisherAAAI Press
dc.titleIcon: A diagrammatic theorem prover for ontologies
dc.typeConference Object
prism.endingPage208
prism.publicationDate2018
prism.publicationNamePrinciples of Knowledge Representation and Reasoning: Proceedings of the 16th International Conference, KR 2018
prism.startingPage204
dc.identifier.doi10.17863/CAM.35154
dcterms.dateAccepted2018-07-11
rioxxterms.versionofrecord10.17863/CAM.35154
rioxxterms.versionAM
rioxxterms.licenseref.urihttp://www.rioxx.net/licenses/all-rights-reserved
rioxxterms.licenseref.startdate2018-01-01
dc.contributor.orcidShams, Zohreh [0000-0002-0143-798X]
dc.contributor.orcidJamnik, Mateja [0000-0003-2772-2532]
dc.identifier.eissn2334-1033
dc.publisher.urlhttp://www.aaai.org/Library/KR/kr18contents.php
rioxxterms.typeConference Paper/Proceeding/Abstract
pubs.funder-project-idLeverhulme Trust (RPG-2016-082)
pubs.conference-nameInternational Conference on Principles of Knowledge Representation and Reasoning
pubs.conference-start-date2018-10-27
pubs.conference-finish-date2018-11-02


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record