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

Choisissez une source :

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"

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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Thèses sur le sujet "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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Livres sur le sujet "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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

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

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

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

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Austria) 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égral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Poli, Roberto. Ontologia formale. Marietti, 1992.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Chapitres de livres sur le sujet "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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "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.

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!