Relevant bibliographies by topics / Formal ontologies

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature 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 lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

Journal articles on the topic "Formal ontologies"

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.   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
More sources

Dissertations / Theses on the topic "Formal ontologies"

1

Lieto, Antonio. "Non classical concept representation and reasoning in formal ontologies." Doctoral thesis, Universita degli studi di Salerno, 2012. http://hdl.handle.net/10556/346.

Full text
Abstract:
2010 - 2011<br>Formal ontologies are nowadays widely considered a standard tool for knowledge representation and reasoning in the Semantic Web. In this context, they are expected to play an important role in helping automated processes to access information. Namely: they are expected to provide a formal structure able to explicate the relationships between different concepts/terms, thus allowing intelligent agents to interpret, correctly, the semantics of the web resources improving the performances of the search technologies. Here we take into account a problem regarding Knowledge Repre
APA, Harvard, Vancouver, ISO, and other styles
2

Linck, Ricardo Ramos. "Conceptual modeling of formal and material relations applied to ontologies." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2014. http://hdl.handle.net/10183/108626.

Full text
Abstract:
Ontologias representam uma conceitualização compartilhada de uma comunidade de conhecimento. São construídas a partir da descrição dos significados dos conceitos, descritos através de seus atributos e dos relacionamentos entre os conceitos. Conceitos se referem ao objeto da conceitualização, o universo do discurso. São caracterizados por seus atributos e domínios de valores possíveis. Relacionamentos são utilizados para descreverem de que forma os conceitos se estruturam no mundo. Nas ontologias todos os conceitos são hierarquicamente definidos, porém existem outros relacionamentos que são def
APA, Harvard, Vancouver, ISO, and other styles
3

Venugopal, Manu. "Formal specification of industry foundation class concepts using engineering ontologies." Diss., Georgia Institute of Technology, 2011. http://hdl.handle.net/1853/42868.

Full text
Abstract:
Architecture, Engineering, Construction (AEC) and Facilities Management (FM) involve domains that require a very diverse set of information and model exchanges to fully realize the potential of Building Information Modeling (BIM). Industry Foundation Classes (IFC) provides a neutral and open schema for interoperability. Model View Definitions (MVD) provide a common subset for specifying the exchanges using IFC, but are expensive to build, test and maintain. A semantic analysis of IFC data schema illustrates the complexities of embedding semantics in model views. A software engineering methodol
APA, Harvard, Vancouver, ISO, and other styles
4

Hacid, Kahina. "Handling domain knowledge in system design models. An ontology based approach." Phd thesis, Toulouse, INPT, 2018. http://oatao.univ-toulouse.fr/20157/7/HACID_kahina.pdf.

Full text
Abstract:
Complex systems models are designed in heterogeneous domains and this heterogeneity is rarely considered explicitly when describing and validating processes. Moreover, these systems usually involve several domain experts and several design models corresponding to different analyses (views) of the same system. However, no explicit information regarding the characteristics neither of the domain nor of the performed system analyses is given. In our thesis, we propose a general framework offering first, the formalization of domain knowledge using ontologies and second, the capability to strengthen
APA, Harvard, Vancouver, ISO, and other styles
5

Leshi, Olumide. "An Approach to Extending Ontologies in the Nanomaterials Domain." Thesis, Linköpings universitet, Institutionen för datavetenskap, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-170255.

Full text
Abstract:
As recently as the last decade or two, data-driven science workflows have become increasingly popular and semantic technology has been relied on to help align often parallel research efforts in the different domains and foster interoperability and data sharing. However, a key challenge is the size of the data and the pace at which it is being generated, so much that manual procedures lag behind. Thus, eliciting automation of most workflows. In this study, the effort is to continue investigating ways by which some tasks performed by experts in the nanotechnology domain, specifically in ontology
APA, Harvard, Vancouver, ISO, and other styles
6

Hassan, Mohsen. "Knowledge Discovery Considering Domain Literature and Ontologies : Application to Rare Diseases." Thesis, Université de Lorraine, 2017. http://www.theses.fr/2017LORR0092/document.

Full text
Abstract:
De par leur grand nombre et leur sévérité, les maladies rares (MR) constituent un enjeu de santé majeur. Des bases de données de référence, comme Orphanet et Orphadata, répertorient les informations disponibles à propos de ces maladies. Cependant, il est difficile pour ces bases de données de proposer un contenu complet et à jour par rapport à ce qui est disponible dans la littérature. En effet, des millions de publications scientifiques sur ces maladies sont disponibles et leur nombre augmente de façon continue. Par conséquent, il serait très fastidieux d’extraire manuellement et de façon exh
APA, Harvard, Vancouver, ISO, and other styles
7

Hassan, Mohsen. "Knowledge Discovery Considering Domain Literature and Ontologies : Application to Rare Diseases." Electronic Thesis or Diss., Université de Lorraine, 2017. http://www.theses.fr/2017LORR0092.

Full text
Abstract:
De par leur grand nombre et leur sévérité, les maladies rares (MR) constituent un enjeu de santé majeur. Des bases de données de référence, comme Orphanet et Orphadata, répertorient les informations disponibles à propos de ces maladies. Cependant, il est difficile pour ces bases de données de proposer un contenu complet et à jour par rapport à ce qui est disponible dans la littérature. En effet, des millions de publications scientifiques sur ces maladies sont disponibles et leur nombre augmente de façon continue. Par conséquent, il serait très fastidieux d’extraire manuellement et de façon exh
APA, Harvard, Vancouver, ISO, and other styles
8

Kriegel, Francesco [Verfasser], Franz [Akademischer Betreuer] Baader, Franz [Gutachter] Baader, and Sergei O. [Gutachter] Kuznetsov. "Constructing and Extending Description Logic Ontologies using Methods of Formal Concept Analysis / Francesco Kriegel ; Gutachter: Franz Baader, Sergei O. Kuznetsov ; Betreuer: Franz Baader." Dresden : Technische Universität Dresden, 2019. http://d-nb.info/1226942601/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Tsatsaronis, George, Yue Ma, Alina Petrova, et al. "Formalizing biomedical concepts from textual definitions." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-192186.

Full text
Abstract:
Background Ontologies play a major role in life sciences, enabling a number of applications, from new data integration to knowledge verification. SNOMED CT is a large medical ontology that is formally defined so that it ensures global consistency and support of complex reasoning tasks. Most biomedical ontologies and taxonomies on the other hand define concepts only textually, without the use of logic. Here, we investigate how to automatically generate formal concept definitions from textual ones. We develop a method that uses machine learning in combination with several types of lexical and se
APA, Harvard, Vancouver, ISO, and other styles
10

Petrova, Alina, Yue Ma, George Tsatsaronis, et al. "Formalizing biomedical concepts from textual definitions." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-191181.

Full text
Abstract:
BACKGROUND: Ontologies play a major role in life sciences, enabling a number of applications, from new data integration to knowledge verification. SNOMED CT is a large medical ontology that is formally defined so that it ensures global consistency and support of complex reasoning tasks. Most biomedical ontologies and taxonomies on the other hand define concepts only textually, without the use of logic. Here, we investigate how to automatically generate formal concept definitions from textual ones. We develop a method that uses machine learning in combination with several types of lexical and s
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Formal ontologies"

1

Cuel, Roberta, and Robert Young, eds. Formal Ontologies Meet Industry. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-21545-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

International Workshop on Formal Ontologies Meet Industry (4th 2009 Vicenza, Italy). Formal ontologies meet industry. IOS Press, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Stefano, Borgo, Lesmo Leonardo, and International Workshop on Formal Ontologies Meet Industry (3rd : 2008 : Turin, Italy), eds. Formal ontologies meet industry. IOS Press, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Zhang, Guo-Qiang, Rashmie Abeysinghe, and Licong Cui. Formal Methods for the Analysis of Biomedical Ontologies. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-12131-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Simões, Maria da Graça. Da abstração à complexidade formal: Relações conceptuais num tesauro. Almedina, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Netherlands) International Workshop on Formal Ontologies Meet Industry (5th 2011 Delft. Formal ontologies meet industry: Proceedings of the fifth international workshop (FOMI 2011). IOS Press, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Austria) FOIS (Conference) (7th 2012 Graz. Formal ontology in information systems: Proceedings of the seventh International Conference (FOIS 2012). IOS Press, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Ching-man, Au Yeung, and Leung Ho-Fung, eds. Fuzzy computational ontologies in contexts: Formal models of knowledge representation with membership degree and typicality of objects, and their applications. Higher Education Press, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Poli, Roberto. Ontologia formale. Marietti, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Chris, Welty, Smith Barry 1952-, SIGART, and Association for Computing Machinery, eds. Formal ontology in information systems: Collected papers from the second International Conference, October 17th-19th, 2001, the Cliff House, Ogunquit, Maine, USA. Association for Computing Machinery, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Formal ontologies"

1

Stumme, Gerd. "Formal Concept Analysis." In Handbook on Ontologies. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-540-92673-3_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Wyssusek, Boris. "Can Ontology Inform Ontologies?" In Formal Concept Analysis. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-01815-2_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Frixione, Marcello, and Antonio Lieto. "Formal Ontologies, Exemplars, Prototypes." In Advances in Conceptual Modeling. Recent Developments and New Directions. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24574-9_27.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Paschke, Adrian, Tara Athan, Davide Sottara, Elisa Kendall, and Roy Bell. "A Representational Analysis of the API4KP Metamodel." In Formal Ontologies Meet Industry. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-21545-7_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Palmer, Claire, Esmond Neil Urwin, Ester Palacios Rodríguez, et al. "An Ontology for Global Production Network Design and Reconfiguration." In Formal Ontologies Meet Industry. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-21545-7_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

El Kadiri, Soumaya, Walter Terkaj, Esmond Neil Urwin, Claire Palmer, Dimitris Kiritsis, and Robert Young. "Ontology in Engineering Applications." In Formal Ontologies Meet Industry. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-21545-7_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Lewańska, Elżbieta, and Monika Kaczmarek. "Ontologies for Business Networks Identification." In Formal Ontologies Meet Industry. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-21545-7_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Chui, Carmen, Michael Grüninger, and Mark van Berkel. "Ontology Mapping in an e-Commerce Application." In Formal Ontologies Meet Industry. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-21545-7_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Kaczmarek, Monika. "Ontologies in the Realm of Enterprise Modeling – A Reality Check." In Formal Ontologies Meet Industry. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-21545-7_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Pittet, Perrine, and Jérôme Barthélémy. "Experience of Formal Application Ontology Development to Enhance User Understanding in a Geo Business Intelligence SaaS Platform." In Formal Ontologies Meet Industry. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-21545-7_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Formal ontologies"

1

Ondo, Anicet, Laurence Capus, and Mamadou Bousso. "Optimization of Methods for Querying Formal Ontologies in Natural Language Using a Neural Network." In 16th International Conference on Knowledge Engineering and Ontology Development. SCITEPRESS - Science and Technology Publications, 2024. http://dx.doi.org/10.5220/0012892600003838.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Yu, Sun, Xia Youming, and Zhiping Li. "Formal contexts in ontologies." In Education (ICCSE 2011). IEEE, 2011. http://dx.doi.org/10.1109/iccse.2011.6028620.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Cristani, Marco, and Roberta Ferrario. "Statistical Pattern Recognition Meets Formal Ontologies." In the 2014 Workshop. ACM Press, 2014. http://dx.doi.org/10.1145/2666253.2666254.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Frixione, Marcello, and Antonio Lieto. "Representing and reasoning on typicality in formal ontologies." In the 7th International Conference. ACM Press, 2011. http://dx.doi.org/10.1145/2063518.2063534.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Poernomo, Iman, Timur Umarov, and Fuad Hajiyev. "Formal ontologies for data-centric business process management." In 2011 5th International Conference on Application of Information and Communication Technologies (AICT). IEEE, 2011. http://dx.doi.org/10.1109/icaict.2011.6110897.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Cross, Valerie V., and Wenting Yi. "Formal concept analysis for ontologies and their annotation files." In 2008 IEEE 16th International Conference on Fuzzy Systems (FUZZ-IEEE). IEEE, 2008. http://dx.doi.org/10.1109/fuzzy.2008.4630646.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Chebieb, Abdelkrim, and Yamine Ait-Ameur. "Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies." In 2015 9th International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2015. http://dx.doi.org/10.1109/tase.2015.25.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Scafoglieri, Federico Maria, and Domenico Lembo. "A Formal Framework for Coupling Document Spanners with Ontologies." In 2019 IEEE Second International Conference on Artificial Intelligence and Knowledge Engineering (AIKE). IEEE, 2019. http://dx.doi.org/10.1109/aike.2019.00036.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

"THE COMPUTATIONAL REPRESENTATION OF CONCEPTS IN FORMAL ONTOLOGIES - Some General Considerations." In International Conference on Knowledge Engineering and Ontology Development. SciTePress - Science and and Technology Publications, 2010. http://dx.doi.org/10.5220/0003095903960403.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Rodríguez, Jose María Alvarez, Valentín Moreno, and Juan Llorens. "Formal ontologies and data shapes within the Software Engineering development lifecycle." In The 31st International Conference on Software Engineering and Knowledge Engineering. KSI Research Inc. and Knowledge Systems Institute Graduate School, 2019. http://dx.doi.org/10.18293/seke2019-114.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Formal ontologies"

1

Kriegel, Francesco. Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept Analysis. Technische Universität Dresden, 2023. http://dx.doi.org/10.25368/2023.214.

Full text
Abstract:
We present an FCA-based axiomatization method that produces a complete EL TBox (the terminological part of an OWL 2 EL ontology) from a graph dataset in at most exponential time. We describe technical details that allow for efficient implementation as well as variations that dispense with the computation of extremely large axioms, thereby rendering the approach applicable albeit some completeness is lost. Moreover, we evaluate the prototype on real-world datasets.
APA, Harvard, Vancouver, ISO, and other styles
2

Thost, Veronika, Jan Holste, and Özgür Özçep. On Implementing Temporal Query Answering in DL-Lite. Technische Universität Dresden, 2015. http://dx.doi.org/10.25368/2022.218.

Full text
Abstract:
Ontology-based data access augments classical query answering over fact bases by adopting the open-world assumption and by including domain knowledge provided by an ontology. We implemented temporal query answering w.r.t. ontologies formulated in the Description Logic DL-Lite. Focusing on temporal conjunctive queries (TCQs), which combine conjunctive queries via the operators of propositional linear temporal logic, we regard three approaches for answering them: an iterative algorithm that considers all data available; a window-based algorithm; and a rewriting approach, which translates the TCQ
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Formal ontologies' for particular source types:
Journal articles Dissertations / Theses Books
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!

To the bibliography