Bibliographies thématiques / Formal ontologies / Thèses
Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Formal ontologies.

Thèses sur le sujet « Formal ontologies »

Auteur : Grafiati
Publié le 10 mars 2023
Mis à jour le 31 juillet 2025

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 50 meilleures thèses pour votre recherche 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.

Parcourez les thèses sur diverses disciplines et organisez correctement votre bibliographie.

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.
11

Nasiri, 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.

Texte intégral
Résumé :
There is a great deal of information on the topic of human stress which is embedded within numerous papers across various databases. However, this information is stored, retrieved, and used often discretely and dispersedly. As a result, discovery and identification of the links and interrelatedness between different aspects of knowledge on stress is difficult. This restricts the effective search and retrieval of desired information. There is a need to organize this knowledge under a unifying framework, linking and analysing it in mutual combinations so that we can obtain an inclusive view of t
Styles APA, Harvard, Vancouver, ISO, etc.
12

Petrova, Alina, Yue Ma, George Tsatsaronis, et al. "Formalizing biomedical concepts from textual definitions." BioMed Central, 2015. https://tud.qucosa.de/id/qucosa%3A29123.

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.
13

Tsatsaronis, George, Yue Ma, Alina Petrova, et al. "Formalizing biomedical concepts from textual definitions: Research Article." Journal of Biomedical Semantics, 2010. https://tud.qucosa.de/id/qucosa%3A29146.

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.
14

Gallina, Leandro Zulian. "Extração e representação semântica de fatos temporais." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2012. http://hdl.handle.net/10183/55443.

Texte intégral
Résumé :
Este trabalho descreve EXTIO (Extraction of Temporal Information Using Ontologies), uma abordagem que permite a normalização de expressões temporais e a organização em ontologia de fatos temporais extraídos de texto em linguagem natural. Isto permite que motores de busca possam aproveitar melhor a informação temporal de páginas daWeb, realizando inferências sobre fatos temporais. EXTIO propõe: a normalização de expressões temporais relativas através de uma gramática formal para a língua inglesa; e a organização de fatos temporais extraídos do texto normalizado em uma ontologia. Expressões temp
Styles APA, Harvard, Vancouver, ISO, etc.
15

Abbas, Nacira. "Formal Concept Analysis for Discovering Link Keys in the Web of Data." Electronic Thesis or Diss., Université de Lorraine, 2023. http://www.theses.fr/2023LORR0202.

Texte intégral
Résumé :
Le Web des données est un espace de données global qui peut être considéré comme une couche supplémentaire au-dessus du Web des documents. Le liage des données est la tâche de découverte des liens d'identité entre les ensembles de données RDF (Resource Description Framework) sur le Web des données. Nous nous intéressons à une approche spécifique pour le liage des données, qui repose sur les “clés de liage”. Cette clé a la forme de deux ensembles de paires de propriétés associées à une paire de classes. Par exemple, la clé de liage ({(designation,titre)},{(designation,titre), (createur,auteur)}
Styles APA, Harvard, Vancouver, ISO, etc.
16

Mary, Melissa. "Intéropérabilité sémantique dans le domaine du diagnostic in vitro : Représentation des Connaissances et Alignement." Thesis, Normandie, 2017. http://www.theses.fr/2017NORMR033.

Texte intégral
Résumé :
La centralisation des données patients au sein de répertoires numériques soulève des problématiques d’interopérabilité avec les différents systèmes d’information médicaux tels que ceux utilisés en clinique, à la pharmacie ou dans les laboratoires d’analyse. Les instances de santé publique, en charge de développer et de déployer ces dossiers, recommandent l’utilisation de standards pour structurer (syntaxe) et coder l’information (sémantique). Pour les données du diagnostic in vitro (DIV) deux standards sémantiques sont largement préconisés : - la terminologie LOINC® (Logical Observation Identi
Styles APA, Harvard, Vancouver, ISO, etc.
17

Loebe, Frank. "Ontological Semantics." Doctoral thesis, Universitätsbibliothek Leipzig, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-166326.

Texte intégral
Résumé :
The original and still a major purpose of ontologies in computer and information sciences is to serve for the semantic integration of represented content, facilitating information system interoperability. Content can be data, information, and knowledge, and it can be distributed within or across these categories. A myriad of languages is available for representation. Ontologies themselves are artifacts which are expressed in various languages. Different such languages are utilized today, including, as well-known representatives, predicate logic, subsuming first-order (predicate) logic (FOL), i
Styles APA, Harvard, Vancouver, ISO, etc.
18

Ferrari, Francesco Maria. "Questioni di semantica formale e logica plurale." Doctoral thesis, Università degli studi di Padova, 2016. http://hdl.handle.net/11577/3426765.

Texte intégral
Résumé :
The present research is a logico-philosophical analysis of the issues concerning the semantics for plural logic, with particular attention to the recent work by A. Oliver and T. Smiley, Plural Logic (OUP). The first chapter introduces into the model-theoretic semantics for second-order languages. Three versions are presented: standard, Henkin and multi-sorted. All three differ in the definition of the assignment function to the second-order variables. The second chapter analyzes the relationship between model-theoretic semantics and ontology, in particular realism and nominalism. On the one h
Styles APA, Harvard, Vancouver, ISO, etc.
19

Monnin, Pierre. "Matching and mining in knowledge graphs of the Web of data : Applications in pharmacogenomics." Electronic Thesis or Diss., Université de Lorraine, 2020. http://www.theses.fr/2020LORR0212.

Texte intégral
Résumé :
Dans le Web des données, des graphes de connaissances de plus en plus nombreux sont simultanément publiés, édités, et utilisés par des agents humains et logiciels. Cette large adoption rend essentielles les tâches d'appariement et de fouille. L'appariement identifie des unités de connaissances équivalentes, plus spécifiques ou similaires au sein et entre graphes de connaissances. Cette tâche est cruciale car la publication et l'édition parallèles peuvent mener à des graphes de connaissances co-existants et complémentaires. Cependant, l'hétérogénéité inhérente aux graphes de connaissances (e.g.
Styles APA, Harvard, Vancouver, ISO, etc.
20

Szejka, Anderson Luis. "Contribution to interoperable products design and manufacturing information : application to plastic injection products manufacturing." Electronic Thesis or Diss., Université de Lorraine, 2016. http://www.theses.fr/2016LORR0159.

Texte intégral
Résumé :
La compétitivité toujours plus importante et la mondialisation ont mis l'industrie manufacturière au défi de rationaliser les différentes façons de mettre sur le marché de nouveaux produits dans un délai court, avec des prix compétitifs tout en assurant des niveaux de qualité élevés. Le PDP moderne exige simultanément la collaboration de plusieurs groupes de travail qui assurent la création et l’échange d’information avec des points de vue multiples dans et à travers les frontières institutionnelles. Dans ce contexte, des problèmes d’interopérabilité sémantique ont été identifiés en raison de
Styles APA, Harvard, Vancouver, ISO, etc.
21

Dias, Luiz Gustavo. "Análise formal no gerenciamento de competências: o emprego de ontologias e lógica de descrição." Universidade Federal de Goiás, 2018. http://repositorio.bc.ufg.br/tede/handle/tede/8182.

Texte intégral
Résumé :
Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2018-02-23T12:55:26Z No. of bitstreams: 2 Dissertação - Luiz Gustavo Dias - 2018.pdf: 24658970 bytes, checksum: e3353986b772fe9103c6a705f3aa4ee0 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)<br>Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2018-02-23T12:56:11Z (GMT) No. of bitstreams: 2 Dissertação - Luiz Gustavo Dias - 2018.pdf: 24658970 bytes, checksum: e3353986b772fe9103c6a705f3aa4ee0 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)<br>Made available
Styles APA, Harvard, Vancouver, ISO, etc.
22

Kherroubi, Souad. "Un cadre formel pour l'intégration de connaissances du domaine dans la conception des systèmes : application au formalisme Event-B." Electronic Thesis or Diss., Université de Lorraine, 2018. http://www.theses.fr/2018LORR0230.

Texte intégral
Résumé :
Cette thèse vise à définir des techniques pour mieux exploiter les connaissances du domaine dans l’objectif de rendre compte de la réalité de systèmes qualifiés de complexes et critiques. La modélisation est une étape indispensable pour effectuer des vérifications et exprimer des propriétés qu’un système doit satisfaire. La modélisation est une représentation simplificatrice, mais réductionniste de la réalité d’un système. Or, un système complexe ne peut se réduire à un modèle. Un modèle doit s’intégrer dans sa théorie observationnelle pour rendre compte des anomalies qu’il peut y contenir. No
Styles APA, Harvard, Vancouver, ISO, etc.
23

Szejka, Anderson Luis. "Contribution to interoperable products design and manufacturing information : application to plastic injection products manufacturing." Thesis, Université de Lorraine, 2016. http://www.theses.fr/2016LORR0159/document.

Texte intégral
Résumé :
La compétitivité toujours plus importante et la mondialisation ont mis l'industrie manufacturière au défi de rationaliser les différentes façons de mettre sur le marché de nouveaux produits dans un délai court, avec des prix compétitifs tout en assurant des niveaux de qualité élevés. Le PDP moderne exige simultanément la collaboration de plusieurs groupes de travail qui assurent la création et l’échange d’information avec des points de vue multiples dans et à travers les frontières institutionnelles. Dans ce contexte, des problèmes d’interopérabilité sémantique ont été identifiés en raison de
Styles APA, Harvard, Vancouver, ISO, etc.
24

Trapp, Rogério Vaz. "Antropologia e semântica formal: fenomenologia e linguagem." Pontifícia Universidade Católica do Rio Grande do Sul, 2011. http://hdl.handle.net/10923/3413.

Texte intégral
Résumé :
Made available in DSpace on 2013-08-07T18:55:31Z (GMT). No. of bitstreams: 1 000433557-Texto+Completo-0.pdf: 651443 bytes, checksum: 6395d825ca0c362474b1c94890bb8218 (MD5) Previous issue date: 2011<br>The aim of this thesis consists in demonstrating that the formal semantics – as a field of articulation between logic and ontology – requires an Anthropology as its grounding. For this it will be necessary to demonstrate that the distinction between relative and absolute grounding leads the formal semantics to the same mode of grounding as the Heidegger’s phenomenology. This means that instead
Styles APA, Harvard, Vancouver, ISO, etc.
25

Machado, Alexandre Lopes. "Modelo conceitual formal de relacionamentos do ordenamento jurídico positivo." Instituto Tecnológico de Aeronáutica, 2013. http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=2867.

Texte intégral
Résumé :
A informação jurídica é inerentemente caracterizada por relacionamentos. A regra geral é que qualquer documento deste domínio está sempre inserido em um contexto, parte do ordenamento jurídico. Ordenamento jurídico pode ser definido como um conjunto de normas. Sendo assim, conceitos de uma norma jurídica são importantes para o entendimento de outra norma jurídica. Entretanto, essa caracter?stica do ordenamento jur?dico causa dificuldade para o entendimento de uma norma, uma vez que o seu entendimento pleno exige um conjunto de conhecimentos sobre a dependencia jur?dica entre as normas qu
Styles APA, Harvard, Vancouver, ISO, etc.
26

Kohne, Jens. "Drei Betrachtungen zum Problem der Eigenschaften dargestellt anhand der Lehren von H. H. Price, G. F. Stout und N. Kemp Smith /." [S.l. : s.n.], 2003. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB10806357.

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

Alan, Yilmaz. "Integrative Geschäftsprozessmodellierung : ein Ansatz auf der Basis von Ontologien und Petri-Netzen /." Saarbrücken : VDM, Verl. Dr. Müller, 2007. http://deposit.d-nb.de/cgi-bin/dokserv?id=2968232&prov=M&dok_var=1&dok_ext=htm.

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

Torres, Carlos Eduardo Atencio. "Uso de informação linguística e análise de conceitos formais no aprendizado de ontologias." Universidade de São Paulo, 2012. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11022013-152711/.

Texte intégral
Résumé :
Na atualidade, o interesse pelo uso de ontologias tem sido incrementado. No entanto, o processo de construção pode ser custoso em termos de tempo. Para uma ontologia ser construída, precisa-se de um especialista com conhecimentos de um editor de ontologias. Com a finalidade de reduzir tal processo de construção pelo especialista, analisamos e propomos um método para realizar aprendizado de ontologias (AO) de forma supervisionada. O presente trabalho consiste em uma abordagem combinada de diferentes técnicas no AO. Primeiro, usamos uma técnica estatística chamada C/NC-values, acompanhada da fe
Styles APA, Harvard, Vancouver, ISO, etc.
29

Araújo, Lauro César. "Uma linguagem para formalização de discursos com base em ontologias." reponame:Repositório Institucional da UnB, 2015. http://dx.doi.org/10.26512/2015.11.T.19319.

Texte intégral
Résumé :
Tese (doutorado)—Universidade de Brasília, Faculdade de Ciência da Informação, Programa de Pós-Graduação em Ciência da Informação, 2015.<br>Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2016-01-25T15:17:04Z No. of bitstreams: 1 2015_LauroCesarAraujo.pdf: 14597557 bytes, checksum: d2a60d9b4cea4d03cede2f2768669396 (MD5)<br>Approved for entry into archive by Patrícia Nunes da Silva(patricia@bce.unb.br) on 2016-01-25T16:01:48Z (GMT) No. of bitstreams: 1 2015_LauroCesarAraujo.pdf: 14597557 bytes, checksum: d2a60d9b4cea4d03cede2f2768669396 (MD5)<br>Made available in DSpace on 2016-01
Styles APA, Harvard, Vancouver, ISO, etc.
30

Trapp, Rog?rio Vaz. "Antropologia e sem?ntica formal : fenomenologia e linguagem." Pontif?cia Universidade Cat?lica do Rio Grande do Sul, 2011. http://tede2.pucrs.br/tede2/handle/tede/2873.

Texte intégral
Résumé :
Made available in DSpace on 2015-04-14T13:55:09Z (GMT). No. of bitstreams: 1 433557.pdf: 651443 bytes, checksum: 6395d825ca0c362474b1c94890bb8218 (MD5) Previous issue date: 2011-08-30<br>O objetivo do texto consiste em demonstrar que a Sem?ntica formal, enquanto campo de articula??o entre L?gica e Ontologia, exige sua fundamenta??o em uma Antropologia. Para isto ser? necess?rio demonstrar que a distin??o entre fundamento relativo e absoluto conduz a Sem?ntica formal ao modo de fundamenta??o da fenomenologia de Heidegger. Isto significa que, ao inv?s de apenas fornecer controle anal?tico ao m
Styles APA, Harvard, Vancouver, ISO, etc.
31

Nieri, Ederaldo Luiz [UNESP]. "Duas formas da recepção das idéias de Lukács no Brasil: estética e ontologia." Universidade Estadual Paulista (UNESP), 2007. http://hdl.handle.net/11449/88524.

Texte intégral
Résumé :
Made available in DSpace on 2014-06-11T19:23:30Z (GMT). No. of bitstreams: 0 Previous issue date: 2007-02-27Bitstream added on 2014-06-13T20:30:17Z : No. of bitstreams: 1 nieri_el_me_mar.pdf: 1428112 bytes, checksum: 4e8b7707f988c8605587696e2ef17002 (MD5)<br>Este trabalho se propôs a abordar dois momentos da receptividade das idéias de Lukács no Brasil: a das idéias filosófico-estéticas; a das idéias filosófico-ontológicas. Demonstrou-se que o significativo consiste no caráter ídeo-político que se conferiu a ambos momentos – configurando uma unidade de continuidade-descontinuidade. No decurs
Styles APA, Harvard, Vancouver, ISO, etc.
32

Nieri, Ederaldo Luiz. "Duas formas da recepção das idéias de Lukács no Brasil : estética e ontologia /." Marília : [s.n.], 2007. http://hdl.handle.net/11449/88524.

Texte intégral
Résumé :
Orientador: Marcos Tadeu Del Roio<br>Banca: Antonio Carlos Mazzeo<br>Banca: Paulo Douglas Barsotti<br>Resumo: Este trabalho se propôs a abordar dois momentos da receptividade das idéias de Lukács no Brasil: a das idéias filosófico-estéticas; a das idéias filosófico-ontológicas. Demonstrou-se que o significativo consiste no caráter ídeo-político que se conferiu a ambos momentos - configurando uma unidade de continuidade-descontinuidade. No decurso dos anos 1960, jovens comunistas inspiraram-se nas idéias estéticas do filósofo para a elaboração de um projeto de política cultural como um momento
Styles APA, Harvard, Vancouver, ISO, etc.
33

Distel, Felix. "Learning Description Logic Knowledge Bases from Data Using Methods from Formal Concept Analysis." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-70199.

Texte intégral
Résumé :
Description Logics (DLs) are a class of knowledge representation formalisms that can represent terminological and assertional knowledge using a well-defined semantics. Often, knowledge engineers are experts in their own fields, but not in logics, and require assistance in the process of ontology design. This thesis presents three methods that can extract terminological knowledge from existing data and thereby assist in the design process. They are based on similar formalisms from Formal Concept Analysis (FCA), in particular the Next-Closure Algorithm and Attribute-Exploration. The first of the
Styles APA, Harvard, Vancouver, ISO, etc.
34

Tang, My Thao. "Un système interactif et itératif extraction de connaissances exploitant l'analyse formelle de concepts." Electronic Thesis or Diss., Université de Lorraine, 2016. http://www.theses.fr/2016LORR0060.

Texte intégral
Résumé :
Dans cette thèse, nous présentons notre méthodologie de la connaissance interactive et itérative pour une extraction des textes - le système KESAM: Un outil pour l'extraction des connaissances et le Management de l’Annotation Sémantique. Le KESAM est basé sur l'analyse formelle du concept pour l'extraction des connaissances à partir de ressources textuelles qui prend en charge l'interaction aux experts. Dans le système KESAM, l’extraction des connaissances et l'annotation sémantique sont unifiées en un seul processus pour bénéficier à la fois l'extraction des connaissances et l'annotation séma
Styles APA, Harvard, Vancouver, ISO, etc.
35

Jurkevičius, Darius. "Formalių konceptų naudojimo informacinėms sistemoms kurti tyrimas." Doctoral thesis, Lithuanian Academic Libraries Network (LABT), 2012. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2012~D_20120126_145845-07986.

Texte intégral
Résumé :
Šiuolaikinių informacinių sistemų kūrimas darosi vis sudėtingesnis ir daugiau išteklių reikalaujantis procesas, nes kuriamoms informacinėms sistemoms keliami vis didesni reikalavimai. Šiame darbe pristatomas ontologijos kūrimo būdas formalių konceptų pagrindu. Ontologijos leidžia saugoti žinias apie dalykinę sritį. Kaip žinoma, ontologijų kūrimas yra sudėtingas procesas, reikalaujantis daug pastangų bei ekspertinių žinių. Dauguma šiuolaikinių informacinių sistemų yra pradedamos kurti iš naujo, nepasinaudojus turimomis žiniomis. Veltui gaištamas laikas, susiduriama su tomis pačiomis problemomis
Styles APA, Harvard, Vancouver, ISO, etc.
36

Pari, Andrea. "Modellazione e realizzazione di un'ontologia formale per la rappresentazione di informazioni relative ai beni culturali nel Web Semantico." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/14237/.

Texte intégral
Résumé :
La trattazione corrente si pone come obiettivo principale quello di fornire una descrizione esauriente del lavoro svolto relativo alla costruzione di un’ontologia per la rappresentazione di informazioni sui beni culturali nel Web Semantico, la nuova estensione del Web che sta prendendo piede negli ultimi anni come modello standard per attribuire un significato alle informazioni contenute nei documenti della rete. Il lavoro descritto deriva essenzialmente dalla necessità di definire un modello ontologico per la rappresentazione informatizzata dei dati relativi ai beni del patrimonio cultural
Styles APA, Harvard, Vancouver, ISO, etc.
37

Kherroubi, Souad. "Un cadre formel pour l'intégration de connaissances du domaine dans la conception des systèmes : application au formalisme Event-B." Thesis, Université de Lorraine, 2018. http://www.theses.fr/2018LORR0230/document.

Texte intégral
Résumé :
Cette thèse vise à définir des techniques pour mieux exploiter les connaissances du domaine dans l’objectif de rendre compte de la réalité de systèmes qualifiés de complexes et critiques. La modélisation est une étape indispensable pour effectuer des vérifications et exprimer des propriétés qu’un système doit satisfaire. La modélisation est une représentation simplificatrice, mais réductionniste de la réalité d’un système. Or, un système complexe ne peut se réduire à un modèle. Un modèle doit s’intégrer dans sa théorie observationnelle pour rendre compte des anomalies qu’il peut y contenir. No
Styles APA, Harvard, Vancouver, ISO, etc.
38

Marques, José Oscar de Almeida 1949. "Forma e representação no Tractactus de Wittgenstein." [s.n.], 1998. http://repositorio.unicamp.br/jspui/handle/REPOSIP/280745.

Texte intégral
Résumé :
Orientador: Michael Wrigley<br>Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas<br>Made available in DSpace on 2018-07-24T17:20:29Z (GMT). No. of bitstreams: 1 Marques_JoseOscardeAlmeida_D.pdf: 49000020 bytes, checksum: 94c245bb4c4d7275649db0a6023bf5ca (MD5) Previous issue date: 1998<br>Resumo: Não informado<br>Abstract: Not informed.<br>Doutorado<br>Doutor em Filosofia
Styles APA, Harvard, Vancouver, ISO, etc.
39

Sertkaya, Baris. "Formal Concept Analysis Methods for Description Logics." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2008. http://nbn-resolving.de/urn:nbn:de:bsz:14-ds-1215598189927-85390.

Texte intégral
Résumé :
This work presents mainly two contributions to Description Logics (DLs) research by means of Formal Concept Analysis (FCA) methods: supporting bottom-up construction of DL knowledge bases, and completing DL knowledge bases. Its contribution to FCA research is on the computational complexity of computing generators of closed sets.
Styles APA, Harvard, Vancouver, ISO, etc.
40

Sadoun, Driss. "Des spécifications en langage naturel aux spécifications formelles via une ontologie comme modèle pivot." Phd thesis, Université Paris Sud - Paris XI, 2014. http://tel.archives-ouvertes.fr/tel-01060540.

Texte intégral
Résumé :
Le développement d'un système a pour objectif de répondre à des exigences. Aussi, le succès de sa réalisation repose en grande partie sur la phase de spécification des exigences qui a pour vocation de décrire de manière précise et non ambiguë toutes les caractéristiques du système à développer.Les spécifications d'exigences sont le résultat d'une analyse des besoins faisant intervenir différentes parties. Elles sont généralement rédigées en langage naturel (LN) pour une plus large compréhension, ce qui peut mener à diverses interprétations, car les textes en LN peuvent contenir des ambiguïtés
Styles APA, Harvard, Vancouver, ISO, etc.
41

Sertkaya, Baris. "Formal Concept Analysis Methods for Description Logics." Doctoral thesis, Technische Universität Dresden, 2007. https://tud.qucosa.de/id/qucosa%3A23613.

Texte intégral
Résumé :
This work presents mainly two contributions to Description Logics (DLs) research by means of Formal Concept Analysis (FCA) methods: supporting bottom-up construction of DL knowledge bases, and completing DL knowledge bases. Its contribution to FCA research is on the computational complexity of computing generators of closed sets.
Styles APA, Harvard, Vancouver, ISO, etc.
42

El, Ghosh Mirna. "Automatisation du raisonnement et décision juridiques basés sur les ontologies." Thesis, Normandie, 2018. http://www.theses.fr/2018NORMIR16/document.

Texte intégral
Résumé :
Le but essentiel de la thèse est de développer une ontologie juridique bien fondée pour l'utiliser dans le raisonnement à base des règles. Pour cela, une approche middle-out, collaborative et modulaire est proposée ou des ontologies fondationnelles et core ont été réutilisées pour simplifier le développement de l'ontologie. L’ontologie résultante est adoptée dans une approche homogène a base des ontologies pour formaliser la liste des règles juridiques du code pénal en utilisant le langage logique SWRL<br>This thesis analyses the problem of building well-founded domain ontologies for reasoning
Styles APA, Harvard, Vancouver, ISO, etc.
43

Bénard, Jeremy. "Import, export et traduction sémantiques génériques basés sur une ontologie de langages de représentation de connaissances." Thesis, La Réunion, 2017. http://www.theses.fr/2017LARE0021/document.

Texte intégral
Résumé :
Les langages de représentation de connaissances (LRCs) sont des langages qui permettent de représenter et partager des informations sous une forme logique. Il y a de nombreux LRCs. Chaque LRC a un modèle structurel abstrait et peut avoir plusieurs notations. Ces modèles et notations ont été conçus pour répondre à des besoins de modélisation ou de calculabilité différents, ainsi qu'à des préférences différentes. Les outils actuels gérant ou traduisant des RCs ne travaillent qu'avec quelques LRCs et ne permettent pas – ou très peu – à leurs utilisateurs finaux d'adapter les modèles et notations
Styles APA, Harvard, Vancouver, ISO, etc.
44

Šarić, Jasmin. "Extracting information for biology." [S.l. : s.n.], 2006. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-27959.

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

COSTA, Adriana Leite. "MADAE-PRO: UM PROCESSO BASEADO NO CONHECIMENTO PARA ENGENHARIA DE DOMÍNIO E DE APLICAÇÕES MULTIAGENTE." Universidade Federal do Maranhão, 2009. http://tedebc.ufma.br:8080/jspui/handle/tede/1844.

Texte intégral
Résumé :
Submitted by Maria Aparecida (cidazen@gmail.com) on 2017-08-21T13:05:14Z No. of bitstreams: 1 Adriana Leite.pdf: 5184172 bytes, checksum: 6e560c465acfbbc76b4bfc1dd01bd86b (MD5)<br>Made available in DSpace on 2017-08-21T13:05:14Z (GMT). No. of bitstreams: 1 Adriana Leite.pdf: 5184172 bytes, checksum: 6e560c465acfbbc76b4bfc1dd01bd86b (MD5) Previous issue date: 2009-02-17<br>The interest in the agent-oriented paradigm development has increased in recent years. This is due mainly to the increasing complexity of current software that requires new characteristics as autonomy behavior. In the a
Styles APA, Harvard, Vancouver, ISO, etc.
46

Tang, My Thao. "Un système interactif et itératif extraction de connaissances exploitant l'analyse formelle de concepts." Thesis, Université de Lorraine, 2016. http://www.theses.fr/2016LORR0060/document.

Texte intégral
Résumé :
Dans cette thèse, nous présentons notre méthodologie de la connaissance interactive et itérative pour une extraction des textes - le système KESAM: Un outil pour l'extraction des connaissances et le Management de l’Annotation Sémantique. Le KESAM est basé sur l'analyse formelle du concept pour l'extraction des connaissances à partir de ressources textuelles qui prend en charge l'interaction aux experts. Dans le système KESAM, l’extraction des connaissances et l'annotation sémantique sont unifiées en un seul processus pour bénéficier à la fois l'extraction des connaissances et l'annotation séma
Styles APA, Harvard, Vancouver, ISO, etc.
47

Pontes, Andrà Nascimento. "A forma lÃgica de sentenÃas de existÃncia: uma avaliaÃÃo da abordagem quantificacional." Universidade Federal do CearÃ, 2010. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=19928.

Texte intégral
Résumé :
CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior<br>O objetivo desse trabalho à apresentar uma avaliaÃÃo da abordagem quantificacional do problema da existÃncia nas versÃes defendidas por Frege, Russell e Quine. Tal abordagem à apresentada tendo como pano de fundo sua reaÃÃo ao modelo clÃssico de anÃlise de sentenÃas utilizado pelas ontologias inflacionadas derivadas do argumento do nÃo-ser de PlatÃo e da Teoria dos Objetos de Meinong. A ideia bÃsica à mostrar que a ontologia inflacionada sustentada por PlatÃo e Meinong que, em grande parte, à derivada de um modelo deficiente de anÃ
Styles APA, Harvard, Vancouver, ISO, etc.
48

Pontes, André Nascimento. "A forma lógica de sentenças de existência: uma avaliação da abordagem quantificacional." reponame:Repositório Institucional da UFC, 2010. http://www.repositorio.ufc.br/handle/riufc/26051.

Texte intégral
Résumé :
PONTES, André Nascimento. A forma lógica de sentenças de existência: uma avaliação da abordagem quantificacional. 2010. 101f. – Dissertação (Mestrado) – Universidade Federal do Ceará, Programa de Pós-graduação em Filosofia, Fortaleza (CE), 2010.<br>Submitted by Gustavo Daher (gdaherufc@hotmail.com) on 2017-09-20T15:19:09Z No. of bitstreams: 1 2010_dis_anpontes.pdf: 596782 bytes, checksum: cdf303737f283864797e797d93cae2fb (MD5)<br>Approved for entry into archive by Márcia Araújo (marcia_m_bezerra@yahoo.com.br) on 2017-09-23T14:25:20Z (GMT) No. of bitstreams: 1 2010_dis_anpontes.pdf: 596782 byte
Styles APA, Harvard, Vancouver, ISO, etc.
49

Moraes, Sílvia Maria Wanderley. "Construção de estruturas ontológicas a partir de textos: um estudo baseado no método formal concept analysis e em papéis semânticos." Pontifícia Universidade Católica do Rio Grande do Sul, 2012. http://hdl.handle.net/10923/1609.

Texte intégral
Résumé :
Made available in DSpace on 2013-08-07T18:43:12Z (GMT). No. of bitstreams: 1 000439881-Texto+Completo-0.pdf: 4189361 bytes, checksum: cc72da8cbd69a8a5387851bb140f1b30 (MD5) Previous issue date: 2012<br>This work aims to study conceptual structures based on the Formal Concept Analysis method. We build these structures based on lexico-semantic information extracted from texts, among which we highlight the semantic roles. In our research, we propose ways to include semantic roles in concepts produced by this formal method. We analyze the contribution of semantic roles and verb classes in the co
Styles APA, Harvard, Vancouver, ISO, etc.
50

Pressat-Laffouilhère, Thibaut. "Modèle ontologique formel, un appui à la sélection des variables pour la construction des modèles multivariés." Electronic Thesis or Diss., Normandie, 2023. http://www.theses.fr/2023NORMR104.

Texte intégral
Résumé :
Répondre à une question de recherche causale dans un contexte d’étude observationnelle nécessite desélectionner des variables de confusion. Leur intégration dans un modèle multivarié en tant que co-variablespermet de diminuer le biais dans l’estimation de l'effet causal de l'exposition sur le critère de jugement. Leuridentification est réalisée grâce à des diagrammes causaux (DCs) ou des graphes orientés acycliques. Cesreprésentations, composées de noeuds et d'arcs orientés, permettent d’éviter la sélection de variables quiaugmenteraient le biais, comme les variables de médiation et de collisi
Styles APA, Harvard, Vancouver, ISO, etc.
Vous pouvez également être intéressé par les bibliographies sur le sujet « Formal ontologies » pour d’autres types de sources :
Articles de revues Livres
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!

Vers la bibliographie