Reasoning with Concept Diagrams about Antipatterns in Ontologies

Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Abstract

Ontologies are notoriously hard to de ne, 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 veri cation 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.
Original languageEnglish
Title of host publication10th Conference on Intelligent Computer Mathematics
Place of PublicationEdinburgh
PublisherSpringer
Pages0-0
Number of pages1
ISBN (Print)9783319620749
Publication statusPublished - 28 Jun 2017
Event10th Conference on Intelligent Computer Mathematics - Edinburgh, 17-21 July 2017
Duration: 28 Jun 2017 → …

Publication series

NameLecture Notes in Computer Science

Conference

Conference10th Conference on Intelligent Computer Mathematics
Period28/06/17 → …

Fingerprint

Ontology
Positive ions
Acoustic waves

Bibliographical note

The final publication is available at link.springer.com

Cite this

Shams, Z., Jamnik, M., Stapleton, G., & Sato, Y. (2017). Reasoning with Concept Diagrams about Antipatterns in Ontologies. In 10th Conference on Intelligent Computer Mathematics (pp. 0-0). (Lecture Notes in Computer Science). Edinburgh: Springer.
Shams, Zohreh ; Jamnik, Mateja ; Stapleton, Gem ; Sato, Yuri. / Reasoning with Concept Diagrams about Antipatterns in Ontologies. 10th Conference on Intelligent Computer Mathematics. Edinburgh : Springer, 2017. pp. 0-0 (Lecture Notes in Computer Science).
@inproceedings{a5ad3d3b333848ecb18e8ee901a814fd,
title = "Reasoning with Concept Diagrams about Antipatterns in Ontologies",
abstract = "Ontologies are notoriously hard to de ne, 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 veri cation 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.",
author = "Zohreh Shams and Mateja Jamnik and Gem Stapleton and Yuri Sato",
note = "The final publication is available at link.springer.com",
year = "2017",
month = "6",
day = "28",
language = "English",
isbn = "9783319620749",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "0--0",
booktitle = "10th Conference on Intelligent Computer Mathematics",

}

Shams, Z, Jamnik, M, Stapleton, G & Sato, Y 2017, Reasoning with Concept Diagrams about Antipatterns in Ontologies. in 10th Conference on Intelligent Computer Mathematics. Lecture Notes in Computer Science, Springer, Edinburgh, pp. 0-0, 10th Conference on Intelligent Computer Mathematics, 28/06/17.

Reasoning with Concept Diagrams about Antipatterns in Ontologies. / Shams, Zohreh; Jamnik, Mateja; Stapleton, Gem; Sato, Yuri.

10th Conference on Intelligent Computer Mathematics. Edinburgh : Springer, 2017. p. 0-0 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

TY - GEN

T1 - Reasoning with Concept Diagrams about Antipatterns in Ontologies

AU - Shams, Zohreh

AU - Jamnik, Mateja

AU - Stapleton, Gem

AU - Sato, Yuri

N1 - The final publication is available at link.springer.com

PY - 2017/6/28

Y1 - 2017/6/28

N2 - Ontologies are notoriously hard to de ne, 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 veri cation 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.

AB - Ontologies are notoriously hard to de ne, 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 veri cation 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.

M3 - Conference contribution with ISSN or ISBN

SN - 9783319620749

T3 - Lecture Notes in Computer Science

SP - 0

EP - 0

BT - 10th Conference on Intelligent Computer Mathematics

PB - Springer

CY - Edinburgh

ER -

Shams Z, Jamnik M, Stapleton G, Sato Y. Reasoning with Concept Diagrams about Antipatterns in Ontologies. In 10th Conference on Intelligent Computer Mathematics. Edinburgh: Springer. 2017. p. 0-0. (Lecture Notes in Computer Science).