Högskolan i Skövde

his.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • apa-cv
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Sanity-Checking Multiple Levels of Classification: A Formal Approach with a ConceptBase Implementation
Victoria University of Wellington, New Zealand.ORCID iD: 0000-0002-7674-2209
University of Skövde, School of Informatics. University of Skövde, Informatics Research Environment. (Information Systems)ORCID iD: 0000-0002-9421-8566
2023 (English)In: Conceptual Modeling: 42nd International Conference, ER 2023 Lisbon, Portugal, November 6–9, 2023 Proceedings / [ed] João Paulo A. Almeida; José Borbinha; Giancarlo Guizzardi; Sebastian Link; Jelena Zdravkovic, Cham: Springer, 2023, p. 162-180Conference paper, Published paper (Refereed)
Abstract [en]

Multiple levels of classification naturally occur in many domains. Several multi-level modeling approaches account for this and a subset of them attempt to provide their users with sanity-checking mechanisms in order to guard them against conceptually ill-formed models. Historically, the respective multi-level well-formedness schemes have either been overly restrictive or too lax. Orthogonal Ontological Classification has been proposed as a foundation that combines the selectivity of strict schemes with the flexibility afforded by laxer schemes. In this paper, we present a formalization of Orthogonal Ontological Classification, which we empirically validated to demonstrate some of its hitherto only postulated claims using an implementation in ConceptBase. We discuss both the formalization and the implementation, and report on the limitations we encountered.

Place, publisher, year, edition, pages
Cham: Springer, 2023. p. 162-180
Series
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 14320
Keywords [en]
multi-level modeling, well-formedness, integrity constraints
National Category
Information Systems
Research subject
Information Systems
Identifiers
URN: urn:nbn:se:his:diva-23337DOI: 10.1007/978-3-031-47262-6_9Scopus ID: 2-s2.0-85177448606ISBN: 978-3-031-47261-9 (print)ISBN: 978-3-031-47262-6 (electronic)OAI: oai:DiVA.org:his-23337DiVA, id: diva2:1808052
Conference
42nd International Conference, ER 2023 Lisbon, Portugal, November 6–9, 2023
Available from: 2023-10-30 Created: 2023-10-30 Last updated: 2024-04-15Bibliographically approved

Open Access in DiVA

The full text will be freely available from 2024-10-30 11:18
Available from 2024-10-30 11:18

Other links

Publisher's full textScopus

Authority records

Jeusfeld, Manfred A.

Search in DiVA

By author/editor
Kühne, ThomasJeusfeld, Manfred A.
By organisation
School of InformaticsInformatics Research Environment
Information Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 125 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • apa-cv
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf