相关论文: Some Comments on the Formal Structure of Spontaneo…

This paper describes a new technique, called "knowledge patterns", for helping construct axiom-rich, formal ontologies, based on identifying and explicitly representing recurring patterns of knowledge (theory schemata) in the ontology, and…

We introduce a new class of collider-type observables in conformal field theories which we call generalized event shapes. They are defined as matrix elements of light-ray operators that are sensitive to the longitudinal, or time-dependent,…

Spontaneous localisation is a falsifiable dynamical mechanism which modifies quantum mechanics, and explains the absence of position superpositions in the macroscopic world. However, this is an ad hoc phenomenological proposal. Adler's…

A partial group is a generalization of the concept of group recently introduced by A. Chermak. By considering partial groups as simplicial sets, we propose an extension theory for partial groups using the concept of (simplicial) fibre…

Knowledge representation and reasoning has a long history of examining how knowledge can be formalized, interpreted, and semantically analyzed by machines. In the area of automated vehicles, recent advances suggest the ability to formalize…

We consider impulsive semiflows defined on compact metric spaces and deduce a variational principle. In particular, we generalize the classical notion of topological entropy to our setting of discontinuous semiflows.

I present a discussion of some issues in the ontology of spacetime. After a characterisation of the controversies among relationists, substantivalists, eternalists, and presentists, I offer a new argument for rejecting presentism, the…

We present a framework having the potential to unify the fundamental interactions in nature by introducing new degrees of freedom. An attempt is made to explain the hierarchy between the weak scale and the coupling unification scale, which…

Approaches to goal-directed behaviour including online planning and opportunistic planning tackle a change in the environment by generating alternative goals to avoid failures or seize opportunities. However, current approaches only address…

Temporal logics over finite traces have recently seen wide application in a number of areas, from business process modelling, monitoring, and mining to planning and decision making. However, real-life dynamic systems contain a degree of…

Taking advantage of the widespread use of ontologies to organise and harmonize knowledge across several distinct domains, this paper proposes a novel approach to improve an embedding-Large Language Model (embedding-LLM) of interest by…

Starting from an unsolved problem of information retrieval this paper presents an ontology-based model for indexing and retrieval. The model combines the methods and experiences of cognitive-to-interpret indexing languages with the…

Topological data analysis has been acknowledged as one of the most successful mathematical data analytic methodologies in various fields including medicine, genetics, and image analysis. In this paper, we explore the potential of this…

As in an earlier paper we start from the hypothesis that physics on the Planck scale should be described by means of concepts taken from ``discrete mathematics''. This goal is realized by developing a scheme being based on the dynamical…

In a recent Letter, Taras-Semchuk and Efetov reconsider the problem of electron localization in a random magnetic field in two dimensions. They claim that due to the long-range nature of the vector potential correlations an additional term…

Most definitions of ontology, viewed as a "specification of a conceptualization", agree on the fact that if an ontology can take different forms, it necessarily includes a vocabulary of terms and some specification of their meaning in…

Developing 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…

Both named entities and keywords are important in defining the content of a text in which they occur. In particular, people often use named entities in information search. However, named entities have ontological features, namely, their…

The study of Description Logics have been historically mostly focused on features that can be translated to decidable fragments of first-order logic. In this paper, we leave this restriction behind and look for useful and decidable…

The Semantic Web is becoming a large scale framework that enables data to be published, shared, and reused in the form of ontologies. The ontology which is considered as basic building block of semantic web consists of two layers including…