Academic literature on the topic 'Formal ontologies'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
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"
Sanfilippo, Emilio M., Yoshinobu Kitamura, and Robert I. M. Young. "Formal ontologies in manufacturing." Applied Ontology 14, no. 2 (April 25, 2019): 119–25. http://dx.doi.org/10.3233/ao-190209.
Full textOtte, J. Neil, John Beverley, and Alan Ruttenberg. "BFO: Basic Formal Ontology1." Applied Ontology 17, no. 1 (March 15, 2022): 17–43. http://dx.doi.org/10.3233/ao-220262.
Full textLumb, 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 (April 2009): 855–61. http://dx.doi.org/10.1016/j.cageo.2008.03.009.
Full textSanfilippo, 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 textAbrusci, V. Michele, Christophe Fouqueré, and Marco Romano. "Formal Ontologies and Coherent Spaces." Journal of Applied Logic 12, no. 1 (March 2014): 67–74. http://dx.doi.org/10.1016/j.jal.2013.07.003.
Full textLukashevich, N. V. "Concepts in formal and linguistic ontologies." Automatic Documentation and Mathematical Linguistics 45, no. 4 (August 2011): 155–62. http://dx.doi.org/10.3103/s0005105511040030.
Full textShaked, Avi, and Oded Margalit. "Sustainable Risk Identification Using Formal Ontologies." Algorithms 15, no. 9 (September 2, 2022): 316. http://dx.doi.org/10.3390/a15090316.
Full textJongeling, T. B., and P. P. Kirschenmann. "FORMAL AND HYPOTHETICAL OR HEURISTIC ONTOLOGIES." Grazer Philosophische studien 29, no. 1 (August 13, 1987): 217–23. http://dx.doi.org/10.1163/18756735-90000322.
Full textJansen, L., and S. Schulz. "Formal Ontologies in Biomedical Knowledge Representation." Yearbook of Medical Informatics 22, no. 01 (August 2013): 132–46. http://dx.doi.org/10.1055/s-0038-1638845.
Full textMü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 textDissertations / Theses on the topic "Formal ontologies"
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 textFormal 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 Representation in general, and ontology based representations in particular; namely: the fact that knowledge modeling seems to be constrained between conflicting requirements, such as compositionality, on the one hand and the need to represent prototypical information on the other. In particular, most common sense concepts seem not to be captured by the stringent semantics expressed by such formalisms as, for example, Description Logics (which are the formalisms on which the ontology languages have been built). The aim of this work is to analyse this problem, suggesting a possible solution suitable for formal ontologies and semantic web representations. The questions guiding this research, in fact, have been: is it possible to provide a formal representational framework which, for the same concept, combines both the classical modelling view (accounting for compositional information) and defeasible, prototypical knowledge ? Is it possible to propose a modelling architecture able to provide different type of reasoning (e.g. classical deductive reasoning for the compositional component and a non monotonic reasoning for the prototypical one)? We suggest a possible answer to these questions proposing a modelling framework able to represent, within the semantic web languages, a multilevel representation of conceptual information, integrating both classical and non classical (typicality based) information. Within this framework we hypothesise, at least in principle, the co-existence of multiple reasoning processes involving the different levels of representation. This works is organized as follows: in chapter 1 the semantic web languages and the description logics formalisms on which they are based are briefly presented. Then, in chapter 2, the problem on which this work is focused (e.g. conceptual representation) is illustrated and the general idea of the proposed multi-layer framework is sketched. In chapter 3 the psychological theories about concepts based on prototypes and exemplars are surveyed. In this chapter we argue that such distinction can be useful in our approach because it allows (i) to have a more complete representation of the concepts and (ii) to hypothesise different types of non monotonic reasoning processes (e.g. non monotonic categorization). In chapter 4 the proposed modeling architecture is presented and, in chapter 5, it is evaluated on particular information retrieval tasks. The chapter 6 is dedicated to the conclusions. [edited by author]
X n.s.
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 textOntologies represent a shared conceptualization of a knowledge community. They are built from the description of the meaning of concepts, expressed through their attributes and their relationships. Concepts refer to the object of conceptualization, the universe of discourse. They are characterized by their attributes and domains of possible values. Relationships are used to describe how the concepts are structured in the world. In ontologies all concepts are hierarchically defined, however there are other relationships that are definitional, giving identity to the concepts and meaning to the world. In addition to the subsumption relationships that build the taxonomies of concepts, other formal and material relations assist in structuring the domain and the conceptual definition. The modeling tools, however, are still deficient in differentiating the various types of formal and material relationships in order to assign the possibilities of automated reasoning. In particular, mereological and partonomic relationships lack of implementation options that allow extracting the semantic potential when modeling. This research project takes as a starting point the study of the literature on ontologies and relations, especially on formal and material relations, including mereological and partonomic relations, reviewing the principles found on ontologies. Furthermore, we identify the theoretical foundations of the relations and analyze the application of the relations concepts to the main foundational ontologies in use nowadays. Following, from the raised proposals, this work proposes an alternative for the conceptual modeling of these relations in a visual domain ontology. This alternative has been made available on the ontology building tool of the Obaitá Project, which is under development by the Intelligent Databases Research Group (BDI) from UFRGS.
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 textHacid, 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 textLeshi, 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 textHassan, Mohsen. "Knowledge Discovery Considering Domain Literature and Ontologies : Application to Rare Diseases." Thesis, Université de Lorraine, 2017. http://www.theses.fr/2017LORR0092/document.
Full textEven if they are uncommon, Rare Diseases (RDs) are numerous and generally sever, what makes their study important from a health-care point of view. Few databases provide information about RDs, such as Orphanet and Orphadata. Despite their laudable effort, they are incomplete and usually not up-to-date in comparison with what exists in the literature. Indeed, there are millions of scientific publications about these diseases, and the number of these publications is increasing in a continuous manner. This makes the manual extraction of this information painful and time consuming and thus motivates the development of semi-automatic approaches to extract information from texts and represent it in a format suitable for further applications. This thesis aims at extracting information from texts and using the result of the extraction to enrich existing ontologies of the considered domain. We studied three research directions (1) extracting relationships from text, i.e., extracting Disease-Phenotype (D-P) relationships; (2) identifying new complex entities, i.e., identifying phenotypes of a RD and (3) enriching an existing ontology on the basis of the relationship previously extracted, i.e., enriching a RD ontology. First, we mined a collection of abstracts of scientific articles that are represented as a collection of graphs for discovering relevant pieces of biomedical knowledge. We focused on the completion of RD description, by extracting D-P relationships. This could find applications in automating the update process of RD databases such as Orphanet. Accordingly, we developed an automatic approach named SPARE*, for extracting D-P relationships from PubMed abstracts, where phenotypes and RDs are annotated by a Named Entity Recognizer. SPARE* is a hybrid approach that combines a pattern-based method, called SPARE, and a machine learning method (SVM). It benefited both from the relatively good precision of SPARE and from the good recall of the SVM. Second, SPARE* has been used for identifying phenotype candidates from texts. We selected high-quality syntactic patterns that are specific for extracting D-P relationships only. Then, these patterns are relaxed on the phenotype constraint to enable extracting phenotype candidates that are not referenced in databases or ontologies. These candidates are verified and validated by the comparison with phenotype classes in a well-known phenotypic ontology (e.g., HPO). This comparison relies on a compositional semantic model and a set of manually-defined mapping rules for mapping an extracted phenotype candidate to a phenotype term in the ontology. This shows the ability of SPARE* to identify existing and potentially new RD phenotypes. We applied SPARE* on PubMed abstracts to extract RD phenotypes that we either map to the content of Orphanet encyclopedia and Orphadata; or suggest as novel to experts for completing these two resources. Finally, we applied pattern structures for classifying RDs and enriching an existing ontology. First, we used SPARE* to compute the phenotype description of RDs available in Orphadata. We propose comparing and grouping RDs in regard to their phenotypic descriptions, and this by using pattern structures. The pattern structures enable considering both domain knowledge, consisting in a RD ontology and a phenotype ontology, and D-P relationships from various origins. The lattice generated from this pattern structures suggests a new classification of RDs, which in turn suggests new RD classes that do not exist in the original RD ontology. As their number is large, we proposed different selection methods to select a reduced set of interesting RD classes that we suggest for experts for further analysis
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 textTsatsaronis, George, Yue Ma, Alina Petrova, Maria Kissa, Felix Distel, Franz Baader, and Michael Schroeder. "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 textPetrova, Alina, Yue Ma, George Tsatsaronis, Maria Kissa, Felix Distel, Franz Baader, and Michael Schroeder. "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 textNasiri, Khoozani Ehsan. "An ontological framework for the formal representation and management of human stress knowledge." Thesis, Curtin University, 2011. http://hdl.handle.net/20.500.11937/2220.
Full textBooks on the topic "Formal ontologies"
Cuel, Roberta, and Robert Young, eds. Formal Ontologies Meet Industry. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-21545-7.
Full textStefano, Borgo, Lesmo Leonardo, and International Workshop on Formal Ontologies Meet Industry (3rd : 2008 : Turin, Italy), eds. Formal ontologies meet industry. Amsterdam: IOS Press, 2008.
Find full textInternational Workshop on Formal Ontologies Meet Industry (4th 2009 Vicenza, Italy). Formal ontologies meet industry. Amsterdam: IOS Press, 2009.
Find full textZhang, Guo-Qiang, Rashmie Abeysinghe, and Licong Cui. Formal Methods for the Analysis of Biomedical Ontologies. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-12131-9.
Full textSimões, Maria da Graça. Da abstração à complexidade formal: Relações conceptuais num tesauro. Coimbra: Almedina, 2008.
Find full textNetherlands) International Workshop on Formal Ontologies Meet Industry (5th 2011 Delft. Formal ontologies meet industry: Proceedings of the fifth international workshop (FOMI 2011). Amsterdam: IOS Press, 2011.
Find full textAustria) FOIS (Conference) (7th 2012 Graz. Formal ontology in information systems: Proceedings of the seventh International Conference (FOIS 2012). Amsterdam: IOS Press, 2012.
Find full textservice), SpringerLink (Online, ed. On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Find full textChing-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. Beijing: Higher Education Press, 2012.
Find full textPoli, Roberto. Ontologia formale. Genova: Marietti, 1992.
Find full textBook chapters on the topic "Formal ontologies"
Stumme, Gerd. "Formal Concept Analysis." In Handbook on Ontologies, 177–99. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-540-92673-3_8.
Full textWyssusek, Boris. "Can Ontology Inform Ontologies?" In Formal Concept Analysis, 82. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-01815-2_7.
Full textFrixione, Marcello, and Antonio Lieto. "Formal Ontologies, Exemplars, Prototypes." In Advances in Conceptual Modeling. Recent Developments and New Directions, 210–19. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24574-9_27.
Full textPaschke, Adrian, Tara Athan, Davide Sottara, Elisa Kendall, and Roy Bell. "A Representational Analysis of the API4KP Metamodel." In Formal Ontologies Meet Industry, 1–12. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-21545-7_1.
Full textPalmer, Claire, Esmond Neil Urwin, Ester Palacios Rodríguez, Francisco Sanchez Cid, Jose Miguel Pinazo-Sánchez, Sonja Pajkovska-Goceva, and Robert Young. "An Ontology for Global Production Network Design and Reconfiguration." In Formal Ontologies Meet Industry, 113–25. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-21545-7_10.
Full textEl Kadiri, Soumaya, Walter Terkaj, Esmond Neil Urwin, Claire Palmer, Dimitris Kiritsis, and Robert Young. "Ontology in Engineering Applications." In Formal Ontologies Meet Industry, 126–37. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-21545-7_11.
Full textLewańska, Elżbieta, and Monika Kaczmarek. "Ontologies for Business Networks Identification." In Formal Ontologies Meet Industry, 13–24. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-21545-7_2.
Full textChui, Carmen, Michael Grüninger, and Mark van Berkel. "Ontology Mapping in an e-Commerce Application." In Formal Ontologies Meet Industry, 25–38. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-21545-7_3.
Full textKaczmarek, Monika. "Ontologies in the Realm of Enterprise Modeling – A Reality Check." In Formal Ontologies Meet Industry, 39–50. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-21545-7_4.
Full textPittet, 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, 51–62. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-21545-7_5.
Full textConference papers on the topic "Formal ontologies"
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 textCristani, Marco, and Roberta Ferrario. "Statistical Pattern Recognition Meets Formal Ontologies." In the 2014 Workshop. New York, New York, USA: ACM Press, 2014. http://dx.doi.org/10.1145/2666253.2666254.
Full textFrixione, Marcello, and Antonio Lieto. "Representing and reasoning on typicality in formal ontologies." In the 7th International Conference. New York, New York, USA: ACM Press, 2011. http://dx.doi.org/10.1145/2063518.2063534.
Full textPoernomo, 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 textCross, 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 textChebieb, 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 textScafoglieri, 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"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 textRodrí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"FORMAL METHOD FOR AUTOMATIC AND SEMANTIC MAPPING OF DISTRIBUTED SERVICE-ONTOLOGIES." In 2nd International Conference on Software and Data Technologies. SciTePress - Science and and Technology Publications, 2007. http://dx.doi.org/10.5220/0001329602590263.
Full textReports on the topic "Formal ontologies"
Baader, Franz, Stefan Borgwardt, and Barbara Morawska. A Goal-Oriented Algorithm for Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies. Technische Universität Dresden, 2012. http://dx.doi.org/10.25368/2022.189.
Full textThost, 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