Results 11 to 20 of about 81,395 (299)
Formal Ontologies and Uncertainty. In Geographical Knowledge
TeMA: Journal of Land Use, Mobility and Environment, 2014 Formal ontologies have proved to be a very useful tool to manage interoperability among data, systems and knowledge. In this paper we will show how formal ontologies can evolve from a crisp, deterministic framework (ontologies of hard knowledge) to new ...
Matteo Caglioni, Giovanni Fusco
doaj +1 more source
A formal theory for spatial representation and reasoning in biomedical ontologies [PDF]
, 2006 Objective: The objective of this paper is to demonstrate how a formal spatial theory can be used as an important tool for disambiguating the spatial information embodied in biomedical ontologies and for enhancing their automatic reasoning capabilities ...
Bittner, Thomas +2 more
core +2 more sources
Matching biomedical ontologies based on formal concept analysis
Journal of Biomedical Semantics, 2018 Background The goal of ontology matching is to identify correspondences between entities from different yet overlapping ontologies so as to facilitate semantic integration, reuse and interoperability.
Mengyi Zhao +3 more
doaj +1 more source
An Ontological Approach to Representing the Product Life Cycle [PDF]
, 2019 The ability to access and share data is key to optimizing and streamlining any industrial production process. Unfortunately, the manufacturing industry is stymied by a lack of interoperability among the systems by which data are produced and managed, and
Ali, Munira Mohd +7 more
core +1 more source
Formal Ontology Driven Model Refactoring [PDF]
2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), 2018 Refactoring, successfully used in the field of programming, can be used in maintenance and restructuring of the large and complex models. In this paper, we present a novel approach for model refactoring and a set of modelling patterns that are applicable for refinement-based formal development.
Singh, Neeraj Kumar +2 more
openaire +3 more sources
Role of formal ontologies in modern information system engineering
Lietuvos Matematikos Rinkinys, 2003 Paper discusses the importance of role formal ontologies play in information system engineering, analyses different conceptions of formal ontology, analyses relations of conceptualization, ontology and domain theory, gives formal definition of ...
Donatas Čiukšys, Albertas Čaplinskas
doaj +3 more sources
ONTOLOGICAL PURITY FOR FORMAL PROOFS
The Review of Symbolic Logic, 2023 AbstractPurity is known as an ideal of proof that restricts a proof to notions belonging to the ‘content’ of the theorem. In this paper, our main interest is to develop a conception of purity for formal (natural deduction) proofs. We develop two new notions of purity: one based on an ontological notion of the content of a theorem, and one based on the ...
openaire +2 more sources
Ontoprolog : a language to specify discourses on ontologies [PDF]
, 2017 Este artigo introduz a arquitetura da informação de uma linguagem formal textual para representar e obter deduções a respeito problemas reais com base em ontologias de domínio e ontologias de fundamentação.
Araujo, Lauro César +1 more
core +1 more source
Formal Ontologies, Linked Data, and TEI Semantics
Journal of the Text Encoding Initiative, 2016 The debate on the semantic role of markup languages has been quite lively and the TEI community has played an active part in it. It is commonly acknowledged that markup conveys semantic information.
Fabio Ciotti, Francesca Tomasi
doaj +1 more source
Content and quality of physical activity ontologies: a systematic review
International Journal of Behavioral Nutrition and Physical Activity, 2023 Introduction Ontologies are a formal way to represent knowledge in a particular field and have the potential to transform the field of health promotion and digital interventions.
Maya Braun +8 more
doaj +1 more source