Related papers: Some Comments on the Formal Structure of Spontaneo…
We define an inference system to capture explanations based on causal statements, using an ontology in the form of an IS-A hierarchy. We first introduce a simple logical language which makes it possible to express that a fact causes another…
This is a paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In three previous papers, we introduce the notion of formal manifolds and study…
Manual ontology construction takes time, resources, and domain specialists. Supporting a component of this process for automation or semi-automation would be good. This project and dissertation provide a Formal Concept Analysis and WordNet…
We develop category-theoretic framework for universal homogeneous objects, with some applications in the theory of Banach spaces, linear orderings, and in topology of compact spaces.
We introduce a new class of nonlocal kinetic equations and nonlocal Fokker-Planck equations associated with an effective generalized thermodynamical formalism. These equations have a rich physical and mathematical structure that can…
In the present paper, we propose a Neuroelectromagnetic Ontology Framework (NOF) for mining Event-related Potentials (ERP) patterns as well as the process. The aim for this research is to develop an infrastructure for mining, analysis and…
The web of data consists of data published on the web in such a way that they can be interpreted and connected together. It is thus critical to establish links between these data, both for the web of data and for the semantic web that it…
The use of methods borrowed from statistics and physics to analyze written texts has allowed the discovery of unprecedent patterns of human behavior and cognition by establishing links between models features and language structure. While…
In this overview article we present a formalism suitable for constructing models of QFT's on curved spacetimes. The leading principle is the emphasis on local properties. It turns out that this requires a reformulation of the standard QFT…
A quantum system of particles can exist in a localized phase, exhibiting ergodicity breaking and maintaining forever a local memory of its initial conditions. We generalize this concept to a system of extended objects, such as strings and…
A physical theory consists of the mathematical formalism and an interpretation, which contains the definition of symbols, measurement assignments, concepts and principles, and an ontology. We present a scheme to classify these different…
We define a class of spaces on which one may generalise the notion of compactness following motivating examples from higher-dimensional number theory. We establish analogues of several well-known topological results (such as Tychonoff's…
Data stream learning has been largely studied for extracting knowledge structures from continuous and rapid data records. In the semantic Web, data is interpreted in ontologies and its ordered sequence is represented as an ontology stream.…
We live in a world driven by data. The amount of it outgrows anyone's ability to oversee it or even observe its scope. Along with all the advances in the space of data management, there is still a significant lack of formalism and…
Recent advancements in audio event classification often ignore the structure and relation between the label classes available as prior information. This structure can be defined by ontology and augmented in the classifier as a form of…
We introduce the notions of topological entropy of a formal language and of a topological automaton. We show that the entropy function is surjective and bound the entropy of languages accepted by deterministic {\epsilon}-free push-down…
String theory is the leading contemporary framework to explore the synthesis of quantum mechanics with gravity. String phenomenology aims to study string theory while maintaining contact with observational data. The fermionic $Z_2\times…
Local kinetic constraints in quantum many-body systems can generate slow dynamics or complete many-body localisation. Here we focus on a modification of the quantum East model: Inspired by random matrix theory, we randomise the connectivity…
In this note, a formal transition system model called LTPAL to extract knowledge in a classification process is suggested. The model combines the Public Announcement Logic (PAL) and the Linear Temporal Logic (LTL). In the model, first, we…
Finding image correspondences remains a challenging problem in the presence of intra-class variations and large changes in scene layout.~Semantic flow methods are designed to handle images depicting different instances of the same object or…