Enterprise Architecture Analysis with XML

This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectures. The core of a symbolic model consists of its signature that specifies symbolically its structural elements and their relationships. A semantic model is defined as a formal interpretation of the symbolic model. This provides a formal approach to the design of architectural description languages and a general mathematical foundation for the use of formal methods in enterprise architectures. For dynamic analysis we define transformations of models of architectures, modeled in XML, and for this purpose the XML vocabulary for an architecture is extended with a few constructs defined in the Rule Markup Language (RML). There are RML tools available that perform the desired transformations. 1. Introductio

Interpretation on Multi-modal Visual Fusion

In this paper, we present an analytical framework and a novel metric to shed light on the interpretation of the multimodal vision community. Our approach involves measuring the proposed semantic variance and feature similarity across modalities and levels, and conducting semantic and quantitative analyses through comprehensive experiments. Specifically, we investigate the consistency and speciality of representations across modalities, evolution rules within each modality, and the collaboration logic used when optimizing a multi-modality model. Our studies reveal several important findings, such as the discrepancy in cross-modal features and the hybrid multi-modal cooperation rule, which highlights consistency and speciality simultaneously for complementary inference. Through our dissection and findings on multi-modal fusion, we facilitate a rethinking of the reasonability and necessity of popular multi-modal vision fusion strategies. Furthermore, our work lays the foundation for designing a trustworthy and universal multi-modal fusion model for a variety of tasks in the future.Comment: This version was under review since 2023/3/

Institutionalising Ontology-Based Semantic Integration

We address what is still a scarcity of general mathematical foundations for ontology-based semantic integration underlying current knowledge engineering methodologies in decentralised and distributed environments. After recalling the first-order ontology-based approach to semantic integration and a formalisation of ontological commitment, we propose a general theory that uses a syntax-and interpretation-independent formulation of language, ontology, and ontological commitment in terms of institutions. We claim that our formalisation generalises the intuitive notion of ontology-based semantic integration while retaining its basic insight, and we apply it for eliciting and hence comparing various increasingly complex notions of semantic integration and ontological commitment based on differing understandings of semantics

The Information-Flow Approach to Ontology-Based Semantic Integration

In this article we argue for the lack of formal foundations for ontology-based semantic alignment. We analyse and formalise the basic notions of semantic matching and alignment and we situate them in the context of ontology-based alignment in open-ended and distributed environments, like the Web. We then use the mathematical notion of information flow in a distributed system to ground three hypotheses that enable semantic alignment. We draw our exemplar applications of this work from a variety of interoperability scenarios including ontology mapping, theory of semantic interoperability, progressive ontology alignment, and situated semantic alignment

Interpretation of an international terminology standard in the development of a logic-based compositional terminology

Purpose: Version 1.0 of the International Classification for Nursing Practice (ICNP®) is a logic-based compositional terminology. International Organization for Standardization (ISO) 18104:2003 Health Informatics¿Integration of a reference terminology model for nursing is an international standard to support the development, testing and implementation of nursing terminologies. Methods: This study examines how ISO 18104:2003 has been interpreted in the development of ICNP® Version 1.0 by identifying mappings between ICNP® and the ISO standard. Representations of diagnostic and interventional statements within ICNP® are also analyzed according to the requirements mandated by the ISO standard. Results: All structural components of ISO 18104:2003 i.e. semantic categories, semantic domains, qualifiers and semantic links are represented either directly or in interpreted form within ICNP®. The formal representations within ICNP® of diagnostic and interventional statements meet the requirement of the ISO standard. Conclusions: The findings of this study demonstrate that ICNP® Version 1.0 conforms to ISO 18104:2003. More importantly perhaps, this study provides practical examples of how components of a terminology standard might be interpreted and it examines how such a standard might be used to support the definition of high-level schemata in developing logic-based compositional terminologies

The ERA of FOLE: Superstructure

This paper discusses the representation of ontologies in the first-order logical environment FOLE (Kent 2013). An ontology defines the primitives with which to model the knowledge resources for a community of discourse (Gruber 2009). These primitives, consisting of classes, relationships and properties, are represented by the ERA (entity-relationship-attribute) data model (Chen 1976). An ontology uses formal axioms to constrain the interpretation of these primitives. In short, an ontology specifies a logical theory. This paper is the second in a series of three papers that provide a rigorous mathematical representation for the ERA data model in particular, and ontologies in general, within the first-order logical environment FOLE. The first two papers show how FOLE represents the formalism and semantics of (many-sorted) first-order logic in a classification form corresponding to ideas discussed in the Information Flow Framework (IFF). In particular, the first paper (Kent 2015) provided a "foundation" that connected elements of the ERA data model with components of the first-order logical environment FOLE, and this second paper provides a "superstructure" that extends FOLE to the formalisms of first-order logic. The third paper will define an "interpretation" of FOLE in terms of the transformational passage, first described in (Kent 2013), from the classification form of first-order logic to an equivalent interpretation form, thereby defining the formalism and semantics of first-order logical/relational database systems (Kent 2011). The FOLE representation follows a conceptual structures approach, that is completely compatible with Formal Concept Analysis (Ganter and Wille 1999) and Information Flow (Barwise and Seligman 1997)

Semantic Component Composition

Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them are "custom"; the rest are reused or refactored existing pieces of software. Unfortunately, this is an idealized situation. Just because two components should work together does not mean that they will work together. The "glue" that holds components together is not just technology. The contracts that bind complex systems together implicitly define more than their explicit type. These "conceptual contracts" describe essential aspects of extra-system semantics: e.g., object models, type systems, data representation, interface action semantics, legal and contractual obligations, and more. Designers and developers spend inordinate amounts of time technologically duct-taping systems to fulfill these conceptual contracts because system-wide semantics have not been rigorously characterized or codified. This paper describes a formal characterization of the problem and discusses an initial implementation of the resulting theoretical system.Comment: 9 pages, submitted to GCSE/SAIG '0

A semantic foundation for hidden state

We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order store. Our proof involves solving a non-trivial recursive domain equation, and it helps identify some of the key ingredients for soundness