Affiliation:
1. Ontology and Conceptual Modeling Research Group (NEMO), Federal University of Espírito Santo, Brazil
2. Semantics, Cybersecurity & Services (SCS), University of Twente, The Netherlands
Abstract
The distinction between types and individuals is key to most conceptual modeling techniques and knowledge representation languages. Despite that, there are a number of situations in which modelers navigate this distinction inadequately, leading to problematic models. We show evidence of a large number of representation mistakes associated with the failure to employ this distinction in the Wikidata knowledge graph, which can be identified with the incorrect use of instantiation, which is a relation between an instance and a type, and specialization (or subtyping), which is a relation between two types. The prevalence of the problems in Wikidata’s taxonomies suggests that methodological and computational tools are required to mitigate the issues identified, which occur in many settings when individuals, types, and their metatypes are included in the domain of interest. We conduct a conceptual analysis of entities involved in recurrent erroneous cases identified in this empirical data, and present a tool that supports users in identifying some of these mistakes.
Reference35 articles.
1. A Comprehensive Formal Theory for Multi-level Conceptual Modeling
2. C. Atkinson, R. Gerbig and T. Kühne, Comparing multi-level modeling approaches, in: Proc. Workshop on Multi-Level Modelling Co-Located with ACM/IEEE 17th International Conf. Model Driven Engineering Languages & Systems (MoDELS 2014), CEUR Workshop Proceedings, Vol. 1286, CEUR-WS.org, 2014, pp. 53–61, http://ceur-ws.org/Vol-1286/p6.pdf.
3. The Essence of Multilevel Metamodeling
4. What IS-A is and isn’t: An analysis of taxonomic links in semantic networks;Brachman;Computer,1983
5. Applying a Multi-Level Modeling Theory to Assess Taxonomic Hierarchies in Wikidata