相关论文: Some Comments on the Formal Structure of Spontaneo…
The purpose of this paper is to come up with a framework that "converts" existing concepts from configuration space to ordinary one. This is done by modeling our universe as a big "computer" that simulates configuration space. If that…
E-Learning is efficient, task relevant and just-in-time learning grown from the learning requirements of the new and dynamically changing world. The term Semantic Web covers the steps to create a new WWW architecture that augments the…
Location- and context-aware services are emerging technologies in mobile and desktop environments, however, most of them are difficult to use and do not seem to be beneficial enough. Our research focuses on designing and creating a…
Soft uniform structures provide a way to speak about uniform closeness in a parameterized setting. Working over a fixed parameter set, we treat entourages as soft relations and introduce a notion of \emph{soft uniformity} whose axioms…
To provide a foundation for conceptual modeling, ontologies have been introduced to specify the entities, the existences of which are acknowledged in the model. Ontologies are essential components as mechanisms to model a portion of reality…
Although random cell complexes occur throughout the physical sciences, there does not appear to be a standard way to quantify their statistical similarities and differences. The various proposals in the literature are usually motivated by…
Psychology has had difficulty accounting for the creative, context-sensitive manner in which concepts are used. We believe this stems from the view of concepts as identifiers rather than bridges between mind and world that participate in…
Ontologies are known for their ability to organize rich metadata, support the identification of novel insights via semantic queries, and promote reuse. In this paper, we consider the problem of automated planning, where the objective is to…
Our aim is to investigate ontology-based data access over temporal data with validity time and ontologies capable of temporal conceptual modelling. To this end, we design a temporal description logic, TQL, that extends the standard ontology…
The theory of distributed conceptual structures, as outlined in this paper, is concerned with the distribution and conception of knowledge. It rests upon two related theories, Information Flow and Formal Concept Analysis, which it seeks to…
The paper provides a survey of semantic methods for solution of fundamental tasks in mathematical knowledge management. Ontological models and formalisms are discussed. We propose an ontology of mathematical knowledge, covering a wide range…
Event schemas encode knowledge of stereotypical structures of events and their connections. As events unfold, schemas are crucial to act as a scaffolding. Previous work on event schema induction focuses either on atomic events or linear…
Energy is an abstract science concept, so the ways that we think and talk about energy rely heavily on ontological metaphors: metaphors for what kind of thing energy is. Two commonly used ontological metaphors for energy are energy as a…
It is often overlooked that local quantum physics has a built in quantum localization structure which may under certain circumstances disagree with (differential, algebraic) geometric ideas. String theory originated from such a spectacular…
Emergent effect is crucial to understanding the properties of complex systems that do not appear in their basic units, but there has been a lack of theories to measure and understand its mechanisms. In this paper, we consider emergence as a…
Ontologies are a popular way of representing domain knowledge, in particular, knowledge in domains related to life sciences. (Semi-)automating the process of building an ontology has attracted researchers from different communities into a…
In scientific disciplines where research findings have a strong impact on society, reducing the amount of time it takes to understand, synthesize and exploit the research is invaluable. Topic modeling is an effective technique for…
In [15] a homotopic variation for locality of logics was presented, namely a Quillen model category-based framework for locality under logical equivalence, for every primitive-positive sentence of quantifier-rank $k$. In this paper, we will…
Automated planning technology has developed significantly. Designing a planning model that allows an automated agent to be capable of reacting intelligently to unexpected events in a real execution environment yet remains a challenge. This…
The main content of this treatise is a new concept in nonperturbative non-Lagrangian QFT which explains and extends the ad hoc constructions in low-dimensional models and incorporates them together with the higher dimensional theories into…