Skip to main content

2017 | OriginalPaper | Buchkapitel

Reasoning with Concept Diagrams About Antipatterns in Ontologies

verfasst von : Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato

Erschienen in: Intelligent Computer Mathematics

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
For simplicity and succinctness, we treat single elements as singleton sets (e.g. a spider represents an element via its label, but we treat it as a singleton set).
 
Literatur
3.
Zurück zum Zitat Baader, F., Horrocks, I., Sattler, U.: Description logics. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies. International Handbooks on Information Systems, pp. 21–43. Springer, Heidelberg (2009)CrossRef Baader, F., Horrocks, I., Sattler, U.: Description logics. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies. International Handbooks on Information Systems, pp. 21–43. Springer, Heidelberg (2009)CrossRef
4.
Zurück zum Zitat Brockmans, S., Volz, R., Eberhart, A., Löffler, P.: Visual modeling of OWL DL ontologies using UML. In: McIlraith, S.A., Plexousakis, D., Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 198–213. Springer, Heidelberg (2004). doi:10.1007/978-3-540-30475-3_15 CrossRef Brockmans, S., Volz, R., Eberhart, A., Löffler, P.: Visual modeling of OWL DL ontologies using UML. In: McIlraith, S.A., Plexousakis, D., Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 198–213. Springer, Heidelberg (2004). doi:10.​1007/​978-3-540-30475-3_​15 CrossRef
5.
Zurück zum Zitat Chapman, P., Stapleton, G., Howse, J., Oliver, I.: Deriving sound inference rules for concept diagrams. In: 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2011, pp. 87–94. IEEE (2011) Chapman, P., Stapleton, G., Howse, J., Oliver, I.: Deriving sound inference rules for concept diagrams. In: 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2011, pp. 87–94. IEEE (2011)
6.
Zurück zum Zitat Corcho, Ó., Roussey, C., Blázquez, L.M.V., Pérez, I.: Pattern-based OWL ontology debugging guidelines. In: Proceedings of the Workshop on Ontology Patterns (WOP 2009), vol. 516, CEUR Workshop Proceedings. CEUR-WS.org (2009) Corcho, Ó., Roussey, C., Blázquez, L.M.V., Pérez, I.: Pattern-based OWL ontology debugging guidelines. In: Proceedings of the Workshop on Ontology Patterns (WOP 2009), vol. 516, CEUR Workshop Proceedings. CEUR-WS.org (2009)
7.
Zurück zum Zitat Dau, F., Eklund, P.W.: A diagrammatic reasoning system for the description logic ACL. J. Vis. Lang. Comput. 19(5), 539–573 (2008)CrossRef Dau, F., Eklund, P.W.: A diagrammatic reasoning system for the description logic ACL. J. Vis. Lang. Comput. 19(5), 539–573 (2008)CrossRef
8.
Zurück zum Zitat Gil, J., Howse, J., Kent, S.: Formalizing spider diagrams. In: IEEE Symposium on Visual Languages, pp. 130–137. IEEE Computer Society (1999) Gil, J., Howse, J., Kent, S.: Formalizing spider diagrams. In: IEEE Symposium on Visual Languages, pp. 130–137. IEEE Computer Society (1999)
9.
Zurück zum Zitat Guizzardi, G., Sales, T.P.: Detection, simulation and elimination of semantic anti-patterns in ontology-driven conceptual models. In: Yu, E., Dobbie, G., Jarke, M., Purao, S. (eds.) ER 2014. LNCS, vol. 8824, pp. 363–376. Springer, Cham (2014). doi:10.1007/978-3-319-12206-9_30 Guizzardi, G., Sales, T.P.: Detection, simulation and elimination of semantic anti-patterns in ontology-driven conceptual models. In: Yu, E., Dobbie, G., Jarke, M., Purao, S. (eds.) ER 2014. LNCS, vol. 8824, pp. 363–376. Springer, Cham (2014). doi:10.​1007/​978-3-319-12206-9_​30
10.
Zurück zum Zitat Gurr, C.: Effective diagrammatic communication: syntactic, semantic and pragmatic issues. J. Vis. Lang. Comput. 10(4), 317–342 (1999)CrossRef Gurr, C.: Effective diagrammatic communication: syntactic, semantic and pragmatic issues. J. Vis. Lang. Comput. 10(4), 317–342 (1999)CrossRef
11.
12.
Zurück zum Zitat Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: the making of a web ontology language. J. Web Semant. 1(1), 7–26 (2003)CrossRef Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: the making of a web ontology language. J. Web Semant. 1(1), 7–26 (2003)CrossRef
13.
Zurück zum Zitat Hou, T., Chapman, P., Blake, A.: Antipattern comprehension: an empirical evaluation. In: Formal Ontology in Information Systems. Frontiers in Artificial Intelligence, vol. 283, pp. 211–224. IOS Press (2016) Hou, T., Chapman, P., Blake, A.: Antipattern comprehension: an empirical evaluation. In: Formal Ontology in Information Systems. Frontiers in Artificial Intelligence, vol. 283, pp. 211–224. IOS Press (2016)
14.
Zurück zum Zitat Howse, J., Stapleton, G., Taylor, K., Chapman, P.: Visualizing ontologies: a case study. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011. LNCS, vol. 7031, pp. 257–272. Springer, Heidelberg (2011). doi:10.1007/978-3-642-25073-6_17 CrossRef Howse, J., Stapleton, G., Taylor, K., Chapman, P.: Visualizing ontologies: a case study. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011. LNCS, vol. 7031, pp. 257–272. Springer, Heidelberg (2011). doi:10.​1007/​978-3-642-25073-6_​17 CrossRef
15.
Zurück zum Zitat Itzik, N., Reinhartz-Berger, I.: SOVA - a tool for semantic and ontological variability analysis. In: Joint Proceedings of the CAiSE 2014 Forum and CAiSE 2014 Doctoral Consortium, vol. 1164, pp. 177–184. CEUR-WS.org (2014) Itzik, N., Reinhartz-Berger, I.: SOVA - a tool for semantic and ontological variability analysis. In: Joint Proceedings of the CAiSE 2014 Forum and CAiSE 2014 Doctoral Consortium, vol. 1164, pp. 177–184. CEUR-WS.org (2014)
16.
Zurück zum Zitat Lohmann, S., Negru, S., Haag, F., Ertl, T.: Visualizing ontologies with VOWL. Semant. Web 7(4), 399–419 (2016)CrossRef Lohmann, S., Negru, S., Haag, F., Ertl, T.: Visualizing ontologies with VOWL. Semant. Web 7(4), 399–419 (2016)CrossRef
17.
Zurück zum Zitat Qi, G., Hunter, A.: Measuring incoherence in description logic-based ontologies. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudré-Mauroux, P. (eds.) ASWC/ISWC -2007. LNCS, vol. 4825, pp. 381–394. Springer, Heidelberg (2007). doi:10.1007/978-3-540-76298-0_28 CrossRef Qi, G., Hunter, A.: Measuring incoherence in description logic-based ontologies. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudré-Mauroux, P. (eds.) ASWC/ISWC -2007. LNCS, vol. 4825, pp. 381–394. Springer, Heidelberg (2007). doi:10.​1007/​978-3-540-76298-0_​28 CrossRef
18.
Zurück zum Zitat Ragni, M., Khemlani, S., Johnson-Laird, P.N.: The evaluation of the consistency of quantified assertions. Mem. Cogn. 42(1), 53–66 (2014)CrossRef Ragni, M., Khemlani, S., Johnson-Laird, P.N.: The evaluation of the consistency of quantified assertions. Mem. Cogn. 42(1), 53–66 (2014)CrossRef
19.
Zurück zum Zitat Stapleton, G., Howse, J., Chapman, P., Delaney, A., Burton, J., Oliver, I.: Formalizing concept diagrams. In: 19th International Conference on Distributed Multimedia Systems, Visual Languages and Computing, pp. 182–187. Knowledge Systems Institute (2013) Stapleton, G., Howse, J., Chapman, P., Delaney, A., Burton, J., Oliver, I.: Formalizing concept diagrams. In: 19th International Conference on Distributed Multimedia Systems, Visual Languages and Computing, pp. 182–187. Knowledge Systems Institute (2013)
20.
Metadaten
Titel
Reasoning with Concept Diagrams About Antipatterns in Ontologies
verfasst von
Zohreh Shams
Mateja Jamnik
Gem Stapleton
Yuri Sato
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-62075-6_18