Results 21 to 30 of about 81,395 (299)
Dynamics structure of modern innovative enterprise
New trends in the modern interpretation of the concept of «enterprise» is related to its development over time, a change in its structure as a result of adaptation to the dynamic environment, with the establishment of links with other organizations and ...
D. V. Novototskih +2 more
doaj +1 more source
ONTOLOGY-BASED RULE COMPLIANCE CHECKING FOR SUBSURFACE OBJECTS [PDF]
This paper presents a model for representing compliance rules related to subsurface objects. Rules expressed in this model can be automatically evaluated (using SHACL or SPARQL) on existing 3D city models expressed in RDF. The main characteristics of the
C. Métral +4 more
doaj +1 more source
Constructing a merged concept lattice with formal concept analysis (FCA) is an important research direction in the field of integrating multi-source geo-ontologies. Extracting essential geographical properties and reducing the concept lattice are two key
Jia Xiao, Zongyi He
doaj +1 more source
A formal ontology of subcellular neuroanatomy [PDF]
The complexity of the nervous system requires high-resolution microscopy to resolve the detailed 3D structure of nerve cells and supracellular domains. The analysis of such imaging data to extract cellular surfaces and cell components often requires the combination of expert human knowledge with carefully engineered software tools. In an effort to make
Larson, Stephen D. +5 more
openaire +3 more sources
Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform [PDF]
This paper reports on the results of the French ANR IMPEX research project dealing with making explicit domain knowledge in design models. Ontologies are formalised as theories with sets, axioms, theorems and reasoning rules.
Yamine Ait Ameur +3 more
doaj +1 more source
The ontology of biological sequences
Background Biological sequences play a major role in molecular and computational biology. They are studied as information-bearing entities that make up DNA, RNA or proteins.
Kelso Janet +2 more
doaj +1 more source
An Entropy-Based Weighted Concept Lattice for Merging Multi-Source Geo-Ontologies
To deal with the complexities associated with the rapid growth in a merged concept lattice, a formal method based on an entropy-based weighted concept lattice (EWCL) is proposed as a mechanism for merging multi-source geographic ontologies (geo ...
Zongyi He, Qiaoli Zhu, Junli Li
doaj +1 more source
Formal Encoding of Drama Ontology [PDF]
The goal of this research is to lay the foundations for a formal theory of drama, that abstracts from the procedural and interactive aspects involved in the generation of dramatic content. Based on the structural accounts provided from traditional drama analysis, the theory proposed in this paper exploits an agent-based perspective on characters to ...
DAMIANO, Rossana +2 more
openaire +2 more sources
This paper provides an overview of current linguistic and ontological challenges which have to be met in order to provide full support to the transformation of health ecosystems in order to meet precision medicine (5 PM) standards.
Markus Kreuzthaler +7 more
doaj +1 more source
Corago in LOD. The debut of an Opera repository into the Linked Data arena
The paper examines the adoption of the Semantic Web (SW) technologies and Linked Data (LD) principles to manage a knowledge base about opera. The Corago repository collects historical data and documentation about opera works, performances and librettos ...
Paolo Bonora, Angelo Pompilio
doaj +1 more source

