Littérature scientifique sur le sujet « Formal ontologies »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Formal ontologies ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Formal ontologies"
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.
Texte intégralLumb, 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.
Texte intégralFerrario, 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.
Texte intégralSanfilippo, 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.
Texte intégralAbrusci, 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.
Texte intégralMü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.
Texte intégralLukashevich, 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.
Texte intégralShaked, Avi, and Oded Margalit. "Sustainable Risk Identification Using Formal Ontologies." Algorithms 15, no. 9 (2022): 316. http://dx.doi.org/10.3390/a15090316.
Texte intégralJongeling, 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.
Texte intégralBrucker, 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.
Texte intégralThèses sur le sujet "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.
Texte intégralLinck, 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.
Texte intégralVenugopal, Manu. "Formal specification of industry foundation class concepts using engineering ontologies." Diss., Georgia Institute of Technology, 2011. http://hdl.handle.net/1853/42868.
Texte intégralHacid, 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.
Texte intégralLeshi, 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.
Texte intégralHassan, Mohsen. "Knowledge Discovery Considering Domain Literature and Ontologies : Application to Rare Diseases." Thesis, Université de Lorraine, 2017. http://www.theses.fr/2017LORR0092/document.
Texte intégralHassan, 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.
Texte intégralKriegel, 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.
Texte intégralTsatsaronis, 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.
Texte intégralPetrova, 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.
Texte intégralLivres sur le sujet "Formal ontologies"
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.
Texte intégralInternational Workshop on Formal Ontologies Meet Industry (4th 2009 Vicenza, Italy). Formal ontologies meet industry. IOS Press, 2009.
Trouver le texte intégralStefano, Borgo, Lesmo Leonardo, and International Workshop on Formal Ontologies Meet Industry (3rd : 2008 : Turin, Italy), eds. Formal ontologies meet industry. IOS Press, 2008.
Trouver le texte intégralZhang, 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.
Texte intégralSimões, Maria da Graça. Da abstração à complexidade formal: Relações conceptuais num tesauro. Almedina, 2008.
Trouver le texte intégralNetherlands) 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.
Trouver le texte intégralAustria) FOIS (Conference) (7th 2012 Graz. Formal ontology in information systems: Proceedings of the seventh International Conference (FOIS 2012). IOS Press, 2012.
Trouver le texte intégralChing-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.
Trouver le texte intégralChris, 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.
Trouver le texte intégralChapitres de livres sur le sujet "Formal ontologies"
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.
Texte intégralWyssusek, 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.
Texte intégralFrixione, 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.
Texte intégralPaschke, 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.
Texte intégralPalmer, 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.
Texte intégralEl 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.
Texte intégralLewań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.
Texte intégralChui, 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.
Texte intégralKaczmarek, 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.
Texte intégralPittet, 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.
Texte intégralActes de conférences sur le sujet "Formal ontologies"
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.
Texte intégralYu, 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.
Texte intégralCristani, 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.
Texte intégralFrixione, 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.
Texte intégralPoernomo, 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.
Texte intégralCross, 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.
Texte intégralChebieb, 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.
Texte intégralScafoglieri, 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.
Texte intégral"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.
Texte intégralRodrí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.
Texte intégralRapports d'organisations sur le sujet "Formal ontologies"
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.
Texte intégralThost, 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.
Texte intégral