-
Using Causal Threads to Explain Changes in a Dynamic System
Authors:
Robert B. Allen
Abstract:
We explore develo** rich semantic models of systems. Specifically, we consider structured causal explanations about state changes in those systems. Essentially, we are develo** process-based dynamic knowledge graphs. As an example, we construct a model of the causal threads for geological changes proposed by the Snowball Earth theory. Further, we describe an early prototype of a graphical inte…
▽ More
We explore develo** rich semantic models of systems. Specifically, we consider structured causal explanations about state changes in those systems. Essentially, we are develo** process-based dynamic knowledge graphs. As an example, we construct a model of the causal threads for geological changes proposed by the Snowball Earth theory. Further, we describe an early prototype of a graphical interface to present the explanations. Unlike statistical approaches to summarization and explanation such as Large Language Models (LLMs), our approach of direct representation can be inspected and verified directly.
△ Less
Submitted 19 November, 2023;
originally announced November 2023.
-
Semantic Modeling with SUMO
Authors:
Robert B. Allen
Abstract:
We explore using the Suggested Upper Merged Ontology (SUMO) to develop a semantic simulation. We provide two proof-of-concept demonstrations modeling transitions in a simulated gasoline engine using a general-purpose programming language. Rather than focusing on computationally highly intensive techniques, we explore a less computationally intensive approach related to familiar software engineerin…
▽ More
We explore using the Suggested Upper Merged Ontology (SUMO) to develop a semantic simulation. We provide two proof-of-concept demonstrations modeling transitions in a simulated gasoline engine using a general-purpose programming language. Rather than focusing on computationally highly intensive techniques, we explore a less computationally intensive approach related to familiar software engineering testing procedures. In addition, we propose structured representations of terms based on linguistic approaches to lexicography.
△ Less
Submitted 12 January, 2021; v1 submitted 31 December, 2020;
originally announced December 2020.
-
Exoplanet detection and its dependence on stochastic sampling of the stellar Initial Mass Function
Authors:
Amy L. Bottrill,
Molly E. Haigh,
Madeleine R. A. Hole,
Sarah C. M. Theakston,
Rosa B. Allen,
Liam P. Grimmett,
Richard J. Parker
Abstract:
Young Moving Groups (YMGs) are close (<100pc), coherent collections of young (<100Myr) stars that appear to have formed in the same star-forming molecular cloud. As such we would expect their individual initial mass functions (IMFs) to be similar to other star-forming regions, and by extension the Galactic field. Their close proximity to the Sun and their young ages means that YMGs are promising l…
▽ More
Young Moving Groups (YMGs) are close (<100pc), coherent collections of young (<100Myr) stars that appear to have formed in the same star-forming molecular cloud. As such we would expect their individual initial mass functions (IMFs) to be similar to other star-forming regions, and by extension the Galactic field. Their close proximity to the Sun and their young ages means that YMGs are promising locations to search for young forming exoplanets. However, due to their low numbers of stars, stochastic sampling of the IMF means their stellar populations could vary significantly. We determine the range of planet-hosting stars (spectral types A, G and M) possible from sampling the IMF multiple times, and find that some YMGs appear deficient in M-dwarfs. We then use these data to show that the expected probability of detecting terrestrial magma ocean planets is highly dependent on the exact numbers of stars produced through stochastic sampling of the IMF.
△ Less
Submitted 4 June, 2020;
originally announced June 2020.
-
Definitions and Semantic Simulations Based on Object-Oriented Analysis and Modeling
Authors:
Robert B. Allen
Abstract:
We have proposed going beyond traditional ontologies to use rich semantics implemented in programming languages for modeling. In this paper, we discuss the application of executable semantic models to two examples, first a structured definition of a waterfall and second the cardiopulmonary system. We examine the components of these models and the way those components interact. Ultimately, such mod…
▽ More
We have proposed going beyond traditional ontologies to use rich semantics implemented in programming languages for modeling. In this paper, we discuss the application of executable semantic models to two examples, first a structured definition of a waterfall and second the cardiopulmonary system. We examine the components of these models and the way those components interact. Ultimately, such models should provide the basis for direct representation.
△ Less
Submitted 31 December, 2019;
originally announced December 2019.
-
Issues for Using Semantic Modeling to Represent Mechanisms
Authors:
Robert B Allen
Abstract:
Mechanisms are a fundamental concept in many areas of science. Nonetheless, there has been little effort to develop structures to represent mechanisms. We explore the issues in develo** a basic semantic modeling framework for describing some types of mechanisms. We draw together threads from a number of different approaches and then consider two examples. From this survey, we propose a rich Sema…
▽ More
Mechanisms are a fundamental concept in many areas of science. Nonetheless, there has been little effort to develop structures to represent mechanisms. We explore the issues in develo** a basic semantic modeling framework for describing some types of mechanisms. We draw together threads from a number of different approaches and then consider two examples. From this survey, we propose a rich Semantic Modeling Framework (SMF) based on Transitionals and hierarchies of Aggregates and Mechanisms, which could be implemented with the XFO programming environment. Potentially, the framework will be useful for develo** direct-representation scientific research reports and community models.
△ Less
Submitted 29 December, 2018;
originally announced December 2018.
-
Coordinating and Integrating Faceted Classification with Rich Semantic Modeling
Authors:
Robert B. Allen,
Jaihyun Park
Abstract:
Faceted classifications define dimensions for the types of entities included. In effect, the facets provide an "ontological commitment". We compare a faceted thesaurus, the Art and Architecture Thesaurus (AAT), with ontologies derived from the Basic Formal Ontology (BFO2), which is an upper (or formal) ontology widely used to describe entities in biomedicine. We consider how the AAT and BFO2-based…
▽ More
Faceted classifications define dimensions for the types of entities included. In effect, the facets provide an "ontological commitment". We compare a faceted thesaurus, the Art and Architecture Thesaurus (AAT), with ontologies derived from the Basic Formal Ontology (BFO2), which is an upper (or formal) ontology widely used to describe entities in biomedicine. We consider how the AAT and BFO2-based ontologies could be coordinated and integrated into a Human Activity and Infrastructure Foundry (HAIF). To extend the AAT to enable this coordination and integration, we describe how a wider range of relationships among its terms could be introduced. Using these extensions, we explore richer modeling of topics from AAT that deal with Technology. Finally, we consider how ontology-based frames and semantic role frames can be integrated to make rich semantic statements about changes in the world.
△ Less
Submitted 25 September, 2018;
originally announced September 2018.
-
XFO: Toward Programming Rich Semantic Models
Authors:
Robert B. Allen,
Teryn K. Jones
Abstract:
We have proposed that ontologies and programming languages should be more closely aligned. Specifically, we have argued that the Basic Formal Ontology (BFO2) has many features that are consistent with object-oriented analysis, design, and modeling. Here, we describe the eXtended Formal Ontology (XFO), a programming environment we developed to support semantic modeling. We then use XFO to implement…
▽ More
We have proposed that ontologies and programming languages should be more closely aligned. Specifically, we have argued that the Basic Formal Ontology (BFO2) has many features that are consistent with object-oriented analysis, design, and modeling. Here, we describe the eXtended Formal Ontology (XFO), a programming environment we developed to support semantic modeling. We then use XFO to implement a Traffic Light Microworld and discuss more complex applications.
△ Less
Submitted 30 April, 2018;
originally announced May 2018.
-
Semantic Modeling with Foundries
Authors:
Robert B. Allen,
Yoonhwan Kim
Abstract:
We analyze challenges for the development of the Human Activities and Infrastructures Foundry. We explore a rich semantic modeling approach to describe two Korean ceramic water droppers used to mix ink for calligraphy, how they were produced and the reasons for their differing aesthetic. Our modeling supports schema and allows for transitions of Entities based on the relationships to other Entitie…
▽ More
We analyze challenges for the development of the Human Activities and Infrastructures Foundry. We explore a rich semantic modeling approach to describe two Korean ceramic water droppers used to mix ink for calligraphy, how they were produced and the reasons for their differing aesthetic. Our modeling supports schema and allows for transitions of Entities based on the relationships to other Entities with which they are associated. We explore the similarity of our approach to object-oriented analysis and modeling.
△ Less
Submitted 21 January, 2018; v1 submitted 29 December, 2017;
originally announced January 2018.
-
A Foundry of Human Activities and Infrastructures
Authors:
Robert B. Allen,
Eunsang Yang,
Tatsawan Timakum
Abstract:
Direct representation knowledgebases can enhance and even provide an alternative to document-centered digital libraries. Here we consider realist semantic modeling of everyday activities and infrastructures in such knowledgebases. Because we want to integrate a wide variety of topics, a collection of ontologies (a foundry) and a range of other knowledge resources are needed. We first consider mode…
▽ More
Direct representation knowledgebases can enhance and even provide an alternative to document-centered digital libraries. Here we consider realist semantic modeling of everyday activities and infrastructures in such knowledgebases. Because we want to integrate a wide variety of topics, a collection of ontologies (a foundry) and a range of other knowledge resources are needed. We first consider modeling the routine procedures that support human activities and technologies. Next, we examine the interactions of technologies with aspects of social organization. Then, we consider approaches and issues for develo** and validating explanations of the relationships among various entities.
△ Less
Submitted 31 October, 2017;
originally announced November 2017.
-
Rich Semantic Models and Knowledgebases for Highly-Structured Scientific Communication
Authors:
Robert B. Allen
Abstract:
Rather than using text for scientific research reports, we have proposed develo** highly-structured reports with rich semantic models. In this paper, we consider detailed structures for the components of research reports using a modeling framework based on a rigorous upper ontology. For instance, we consider the use of structured descriptions of Research Designs to support evaluation of internal…
▽ More
Rather than using text for scientific research reports, we have proposed develo** highly-structured reports with rich semantic models. In this paper, we consider detailed structures for the components of research reports using a modeling framework based on a rigorous upper ontology. For instance, we consider the use of structured descriptions of Research Designs to support evaluation of internal and external validity. In addition, collections of highly-structured scientific research reports would be the key component of a set of evolving and interlocking highly-structured scientific knowledgebases.
△ Less
Submitted 28 August, 2017;
originally announced August 2017.
-
From Ontology to Structured Applied Epistemology
Authors:
Robert B. Allen
Abstract:
Develo** and organizing new knowledge is a core activity for scholars. Recently, ontologies have been introduced as an approach for organizing knowledge. However, most ontologies do not readily support the development and organization of new knowledge. By comparison, to ontology, epistemology is the study of what can be known. Aspects of epistemology include the acquisition of and justification…
▽ More
Develo** and organizing new knowledge is a core activity for scholars. Recently, ontologies have been introduced as an approach for organizing knowledge. However, most ontologies do not readily support the development and organization of new knowledge. By comparison, to ontology, epistemology is the study of what can be known. Aspects of epistemology include the acquisition of and justification for new knowledge. Thus, we need to coordinate ontology with epistemology. Because we are develo** frameworks for capturing knowledge across several scholarly domains, we describe the work in this paper as exploring structured applied epistemology. Unlike other recent proposals for new approaches to scholarly publishing, we propose an integrated and comprehensive approach. We have explored direct representation based on the rigorous Basic Formal Ontology and in this paper, we consider how epistemology can be incorporated with that. In addition to highly-structured scientific research reports, we also consider how to develop highly-structured descriptions of historical events on which historical analyses can be based.
△ Less
Submitted 31 December, 2016; v1 submitted 23 October, 2016;
originally announced October 2016.
-
Repositories with Direct Representation
Authors:
Robert Burnell Allen
Abstract:
A new generation of digital repositories could be based on direct representation of the contents with rich semantics and models rather than be collections of documents. The contents of such repositories would be highly structured which should help users to focus on meaningful relationships of the contents. These repositories would implement earlier proposals for model-oriented information organiza…
▽ More
A new generation of digital repositories could be based on direct representation of the contents with rich semantics and models rather than be collections of documents. The contents of such repositories would be highly structured which should help users to focus on meaningful relationships of the contents. These repositories would implement earlier proposals for model-oriented information organization by extending current work on ontologies to cover state changes, instances, and scenarios. They could also apply other approaches such as object-oriented design and frame semantics. In addition to semantics, the representation needs to allow for discourse and repository knowledge-support services and policies. For instance, the knowledge base would need to be systematically updated as new findings and theories reshape it.
△ Less
Submitted 30 December, 2015;
originally announced December 2015.
-
Structured Descriptions of Roles, Activities,and Procedures in the Roman Constitution
Authors:
Yoonmi Chu,
Robert B. Allen
Abstract:
A highly structured description of entities and events in histories can support flexible exploration of those histories by users and, ultimately, support richly-linked full-text digital libraries. Here, we apply the Basic Formal Ontology (BFO) to structure a passage about the Roman Constitution from Gibbon's Decline and Fall of the Roman Empire. Specifically, we consider the specification of Roles…
▽ More
A highly structured description of entities and events in histories can support flexible exploration of those histories by users and, ultimately, support richly-linked full-text digital libraries. Here, we apply the Basic Formal Ontology (BFO) to structure a passage about the Roman Constitution from Gibbon's Decline and Fall of the Roman Empire. Specifically, we consider the specification of Roles such as Consuls, Activities associated with those Roles, and Procedures for accomplishing those Activities.
△ Less
Submitted 13 February, 2015;
originally announced February 2015.
-
Improving Access to Digitized Historical Newspapers with Text Mining, Coordinated Models, and Formative User Interface Design
Authors:
Robert B. Allen
Abstract:
Most tools for accessing digitized historical newspapers emphasize relatively simple search; but, as increasing numbers of digitized historical newspapers and other historical resources become available we can consider much richer modes of interaction with these collections. For instance, users might use exploratory search for looking at larger issues and events such as elections and campaigns or…
▽ More
Most tools for accessing digitized historical newspapers emphasize relatively simple search; but, as increasing numbers of digitized historical newspapers and other historical resources become available we can consider much richer modes of interaction with these collections. For instance, users might use exploratory search for looking at larger issues and events such as elections and campaigns or to get a sense of "the texture of the city" or "what the city was thinking". To take full advantage of rich interface tools, the content of the newspapers needs to be described systematically and accurately. Moreover, collections of multiple newspapers need to be richly cross-indexed across titles and even with historical resources beyond the newspapers.
△ Less
Submitted 13 February, 2015;
originally announced February 2015.
-
Toward an Interactive Directory for Norfolk, Nebraska: 1899-1900
Authors:
Robert B. Allen
Abstract:
We describe steps toward an interactive directory for the town of Norfolk, Nebraska for the years 1899 and 1900. This directory would extend the traditional city directory by including a wider range of entities being described, much richer information about the entities mentioned and linkages to mentions of the entities in material such as digitized historical newspapers. Such a directory would be…
▽ More
We describe steps toward an interactive directory for the town of Norfolk, Nebraska for the years 1899 and 1900. This directory would extend the traditional city directory by including a wider range of entities being described, much richer information about the entities mentioned and linkages to mentions of the entities in material such as digitized historical newspapers. Such a directory would be useful to readers who browse the historical newspapers by providing structured summaries of the entities mentioned. We describe the occurrence of entities in two years of the Norfolk Weekly News, focusing on several individuals to better understand the types of information which can be gleaned from historical newspapers and other historical materials. We also describe a prototype program which coordinates information about entities from the traditional city directories, the federal census, and from newspapers. We discuss the structured coding for these entities, noting that richer coding would increasingly include descriptions of events and scenarios. We propose that rich content about individuals and communities could eventually be modeled with agents and woven into historical narratives.
△ Less
Submitted 25 August, 2013;
originally announced August 2013.
-
Supporting Structured Browsing for Full-Text Scientific Research Reports
Authors:
Robert B. Allen
Abstract:
Scientific research is highly structured and some of that structure is reflected in research reports. Traditional scientific research reports are yielding to interactive documents which expose their internal structure and are richly linked to other materials. In these changes, there are opportunities to take advantage of the structure in scientific research reports which previously have not been s…
▽ More
Scientific research is highly structured and some of that structure is reflected in research reports. Traditional scientific research reports are yielding to interactive documents which expose their internal structure and are richly linked to other materials. In these changes, there are opportunities to take advantage of the structure in scientific research reports which previously have not been systematically captured. Thus, we explore ways of capturing more of the structure of research in reports about the research and we use that structure to support the development of a new generation of document browsers which include novel interaction widgets. We apply the browsers incorporating the conceptual modeling framework to full-text research reports from the Public Library of Science (PLoS). In addition, we describe the application of model-oriented constructs to facilitating highly interlinked digital libraries.
△ Less
Submitted 31 August, 2012;
originally announced September 2012.