Log in

Relevant bibliographies by topics / Formal ontologies / Journal articles

To see the other types of publications on this topic, follow the link: Formal ontologies.

Journal articles on the topic 'Formal ontologies'

Author: Grafiati

Published: 10 March 2023

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Formal ontologies.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Sanfilippo, Emilio M., Yoshinobu Kitamura, and Robert I. M. Young. "Formal ontologies in manufacturing." Applied Ontology 14, no. 2 (2019): 119–25. http://dx.doi.org/10.3233/ao-190209.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Lumb, L. I., J. R. Freemantle, J. I. Lederman, and K. D. Aldridge. "Annotation modeling with formal ontologies: Implications for informal ontologies." Computers & Geosciences 35, no. 4 (2009): 855–61. http://dx.doi.org/10.1016/j.cageo.2008.03.009.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Ferrario, Roberta, and Laurent Prévot. "Formal ontologies for communicating agents." Applied Ontology: An Interdisciplinary Journal of Ontological Analysis and Conceptual Modeling 2, no. 3-4 (2007): 209–16. https://doi.org/10.3233/apo-2007-042.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Sanfilippo, Emilio, and Walter Terkaj. "Editorial: Formal Ontologies meet Industry." Procedia Manufacturing 28 (2019): 174–76. http://dx.doi.org/10.1016/j.promfg.2018.12.028.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Abrusci, V. Michele, Christophe Fouqueré, and Marco Romano. "Formal Ontologies and Coherent Spaces." Journal of Applied Logic 12, no. 1 (2014): 67–74. http://dx.doi.org/10.1016/j.jal.2013.07.003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Müller, R., O. Mailahn, and R. Peifer. "Tool: Eine Sprachdomäne für die Montageplanung*/A domain specific language for assembly planning – Software-supported planning of human-robot cooperation based on ontologies." wt Werkstattstechnik online 108, no. 09 (2018): 606–10. http://dx.doi.org/10.37544/1436-4980-2018-09-42.

Full text

Abstract:

Die Planung von Montagesystemen wird durch die Einführung von cyber-physischen Modulen und neuen Formen der Zusammenarbeit von Mensch und Roboter zunehmend komplexer. Ontologien können Planungswissen bezüglich Beziehungen und Restriktionen formal abbilden. Mit der hier beschriebenen Sprachdomäne werden Ontologien für Montageplaner zugänglich und anwendbar. Die Planung kann auf diese Weise beschleunigt und flexibilisiert werden. &nbsp; The planning of assembly systems is becoming increasingly complex with the introduction of cyber-physical modules and new forms of human-robot cooperation. O

APA, Harvard, Vancouver, ISO, and other styles

7

Lukashevich, N. V. "Concepts in formal and linguistic ontologies." Automatic Documentation and Mathematical Linguistics 45, no. 4 (2011): 155–62. http://dx.doi.org/10.3103/s0005105511040030.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Shaked, Avi, and Oded Margalit. "Sustainable Risk Identification Using Formal Ontologies." Algorithms 15, no. 9 (2022): 316. http://dx.doi.org/10.3390/a15090316.

Full text

Abstract:

The cyber threat landscape is highly dynamic, posing a significant risk to the operations of systems and organisations. An organisation should, therefore, continuously monitor for new threats and properly contextualise them to identify and manage the resulting risks. Risk identification is typically performed manually, relying on the integration of information from various systems as well as subject matter expert knowledge. This manual risk identification hinders the systematic consideration of new, emerging threats. This paper describes a novel method to promote automated cyber risk identific

APA, Harvard, Vancouver, ISO, and other styles

9

Jongeling, T. B., and P. P. Kirschenmann. "FORMAL AND HYPOTHETICAL OR HEURISTIC ONTOLOGIES." Grazer Philosophische studien 29, no. 1 (1987): 217–23. http://dx.doi.org/10.1163/18756735-90000322.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Brucker, Achim D., Idir Ait-Sadoune, Nicolas Méric, and Burkhart Wolff. "Parametric ontologies in formal software engineering." Science of Computer Programming 241 (April 2025): 103231. http://dx.doi.org/10.1016/j.scico.2024.103231.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Jansen, L., and S. Schulz. "Formal Ontologies in Biomedical Knowledge Representation." Yearbook of Medical Informatics 22, no. 01 (2013): 132–46. http://dx.doi.org/10.1055/s-0038-1638845.

Full text

Abstract:

Summary Objectives: Medical decision support and other intelligent applications in the life sciences depend on increasing amounts of digital information. Knowledge bases as well as formal ontologies are being used to organize biomedical knowledge and data. However, these two kinds of artefacts are not always clearly distinguished. Whereas the popular RDF(S) standard provides an intuitive triple-based representation, it is semantically weak. Description logics based ontology languages like OWL-DL carry a clear-cut semantics, but they are computationally expensive, and they are often misinterpre

APA, Harvard, Vancouver, ISO, and other styles

12

Smaili, Fatima Zohra, Xin Gao, and Robert Hoehndorf. "Formal axioms in biomedical ontologies improve analysis and interpretation of associated data." Bioinformatics 36, no. 7 (2019): 2229–36. http://dx.doi.org/10.1093/bioinformatics/btz920.

Full text

Abstract:

Abstract Motivation Over the past years, significant resources have been invested into formalizing biomedical ontologies. Formal axioms in ontologies have been developed and used to detect and ensure ontology consistency, find unsatisfiable classes, improve interoperability, guide ontology extension through the application of axiom-based design patterns and encode domain background knowledge. The domain knowledge of biomedical ontologies may have also the potential to provide background knowledge for machine learning and predictive modelling. Results We use ontology-based machine learning meth

APA, Harvard, Vancouver, ISO, and other styles

13

Husáková, Martina, and Vladimír Bureš. "Formal Ontologies in Information Systems Development: A Systematic Review." Information 11, no. 2 (2020): 66. http://dx.doi.org/10.3390/info11020066.

Full text

Abstract:

Computational ontologies are machine-processable structures which represent particular domains of interest. They integrate knowledge which can be used by humans or machines for decision making and problem solving. The main aim of this systematic review is to investigate the role of formal ontologies in information systems development, i.e., how these graphs-based structures can be beneficial during the analysis and design of the information systems. Specific online databases were used to identify studies focused on the interconnections between ontologies and systems engineering. One-hundred ei

APA, Harvard, Vancouver, ISO, and other styles

14

Hnatkowska, Bogumila, Adrianna Kozierkiewicz, and Marcin Pietranik. "Formal transformation of OWL ontology to a FOKI generic meta-model." Computer Science and Information Systems, no. 00 (2025): 2. https://doi.org/10.2298/csis240227002h.

Full text

Abstract:

Ontology integration is merging a set of ontologies to provide a single, unified ontology, which contains all of the knowledge from input ontologies. Most solutions described in the literature are based on the OWL format and in corporate its strengths and weaknesses. In our previous research, we developed the ontology integration framework FOKI, which does not use the OWL. Collected experimental data using prepared ontologies proved its usefulness. However, the lack of OWL support makes it challenging to use the FOKI framework in practical applications. This paper presents a meta-model and a s

APA, Harvard, Vancouver, ISO, and other styles

15

Musen, M. A. "Domain Ontologies in Software Engineering: Use of Protégé with the EON Architecture." Methods of Information in Medicine 37, no. 04/05 (1998): 540–50. http://dx.doi.org/10.1055/s-0038-1634543.

Full text

Abstract:

AbstractDomain ontologies are formal descriptions of the classes of concepts and the relationships among those concepts that describe an application area. The Protege software-engineering methodology provides a clear division between domain ontologies and domain-independent problemsolvers that, when mapped to domain ontologies, can solve application tasks. The Protege approach allows domain ontologies to inform the total software-engineering process, and for ontologies to be shared among a variety of problem-solving components. We illustrate the approach by describing the development of EON, a

APA, Harvard, Vancouver, ISO, and other styles

16

Samoilov, D. E., V. A. Semenova, and S. V. Smirnov. "incomplete data analysis for building formal ontologies." Ontology of designing 6, no. 3 (2016): 317–39. http://dx.doi.org/10.18287/2223-9537-2016-6-3-317-339.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

An, Yoo Jung, Kuo-Chuan Huang, Soon Ae Chun, and James Geller. "A Formal Approach to Evaluating Medical Ontology Systems using Naturalness." International Journal of Computational Models and Algorithms in Medicine 1, no. 1 (2010): 1–18. http://dx.doi.org/10.4018/jcmam.2010072001.

Full text

Abstract:

Ontologies, terminologies and vocabularies are popular repositories for collecting the terms used in a domain.It may be expected that in the future more such ontologies will be created for domain experts. However, there is increasing interest in making the language of experts understandable to casual users. For example, cancer patients often research their cases on the Web. The authors consider the problem of objectively evaluating the quality of ontologies (QoO). This article formalizes the notion of naturalness as a component of QoO and quantitatively measures naturalness for well-known onto

APA, Harvard, Vancouver, ISO, and other styles

18

Ma, Zongmin, Haitao Cheng, and Li Yan. "Automatic Construction of OWL Ontologies From Petri Nets." International Journal on Semantic Web and Information Systems 15, no. 1 (2019): 21–51. http://dx.doi.org/10.4018/ijswis.2019010102.

Full text

Abstract:

Ontology, as a formal representation method of domain knowledge, plays a particular important key role in semantic web. How to construct ontologies has become a key technology in the semantic web, especially constructing ontologies from existing domain knowledge. Currently, Petri nets have been a mathematical modeling tool, and have been widely studied and successfully applied in modeling of software engineering, database and artificial intelligence. In particular, PNML (Petri Net Markup Language) language has been a part of ISO/IEC Petri nets standard for representing and exchanging data on P

APA, Harvard, Vancouver, ISO, and other styles

19

Nanda, Jyotirmaya, Timothy W. Simpson, Soundar R. T. Kumara, and Steven B. Shooter. "A Methodology for Product Family Ontology Development Using Formal Concept Analysis and Web Ontology Language." Journal of Computing and Information Science in Engineering 6, no. 2 (2005): 103–13. http://dx.doi.org/10.1115/1.2190237.

Full text

Abstract:

The use of ontologies for information sharing is well documented in the literature, but the lack of a comprehensive and systematic methodology for constructing product ontologies has limited the process of developing ontologies for design artifacts. In this paper we introduce the Product Family Ontology Development Methodology (PFODM), a novel methodology to develop formal product ontologies using the Semantic Web paradigm. Within PFODM, Formal Concept Analysis (FCA) is used first to identify similarities among a finite set of design artifacts based on their properties and then to develop and

APA, Harvard, Vancouver, ISO, and other styles

20

Song, Hua Zhu, Cong Xiao, and Lu Xu. "Ontology-Based Semantic Similarity Measure with Concept Lattice." Applied Mechanics and Materials 411-414 (September 2013): 177–81. http://dx.doi.org/10.4028/www.scientific.net/amm.411-414.177.

Full text

Abstract:

Semantic similarity measure has always been one of the important contents in artificial intelligence. This paper puts the ontology as the research object, and measure the semantic similarity between two ontologies in view of concept lattice. Firstly, concept lattice is introduced to similarity measure, and the thought of the ontology-based semantic similarity measure with concept lattice was given. Next, the solution of the measure was described, which includes generating a formal context of heterogeneous ontologies, constructing the corresponding formal context of formal context to fetch the

APA, Harvard, Vancouver, ISO, and other styles

21

Aranda-Corral, Gonzalo A., Joaquín Borrego-Díaz, Antonia M. Chávez-González, and Nataliya M. Gulayeva. "A Logical–Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology." AI 5, no. 2 (2024): 746–89. http://dx.doi.org/10.3390/ai5020039.

Full text

Abstract:

In ontology engineering, reusing (or extending) ontologies poses a significant challenge, requiring revising their ontological commitments and ensuring accurate representation and coherent reasoning. This study aims to address two main objectives. Firstly, it seeks to develop a methodological approach supporting ontology extension practices. Secondly, it aims to demonstrate its feasibility by applying the approach to the case of extending qualitative spatial reasoning (QSR) theories. Key questions involve effectively interpreting spatial extensions while maintaining consistency. The framework

APA, Harvard, Vancouver, ISO, and other styles

22

Vita, Randi J., James A. Overton, Kei-Hoi Cheung, et al. "Formal representation of immunology related data with ontologies." Journal of Immunology 202, no. 1_Supplement (2019): 130.26. http://dx.doi.org/10.4049/jimmunol.202.supp.130.26.

Full text

Abstract:

Abstract The Human Immunology Project Consortium (HIPC) is a multicenter collaboration between research centers performing large-scale human immunology studies that focus on profiling the human immune response to natural infection and vaccination. “Immune exposures” are events such as natural infection and vaccination whereby the immune system may or may not respond to the exposure. Many of the HIPC studies investigate the response of specific cell populations after a variety of immune exposures. In order to cross-compare results from the many different centers and projects, we established a s

APA, Harvard, Vancouver, ISO, and other styles

23

Čiukšys, Donatas, and Albertas Čaplinskas. "Role of formal ontologies in modern information system engineering." Lietuvos matematikos rinkinys 43 (December 22, 2003): 199–203. http://dx.doi.org/10.15388/lmr.2003.32400.

Full text

Abstract:

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 conceptualization as intensional semantic structure. Definition of formal ontology, acceptable in field of information system engineering, is proposed.

APA, Harvard, Vancouver, ISO, and other styles

24

de Rozario, Richard. "Matching a Trope Ontology to the Basic Formal Ontology." Philosophies 4, no. 3 (2019): 40. http://dx.doi.org/10.3390/philosophies4030040.

Full text

Abstract:

Applied ontology, at the foundational level, is as much philosophy as engineering and as such provides a different aspect of contemporary natural philosophy. A prominent foundational ontology in this field is the Basic Formal Ontology (BFO). It is important for lesser known ontologies, like the trope ontology of interest here, to match to BFO because BFO acts like the glue between many disparate ontologies. Moreover, such matchings provide philosophical insight into ontologies. As such, the core research question here is how we can match a trope ontology to BFO (which is based on universals) a

APA, Harvard, Vancouver, ISO, and other styles

25

Ozaki, Ana. "Learning Description Logic Ontologies: Five Approaches. Where Do They Stand?" KI - Künstliche Intelligenz 34, no. 3 (2020): 317–27. http://dx.doi.org/10.1007/s13218-020-00656-9.

Full text

Abstract:

Abstract The quest for acquiring a formal representation of the knowledge of a domain of interest has attracted researchers with various backgrounds into a diverse field called ontology learning. We highlight classical machine learning and data mining approaches that have been proposed for (semi-)automating the creation of description logic (DL) ontologies. These are based on association rule mining, formal concept analysis, inductive logic programming, computational learning theory, and neural networks. We provide an overview of each approach and how it has been adapted for dealing with DL on

APA, Harvard, Vancouver, ISO, and other styles

26

Stenzhorn, Holger, Stefan Schulz, Martin Boeker, and Barry Smith. "Adapting Clinical Ontologies in Real-World Environments." JUCS - Journal of Universal Computer Science 14, no. (22) (2008): 3767–80. https://doi.org/10.3217/jucs-014-22-3767.

Full text

Abstract:

The desideratum of semantic interoperability has been intensively discussed in medical informatics circles in recent years. Originally, experts assumed that this issue could be sufficiently addressed by insisting simply on the application of shared clinical terminologies or clinical information models. However, the use of the term 'ontology' has been steadily increasing more recently. We discuss criteria for distinguishing clinical ontologies from clinical terminologies and information models. Then, we briefly present the role clinical ontologies play in two multicentric research projects. Fin

APA, Harvard, Vancouver, ISO, and other styles

27

Lord, Phillip, and Robert Stevens. "ISMB 2003 Bio-ontologies SIG and Sixth Annual Bio-ontologies Meeting Report." Comparative and Functional Genomics 4, no. 6 (2003): 663–66. http://dx.doi.org/10.1002/cfg.339.

Full text

Abstract:

The Annual Bio-Ontologies meeting (http://www.cs.man.ac.uk/˜stevens/meeting03/) has now been running for 6 consecutive years, as a special interest group (SIG) of the much larger ISMB conference. It met in Brisbane, Australia, this summer, the first time it was held outside North America or Europe. The bio-ontologies meeting is 1 day long and normally has around 100 attendees. This year there were many fewer, no doubt a result of the distance, global politics and SARS. The meeting consisted of a series of 30 min talks with no formal peer review or publication. Talks ranged in style from fairly

APA, Harvard, Vancouver, ISO, and other styles

28

Szostak, Rick. "Advances in Classification Research Online 2013 Classification, Ontology, and the Semantic Web." Advances in Classification Research Online 24, no. 1 (2014): 30. http://dx.doi.org/10.7152/acro.v24i1.14674.

Full text

Abstract:

The Semantic Web is developing slowly, but arguably surely. Two inter-related sources of delay are network effects and ontologies. The Semantic Web has come over time to rely onformal ontologies but there are many of these and they are each hard to master. The ability to link databases is compromised by the use of incompatible ontologies. But the RDF triplet format at the centre of the Semantic Web insists only on triplets of the form (object) (predicate orproperty) (subject). This paper explores the potential for a classification system that contains these three types of hierarchies (things,

APA, Harvard, Vancouver, ISO, and other styles

29

Daradkeh, Yousef Ibrahim, and Iryna Tvoroshenko. "Application of an Improved Formal Model of the Hybrid Development of Ontologies in Complex Information Systems." Applied Sciences 10, no. 19 (2020): 6777. http://dx.doi.org/10.3390/app10196777.

Full text

Abstract:

Ontologies in artificial intelligence systems are an effective way to represent and integrate knowledge and data. The property of such structures is that any subject area is accurately described in formal language. There is a problem in the research and determination of the adequacy of ontologies under development. The perspective directions are model construction for the development of fuzzy ontologies and also the creation of methods for evaluating adequacy. The achieved results allow one to implement the processes of supporting the development and integration of ontologies of complex system

APA, Harvard, Vancouver, ISO, and other styles

30

Charnine, M. M., and S. S. Kalinin. "Natural Language Processing Tools for Predictive Modeling of Advanced Trends in Formal Ontologies in Biomedical Sciences." SibScript 26, no. 4 (2024): 567–75. http://dx.doi.org/10.21603/sibscript-2024-26-4-567-575.

Full text

Abstract:

Natural language processing methods can be used to predict advanced application trends in formal ontologies. Formal ontologies help to formalize the characteristics of objects in various domains. As a result, machine learning programs identify patterns and relationships between these characteristics. The article describes an experiment based on machine learning methods in combination with text search methods. It involves the CatBoost algorithm for predictive modeling and clustering of lexical items. The vector models of the corresponding items reflect a trend in a particular domain of knowledg

APA, Harvard, Vancouver, ISO, and other styles

31

Uschold, Mike, and Michael Gruninger. "Ontologies: principles, methods and applications." Knowledge Engineering Review 11, no. 2 (1996): 93–136. http://dx.doi.org/10.1017/s0269888900007797.

Full text

Abstract:

AbstractThis paper is intended to serve as a comprehensive introduction to the emerging field concerned with the design and use of ontologies. We observe that disparate backgrounds, languages, tools and techniques are a major barrier to effective communication among people, organisations and/or software understanding (i.e. an “ontology”) in a given subject area, can improve such communication, which in turn, can give rise to greater reuse and sharing, inter-operability, and more reliable software. After motivating their need, we clarify just what ontologies are and what purpose they serve. We

APA, Harvard, Vancouver, ISO, and other styles

32

Nickles, Matthias. "Social acquisition of ontologies from communication processes." Applied Ontology: An Interdisciplinary Journal of Ontological Analysis and Conceptual Modeling 2, no. 3-4 (2007): 373–97. https://doi.org/10.3233/apo-2007-040.

Full text

Abstract:

This work introduces a formal framework for the social acquisition of ontologies which are constructed dynamically from overhearing the possibly conflicting symbolic interaction of autonomous information sources, and an approach to the pragmatics of communicated ontological axioms. Technically, the framework is based on distributed variants of description logic for the formal contextualization of statements w.r.t. their respective provenance, speaker's attitude, addressees, and subjective degree of confidence. Doing so, our approach demarcates from the dominating more or less informal approach

APA, Harvard, Vancouver, ISO, and other styles

33

DRAGALINA-CHERNAYA, ELENA. "THE VARIETY OF INVARIANCE IN FORMAL AND REGIONAL ONTOLOGIES." HORIZON / Fenomenologicheskie issledovanija/ STUDIEN ZUR PHÄNOMENOLOGIE / STUDIES IN PHENOMENOLOGY / ÉTUDES PHÉNOMÉNOLOGIQUES 13, no. 1 (2024): 15–32. http://dx.doi.org/10.21638/2226-5260-2024-13-1-15-32.

Full text

Abstract:

The paper examines the invariance principles proposed by the analytical and phenomenological traditions for demarcating the boundaries of formal and regional ontologies. The principle of invariance with respect to isomorphic transformations, generalizing Alfred Tarski’s criterion for logical concepts, is extended to formal ontology as the theory of manifolds in its phenomenological interpretation. Isomorphism types, which are abstract individuals of the highest order, hypostases of forms of all possible ontologies, are considered as model-theoretical analogs of manifolds. The correlativity of

APA, Harvard, Vancouver, ISO, and other styles

34

Priya, M., and Aswani Kumar Ch. "A novel method for merging academic social network ontologies using formal concept analysis and hybrid semantic similarity measure." Library Hi Tech 38, no. 2 (2019): 399–419. http://dx.doi.org/10.1108/lht-02-2019-0035.

Full text

Abstract:

Purpose The purpose of this paper is to merge the ontologies that remove the redundancy and improve the storage efficiency. The count of ontologies developed in the past few eras is noticeably very high. With the availability of these ontologies, the needed information can be smoothly attained, but the presence of comparably varied ontologies nurtures the dispute of rework and merging of data. The assessment of the existing ontologies exposes the existence of the superfluous information; hence, ontology merging is the only solution. The existing ontology merging methods focus only on highly re

APA, Harvard, Vancouver, ISO, and other styles

35

Ofiсerov, V. P., and S. V. Smirnov. "FUZZY FORMAL CONCEPT ANALYSIS IN THE CONSTRUCTION OF ONTOLOGIES." Ontology of Designing 26, no. 7 (2017): 487–95. http://dx.doi.org/10.18287/2223-9537-2017-7-4-487-495.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Schwitter, Rolf. "CREATING AND QUERYING FORMAL ONTOLOGIES VIA CONTROLLED NATURAL LANGUAGE." Applied Artificial Intelligence 24, no. 1-2 (2010): 149–74. http://dx.doi.org/10.1080/08839510903448700.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Schulz, Stefan, and Udo Hahn. "Part-whole representation and reasoning in formal biomedical ontologies." Artificial Intelligence in Medicine 34, no. 3 (2005): 179–200. http://dx.doi.org/10.1016/j.artmed.2004.11.005.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Alruqimi, Mohammed, and Noura Aknin. "Enabling social WEB for IoT inducing ontologies from social tagging." International Journal of Informatics and Communication Technology (IJ-ICT) 8, no. 1 (2019): 19. http://dx.doi.org/10.11591/ijict.v8i1.pp19-24.

Full text

Abstract:

<span>Semantic domain ontologies are increasingly seen as the key for enabling interoperability across heterogeneous systems and sensor-based applications. The ontologies deployed in these systems and applications are developed by restricted groups of domain experts and not by semantic web experts. Lately, folksonomies are increasingly exploited in developing ontologies. The “collective intelligence”, which emerge from collaborative tagging can be seen as an alternative for the current effort at semantic web ontologies. However, the uncontrolled nature of social tagging systems leads to

APA, Harvard, Vancouver, ISO, and other styles

39

MARTÍNEZ-CARRERAS, M. ANTONIA, ANDRÉS MUÑOZ, JUAN BOTÍA, and ANTONIO F. GÓMEZ-SKARMETA. "CREATING CONTEXT-AWARE COLLABORATIVE WORKING ENVIRONMENTS." International Journal on Artificial Intelligence Tools 20, no. 01 (2011): 195–207. http://dx.doi.org/10.1142/s0218213011000085.

Full text

Abstract:

Context-aware systems are intended for providing services adapted to the needs of people, by taking into account their state and the information related to their environment. One alternative to represent this context information resides in the use of Semantic Web ontologies. They provide a formal vocabulary which allows to easily express and share knowledge. Additionally, several types of automatic knowledge manipulation and reasoning processes become available thanks to the formal features of such ontologies. The inclusion of context information through ontologies in Collaborative Working Env

APA, Harvard, Vancouver, ISO, and other styles

40

Boeker, M., H. Stenzhorn, J. Niggemann, and S. Schulz. "Granularity Issues in the Alignment of Upper Ontologies." Methods of Information in Medicine 48, no. 02 (2009): 184–89. http://dx.doi.org/10.3414/me9221.

Full text

Abstract:

Summary Objectives: The application of upper ontologies has been repeatedly advocated for to support the interoperability between different domain ontologies for facilitating the shared use of data within and across disciplines. BioTop is an upper domain ontology that aims at aligning more specialized biomolecular and biomedical ontologies. The integration of BioTop and the upper ontology Basic Formal Ontology (BFO) is the objective of this study. Methods: BFO was manually integrated into BioTop, observing both its free text and formal definitions. BioTop classes were attached to BFO classes a

APA, Harvard, Vancouver, ISO, and other styles

41

Otte, J. Neil, John Beverley, and Alan Ruttenberg. "BFO: Basic Formal Ontology1." Applied Ontology 17, no. 1 (2022): 17–43. http://dx.doi.org/10.3233/ao-220262.

Full text

Abstract:

Basic Formal Ontology (BFO) is a top-level ontology consisting of thirty-six classes, designed to support information integration, retrieval, and analysis across all domains of scientific investigation, presently employed in over 350 ontology projects around the world. BFO is a genuine top-level ontology, containing no terms particular to material domains, such as physics, medicine, or psychology. In this paper, we demonstrate how a series of cases illustrating common types of change may be represented by universals, defined classes, and relations employing the BFO framework. We provide discus

APA, Harvard, Vancouver, ISO, and other styles

42

Guizzardi, Giancarlo. "Ontology, Ontologies and the “I” of FAIR." Data Intelligence 2, no. 1-2 (2020): 181–91. http://dx.doi.org/10.1162/dint_a_00040.

Full text

Abstract:

According to the FAIR guiding principles, one of the central attributes for maximizing the added value of information artifacts is interoperability. In this paper, I discuss the importance, and propose a characterization of the notion of Semantic Interoperability. Moreover, I show that a direct consequence of this view is that Semantic Interoperability cannot be achieved without the support of, on one hand, (i) ontologies, as meaning contracts capturing the conceptualizations represented in information artifacts and, on the other hand, of (ii) Ontology, as a discipline proposing formal meth- o

APA, Harvard, Vancouver, ISO, and other styles

43

Mohammed, Alruqimi, and Aknin Noura. "Enabling social web for IoT inducing ontologies from social tagging." International Journal of Informatics and Communication Technology (IJ-ICT) 8, no. 1 (2019): 19–24. https://doi.org/10.11591/ijict.v8i1.pp19-24.

Full text

Abstract:

Semantic domain ontologies are increasingly seen as the key for enabling interoperability across heterogeneous systems and sensor-based applications. The ontologies deployed in these systems and applications are developed by restricted groups of domain experts and not by semantic web experts. Lately, folksonomies are increasingly exploited in developing ontologies. The “collective intelligence”, which emerge from collaborative tagging can be seen as an alternative for the current effort at semantic web ontologies. However, the uncontrolled nature of social tagging systems leads to

APA, Harvard, Vancouver, ISO, and other styles

44

Rodríguez-González, Alejandro, Ángel García-Crespo, Ricardo Colomo-Palacios, Juan Miguel Gómez-Berbís, and Enrique Jiménez-Domingo. "Using Ontologies in Drug Prescription." International Journal of Knowledge-Based Organizations 1, no. 4 (2011): 1–15. http://dx.doi.org/10.4018/ijkbo.2011100101.

Full text

Abstract:

Medical prescription has been touted as following an accurate approach to addressing particular health problems. However, the importance of the process might demand considering a formal knowledge-driven procedure to ensure its correctness which can be achieved through Medical Decision Support Systems (MDSS). Semantic Technologies have emerged as a potential silver bullet to become the backbone of those particular Information Systems since it provides seamless integration and an underlying logical formalism. This paper sheds light into using ontologies for drug prescription through the SemMed m

APA, Harvard, Vancouver, ISO, and other styles

45

H. Alkhammash, Eman. "Graphical Transformation of OWL Ontologies to Event-B Formal Models." Computers, Materials & Continua 70, no. 2 (2022): 3733–50. http://dx.doi.org/10.32604/cmc.2022.015987.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Sicilia, Miguel-Ángel, and Elena García Barriocanal. "On the Convergence of Formal Ontologies and Standardized E-Learning." International Journal of Distance Education Technologies 3, no. 2 (2005): 13–29. http://dx.doi.org/10.4018/jdet.2005040102.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Hagedorn, Thomas J., Barry Smith, Sundar Krishnamurty, and Ian Grosse. "Interoperability of disparate engineering domain ontologies using basic formal ontology." Journal of Engineering Design 30, no. 10-12 (2019): 625–54. http://dx.doi.org/10.1080/09544828.2019.1630805.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Dotsika, Fefie. "Uniting formal and informal descriptive power: Reconciling ontologies with folksonomies." International Journal of Information Management 29, no. 5 (2009): 407–15. http://dx.doi.org/10.1016/j.ijinfomgt.2009.02.002.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Batres, Rafael, and Suriati Akmal. "A Formal Concept Analysis-Based Method for Developing Process Ontologies." JOURNAL OF CHEMICAL ENGINEERING OF JAPAN 46, no. 6 (2013): 396–406. http://dx.doi.org/10.1252/jcej.12we278.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Hacherouf, Mokhtaria, Safia Nait-Bahloul, and Christophe Cruz. "Transforming XML schemas into OWL ontologies using formal concept analysis." Software & Systems Modeling 18, no. 3 (2018): 2093–110. http://dx.doi.org/10.1007/s10270-017-0651-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!