Relevant bibliographies by topics / Formal ontologies / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Formal ontologies.

Dissertations / Theses on the topic 'Formal ontologies'

Author: Grafiati
Published: 10 March 2023
Last updated: 19 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research 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.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

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

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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)}
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
17

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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/.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
Š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
APA, Harvard, Vancouver, ISO, and other styles
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/.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
41

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
44

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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Ã
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Formal ontologies' for other source types:
Journal articles Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography