To see the other types of publications on this topic, follow the link: Ontology representation.
Dissertations / Theses on the topic 'Ontology representation'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Ontology representation.'
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
Sundström, Andreas. "Representing Performance | Performing Representation : Ontology in accounting practice." Doctoral thesis, Stockholms universitet, Företagsekonomiska institutionen, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-119958.
Full textAbstract:
Social studies of accounting have drawn attention to the dubious role of accounting as a representational link between organizational realities and action. Based on five years immersion with performance management and board work in a theatre company, this thesis inquires into the ontological significance of accounting practices. The study takes a praxiographic approach, which emphasizes action and relocates questions of representation towards the practices in which representations are mobilized. The research questions refer specifically to ontological work related to commensurability and distance in accounting practices. Four papers attend to the manners in which the organizational performance of the theatre company is represented in different situations of managing, governing and reporting. The papers demonstrate and analyse different examples of ontological work involved in achieving (or retracting) representational links. In conclusion, the thesis places the organizing of ontological tensions – especially the tension between singular accounting representations and multiple organizational realities – at the core of accounting representation practices. The thesis thus contributes to practical, theoretical and philosophical discussions on the links between accounting practices, accounts and reality.At the time of the doctoral defense, the following papers were unpublished and had a status as follows: Paper 2: Manuscript. Paper 3: Manuscript. Paper 4: Manuscript.
2
Meisel, Helmut. "Ontology representation and reasoning : a conceptual level approach." Thesis, University of Aberdeen, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.420216.
Full textAbstract:
Ontologies play a key role in many areas of Computing Science, such as Information Retrieval, Knowledge Management, and Knowledge Engineering. However, Ontology development and maintenance is a challenging task that is currently not very well supported by software tools. Most existing ontology editors cannot provide the kind of automated reasoning support that is required for the verification and for the validation of ontologies. More concretely, such an automated support should (i) check the ontology consistency and (ii) suggest possible enhancements to the ontology taxonomy. Description Logic engines compute the kind of inferences that are useful for an automated ontology verification and validation but are not suitable for all ontology representation languages. More concretely, the semantics of Description Logics is based on the Open World Assumption, whereas the semantics of some ontology representation languages is based on the Closed World Assumption. Furthermore, the knowledge model of Description Logics is derived from Frame-based knowledge representation. Therefore Description Logics lack some modelling primitives necessary to express knowledge that can be represented with conceptual modelling languages. On the other hand, conceptual modelling languages (i) do not have the same expressive power as Frame-based ontology languages and (ii) no reasoners are available for automated reasoning with these languages. Hence, this thesis introduces the Conceptual Knowledge Modelling Language (CKML) and proposes an approach for the verification and validation of CKML ontologies. Rather than developing a special-purpose reasoning algorithm for CKML, we investigate how Description Logic engines can be used for this task. This approach can also be applied to a language that describes database schemas specified with the Enhanced Entity-Relationship model.
3
Le, Pendu Paea Jean-Francois 1974. "Ontology databases." Thesis, University of Oregon, 2010. http://hdl.handle.net/1794/10575.
Full textAbstract:
xi, 89 p. : ill. A print copy of this thesis is available through the UO Libraries. Search the library catalog for the location and call number.On the one hand, ontologies provide a means of formally specifying complex descriptions and relationships about information in a way that is expressive yet amenable to automated processing and reasoning. When data are annotated using terms from an ontology, the instances inhere in formal semantics. Compared to an ontology, which may have as few as a dozen or as many as tens of thousands of terms, the annotated instances for the ontology are often several orders of magnitude larger, from millions to possibly trillions of instances. Unfortunately, existing reasoning techniques cannot scale to these sizes. On the other hand, relational database management systems provide mechanisms for storing, retrieving, and maintaining the integrity of large amounts of data. Relational database management systems are well known for scaling to extremely large sizes of data, some claiming to manage over a quadrillion data. This dissertation defines ontology databases as a mapping from ontologies to relational databases in order to combine the expressiveness of ontologies with the scalability of relational databases. This mapping is sound and, under certain conditions, complete. That is, the database behaves like a knowledge base which is faithful to the semantics of a given ontology. What distinguishes this work is the treatment of the relational database management system as an active reasoning component rather than as a passive storage and retrieval system. The main contributions this dissertation will highlight include: (i) the theory and implementation particulars for mapping ontologies to databases, (ii) subsumption based reasoning, (iii) inconsistency detection, (iv) scalability studies, and (v) information integration (specifically, information exchange). This work is novel because it is the first attempt to embed a logical reasoning system, specified by a Semantic Web ontology, into a plain relational database management system using active database technologies. This work also introduces the not-gadget , which relaxes the closed-world assumption and increases the expressive power of the logical system without significant cost. This work also demonstrates how to deploy the same framework as an information integration system for data exchange scenarios, which is an important step toward semantic information integration over distributed data repositories.
Committee in charge: Dejing Dou, Chairperson, Computer & Information Science; Zena Ariola, Member, Computer & Information Science; Christopher Wilson, Member, Computer & Information Science; Monte Westerfield, Outside Member, Biology
4
Armas, Romero Ana. "Ontology module extraction and applications to ontology classification." Thesis, University of Oxford, 2015. http://ora.ox.ac.uk/objects/uuid:4ec888f4-b7c0-4080-9d9a-3c46c91f67e3.
Full textAbstract:
Module extraction is the task of computing a (preferably small) fragment M of an ontology O that preserves a class of entailments over a signature of interest ∑. Existing practical approaches ensure that M preserves all second-order entailments of O over ∑, which is a stronger condition than is required in many applications. In the first part of this thesis, we propose a novel approach to module extraction which, based on a reduction to a datalog reasoning problem, makes it possible to compute modules that are tailored to preserve only specific kinds of entailments. This leads to obtaining modules that are often significantly smaller than those produced by other practical approaches, as shown in an empirical evaluation. In the second part of this thesis, we consider the application of module extraction to the optimisation of ontology classification. Classification is a fundamental reasoning task in ontology design, and there is currently a wide range of reasoners that provide this service. Reasoners aimed at so-called lightweight ontology languages are much more efficient than those aimed at more expressive ones, but they do not offer completeness guarantees for ontologies containing axioms outside the relevant language. We propose an original approach to classification based on exploiting module extraction techniques to divide the workload between a general purpose reasoner and a more efficient reasoner for a lightweight language in such a way that the bulk of the workload is assigned to the latter. We show how the proposed approach can be realised using two particular module extraction techniques, including the one presented in the first part of the thesis. Furthermore, we present the results of an empirical evaluation that shows that this approach can lead to a significant performance improvement in many cases.
5
Marin, Neto Antonio [UNESP]. "Ontologias na representação do conhecimento: uma ferramenta semântica para a ciência da informação." Universidade Estadual Paulista (UNESP), 2018. http://hdl.handle.net/11449/155929.
Full textAbstract:
Submitted by Antonio Marin Neto (netomarin@gmail.com) on 2018-09-06T00:01:18Z
No. of bitstreams: 1
Ontologias na representacao do conhecimeno.pdf: 1512033 bytes, checksum: 5cb40c53baa28e682303bb84ed68e480 (MD5)Approved for entry into archive by Satie Tagara (satie@marilia.unesp.br) on 2018-09-06T16:36:29Z (GMT) No. of bitstreams: 1 marinneto_a_me_mar.pdf: 1512033 bytes, checksum: 5cb40c53baa28e682303bb84ed68e480 (MD5)
Made available in DSpace on 2018-09-06T16:36:29Z (GMT). No. of bitstreams: 1 marinneto_a_me_mar.pdf: 1512033 bytes, checksum: 5cb40c53baa28e682303bb84ed68e480 (MD5) Previous issue date: 2018-08-06
Não recebi financiamento
As ontologias surgiram a partir de discussões na Filosofia com o objetivo de discutir a essência das coisas, nos estudos da metafísica por Aristóteles, que dentre os diferentes ramos de investigação filosófica, tratava do conhecimento da essência de toda a realidade. A ontologia trata do estudo do “Ser” enquanto ser. O termo foi posteriormente utilizado em diferentes áreas como a Ciência da Computação (CC), Psicologia, Ciência da Informação (CI), entre outros. Nesse texto é apresentado um levantamento da utilização das ontologias na representação do conhecimento, identificando e destacando a forma de utilização da ontologia como ferramenta na CC e CI. Para tal, o trabalho inicial com uma contextualização do termo ontologia, desde a sua origem na Filosofia até a sua utilização em algumas das áreas do conhecimento. Em seguida é apresentado um levantamento sobre a representação do conhecimento, a destacar a CC e CI, bem como sobre a utilização da ontologia nesse contexto informacional. Afim de evidenciar a importância das ontologias para representação do conhecimento, também são listadas as principais metodologias de criação de ontologia, aprendizado de ontologia, bem como as ferramentas utilizadas para essas tarefas, além do gerenciamento e engenharia de ontologias. E por fim são apresentadas as considerações finais acerca da utilização das ontologias como ferramentas semânticas na CI e como as futuruas pesquisas podem se beneficiar desse trabalho como uma base para o entendimento das ontologias como ferramenta semântica na CI.
Ontologies come from discussions in Philosophy to debate the essence of things in Aristotle's studies of metaphysics, which among the different branches of philosophical inquiry dealt with the knowledge of the essence of all reality. Ontology deals with the study of "Being" as being. The term was later used in different areas such as Computer Science (CC), Psychology, Information Science (IS), andothers. This thesis presents a survey of the use of ontologies in knowledge representation, identifying and highlighting how ontology is used as a semantic tool in CC and IS. For this, is presented a contextualization of the term ontology, from its origin in Philosophy to its use in some of the areas of knowledge. Next, a survey is presented on the representation of knowledge, highlighting the CC and IS, as well as on the use of the ontology in this informational context. In order to demonstrate the importance of ontologies for knowledge representation, the main methodologies for ontology creation, ontology learning, as well as the tools used for these tasks, as well as the management and engineering of ontologies are also listed. Finally, it's present the final considerations about the use of ontologies as semantic tools in IS and how future researches can benefit from this work as a basis for the understanding of ontologies as a semantic tool in IS.
6
Paula, Felipe Cordeiro de. "MAS Ontology: uma ontologia de métodos orientados a agentes." Universidade do Estado do Rio de Janeiro, 2014. http://www.bdtd.uerj.br/tde_busca/arquivo.php?codArquivo=8211.
Full textAbstract:
Fundação Carlos Chagas Filho de Amparo a Pesquisa do Estado do Rio de JaneiroA modelagem orientada a agentes surge como paradigma no desenvolvimento de software, haja vista a quantidade de iniciativas e estudos que remetem à utilização de agentes de software como solução para tratar de problemas mais complexos. Apesar da popularidade de utilização de agentes, especialistas esbarram na falta de universalidade de uma metodologia para construção dos Sistemas Multiagentes (MAS), pois estas acabam pecando pelo excesso ou falta de soluções para modelar o problema. Esta dissertação propõe o uso de uma Ontologia sobre Metodologias Multiagentes, seguindo os princípios da Engenharia de Métodos Situacionais que se propõe a usar fragmentos de métodos para construção de metodologias baseados na especificidade do projeto em desenvolvimento. O objetivo do estudo é sedimentar o conhecimento na área de Metodologias Multiagentes, auxiliando o engenheiro de software a escolher a melhor metodologia ou o melhor fragmento de metodologia capaz de modelar um Sistema Multiagentes.
The agent-oriented modeling emerges as a paradigm in software development, considering the amount of initiatives and studies that refer to the use of software agents as a solution to address more complex problems. Despite the popularity of using agents, experts bump in the lack of universality of a methodology for the construction of Multiagent Systems (MAS), as they end up sinning by excess or lack of solutions to model the problem. This thesis proposes the use of an Ontology based in Methodologies for Multi-Agent Systems, following the principles of Situational Method Engineering, which proposes to use fragments of methods for constructing methodologies based on the specificity of the development project. The aim of this work is to consolidate the knowledge in the area of Multiagent Methodologies by helping the software engineering to choose the best methodology or the best fragment method able to model a specific Multiagent System.
7
Chester, Ruth Marie. "Ethics, ontology and representation : the virtu-dynamic of Dante's Commedia." Thesis, University of Leeds, 2012. http://etheses.whiterose.ac.uk/11315/.
Full textAbstract:
This thesis explores the conception and representation of virtu in Dante's Commedia. In order to break the existing limited boundaries of the way virtue is read in the Commedia, and to establish a richer sense of the ideas a fourteenth-century poet might have had in relation to the topic, this thesis begins with two chapters which consider notions of virtue in the intellectual and cultural traditions prior to Dante. Chapter One focuses on the philosophical and theological traditions and considers works by Aristotle, Plato, Augustine, Gregory the Great and Thomas Aquinas. Chapter Two turns to look at virtue as a prominent theme in a wide variety of popular cultural forms of the medieval period. These include sermons, devotional literature, visual art and poetry. In the light of these two chapters, the thesis proposes a reading of virtu in the Commedia which acknowledges it as a notion which is at a nexus of being and doing, of metaphysical and physical, of idea and representation. What I have termed the virtu-dynamic in the Commedia, is that through which Dante fundamentally connects ethics and ontology, so that human behaviour becomes an expression of an individual's ontological state. The virtu-dynamic is the interaction which the Commedia traces between the creative action of God and the responsive action of man. The final three chapters of the thesis consider this in relation to different aspects of the poem. Chapter Three considers the role Dante gives to virtu in the process of creation and incarnation in his poem. Chapter Four looks at how Dante stages the interactions between God and man which are underpinned by virtu. The final chapter considers how Dante conceives the role of virtu in relation to the experiences and salvation of his own pilgrim-poet self. This analysis is based on a close focus, not only on the abstract ideas of virtu which the Commedia proposes, but on how those ideas are manifested and vivified by the text.
8
Gaspar, Tiago Manuel dos Santos. "Methodology for collaborative enterprise reference ontology building." Master's thesis, Faculdade de Ciências e Tecnologia, 2011. http://hdl.handle.net/10362/5708.
Full textAbstract:
Dissertation presented at Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa to obtain the Master degree in Electrical Engineering and Computer ScienceIn the actual competitive world, doing business globally has become critical to the survival of most enterprises. It is becoming each day more and more difficult for small enterprises to grow by operating alone in the market. Hence, most companies started feeling the need for joining collaborative environments becoming easier to manage their products and services, and where they can offer better products with low production costs. To achieve this, enterprises require the establishment of cooperation agreements among each other with the idea of expanding their business networks. Consequently there is a demand for intelligent solutions capable of reinforcing partnerships and collaborations between enterprises, organised groups or singular people. However, due to the worldwide diversity of communities, a high number of knowledge representation elements, such as ontologies, which are not semantically coincident, have appeared representing the same segment of reality. Even operating in the same domain, enterprises do not understand each other, making the communication among various systems parties more difficult and sometimes impracticable. This dissertation responds to the needs identified above, proposing a collaborative methodology for ontology building, enriched with qualitative information collection methods, to effectively improve the approach to elicit knowledge from business domain experts, towards interoperable intelligent systems. This methodology allows different individuals from enterprises or organisations working on the same field or area, to join a collaborative environment for building a common ontology specific to their ―Domain of Discourse‖. To accomplish this, several steps are taken including terms and definitions gathering, glossary and thesaurus building, and ontology mappings
9
Gomes, Ricardo Nuno Silva Cruz. "An ontology-based representation of an agent-based controlled robotic cell." Master's thesis, Faculdade de Ciências e Tecnologia, 2010. http://hdl.handle.net/10362/5400.
Full textAbstract:
Dissertação apresentada na Faculdade de Ciência e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Electrotécnica e de ComputadoresCustomers demand for high product customization and differentiation, and short product life-cycle. As such, industries have to adapt their manufacturing systems more frequently in order to remain competitive. Changing manufacturing systems within a short period of time requires a huge effort in terms of time and money, reducing this effort would make industries more competitive. The proposed solution consists in developing an ontology-based multi-agent system to control manufacturing systems. Defining the ontology for the manufacturing system allows the control to perform its operation, and when changes arise, it is required to change the ontology so that the control became aware of the changes to control the manufacturing system. An ontology-based control allows for a smaller setup time since the control is not specific for one physical system and can be applied to different ones, therefore it reduces the effort in adapting manufacturing systems to required changes allowing industries to became more competitive. Flexibility is given by the multi-agent system that controls the physical system with the ontology. Stating this, the solution of an ontology-based control for manufacturing systems provides the required results.
10
Goasdoué, François. "Knowledge Representation meets DataBases for the sake of ontology-based data management." Habilitation à diriger des recherches, Université Paris Sud - Paris XI, 2012. http://tel.archives-ouvertes.fr/tel-00759274.
Full textAbstract:
This Habilitation thesis outlines my research activities carried out as an Associate Professor at Univ. Paris-Sud and Inria Saclay Île-de-France. During this period, from 2003 to early 2012, my work was - and still is - at the interface between Knowledge Representation and Databases. I have mainly focused on ontology-based data management using the Semantic Web data models promoted by W3C: the Resource Description Framework (RDF) and the Web Ontology Language (OWL). In particular, my work has covered (i) the design, (ii) the optimization, and (iii) the decentralization of ontology-based data management techniques in these data models. This thesis briefly reports on the results obtained along these lines of research.
11
Rahm, Jonas. "Biologically plausible visual representation of modular decomposition." Thesis, University of Skövde, School of Humanities and Informatics, 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-953.
Full textAbstract:
Modular decompositions of protein interaction networks can be used to identify modules of cooperating proteins. The biological plausibility off these modules might be questioned though. This report describes how a modular decomposition can be completed with semantic information in the visual representation. Possible methods for creating modules of functionally related proteins are also proposed in this work. The results show that such modules, with advantage can be combined with modules from a graph decomposition, to find proteins that are likely to cooperate to perform certain functions in organisms
12
Zheng, Liyu. "Knowledge Representation and Decision Support for Managing Product Obsolescence." Diss., Virginia Tech, 2011. http://hdl.handle.net/10919/30178.
Full textAbstract:
Fast moving technologies have caused high-tech components to have shortened life cycles, rendering them obsolete quickly. Technology obsolescence creates significant problems for product sectors that use components that are only available for a short period of time for manufacture and maintenance of long field-life systems. Technology obsolescence can make design changes of systems prohibitively expensive, and results in high life cycle costs of systems. While the impact and pervasiveness of obsolescence problems are growing, existing tools and solutions are lacking the needed information and knowledge to do much more than focus on reactively managing obsolescence. Current methods and tools are limited by data conflicts and data inexplicitness, incompleteness, and inconsistency.
In response to the drawbacks of current tools, comprehensive knowledge representation that allows information sharing, reuse, and collaboration on obsolescence issues across different organizations is required. Further, decision making tools that can support proactive and strategic obsolescence management are needed. The purpose of this research is to establish an ontology-based knowledge representation scheme for information sharing, reuse, and collaboration on obsolescence issues, and develop decision making models to support proactive and strategic management for overall cost savings in managing obsolescence.
Three primary aspects of this research are investigated. First, ontologies for obsolescence knowledge representation are developed in a systematic way with the use of UML diagrams. The generality of the developed ontology is demonstrated with distinct examples. Diminishing Manufacturing Sources and Material Shortages (DMSMS) obsolescence provides the basis for this study. Second, an ontology-based hybrid approach for integrating heterogeneous data resources in existing obsolescence management tools is proposed. Third, decision support models are developed and formalized, and include the obsolescence forecasting method for proactively managing obsolescence, and the mathematical models to determine the optimal design refresh plan to minimize the product life cycle cost for strategic obsolescence management. Finally, the design of the obsolescence management information system is provided along with a system evaluation methodology.
Ultimately, the research contributes to the field of knowledge representation as well as design for managing product obsolescence.Ph. D.
13
Dragisic, Zlatan. "Completion of Ontologies and Ontology Networks." Doctoral thesis, Linköpings universitet, Databas och informationsteknik, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-139487.
Full textAbstract:
The World Wide Web contains large amounts of data, and in most cases this data has no explicit structure. The lack of structure makes it difficult for automated agents to understand and use such data. A step towards a more structured World Wide Web is the Semantic Web, which aims at introducing semantics to data on the World Wide Web. One of the key technologies in this endeavour are ontologies, which provide a means for modeling a domain of interest and are used for search and integration of data. In recent years many ontologies have been developed. To be able to use multiple ontologies it is necessary to align them, i.e., find inter-ontology relationships. However, developing and aligning ontologies is not an easy task and it is often the case that ontologies and their alignments are incorrect and incomplete. This can be a problem for semantically-enabled applications. Incorrect and incomplete ontologies and alignments directly influence the quality of the results of such applications, as wrong results can be returned and correct results can be missed. This thesis focuses on the problem of completing ontologies and ontology networks. The contributions of the thesis are threefold. First, we address the issue of completing the is-a structure and alignment in ontologies and ontology networks. We have formalized the problem of completing the is-a structure in ontologies as an abductive reasoning problem and developed algorithms as well as systems for dealing with the problem. With respect to the completion of alignments, we have studied system performance in the Ontology Alignment Evaluation Initiative, a yearly evaluation campaign for ontology alignment systems. We have also addressed the scalability of ontology matching, which is one of the current challenges, by developing an approach for reducing the search space when generating the alignment.Second, high quality completion requires user involvement. As users' time and effort are a limited resource we address the issue of limiting and facilitating user interaction in the completion process. We have conducted a broad study of state-of-the-art ontology alignment systems and identified different issues related to the process. We have also conducted experiments to assess the impact of user errors in the completion process. While the completion of ontologies and ontology networks can be done at any point in the life-cycle of ontologies and ontology networks, some of the issues can be addressed already in the development phase. The third contribution of the thesis addresses this by introducing ontology completion and ontology alignment into an existing ontology development methodology.
14
Kong, Choi-yu. "Effective partial ontology mapping in a pervasive computing environment." Click to view the E-thesis via HKUTO, 2004. http://sunzi.lib.hku.hk/hkuto/record/B32002737.
Full text
15
Kong, Choi-yu, and 江采如. "Effective partial ontology mapping in a pervasive computing environment." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2004. http://hub.hku.hk/bib/B32002737.
Full text
16
Warrender, Jennifer Denise. "The consistent representation of scientific knowledge : investigations into the ontology of karyotypes and mitochondria." Thesis, University of Newcastle upon Tyne, 2015. http://hdl.handle.net/10443/2910.
Full textAbstract:
Ontologies are widely used in life sciences to model scienti c knowledge. The engineering of these ontologies is well-studied and there are a variety of methodologies and techniques, some of which have been re-purposed from software engineering methodologies and techniques. However, due to the complex nature of bio-ontologies, they are not resistant to errors and mistakes. This is especially true for more expressive and/or larger ontologies. In order to improve on this issue, we explore a variety of software engineering techniques that were re-purposed in order to aid ontology engineering. This exploration is driven by the construction of two light-weight ontologies, The Mitochondrial Disease Ontology and The Karyotype Ontology. These ontologies have speci c and useful computational goals, as well as providing exemplars for our methodology. This thesis discusses the modelling decisions undertaken as well as the overall success of each ontological model. Due to the added knowledge capture steps required for the mitochondrial knowledge, The Karyotype Ontology is further developed than The Mitochondrial Disease Ontology. Speci cally, this thesis explores the use of a pattern-driven and programmatic approach to bio-medical ontology engineering. During the engineering of our biomedical ontologies, we found many of the components of each model were similar in logical and textual de nitions. This was especially true for The Karyotype Ontology. In software engineering a common technique to avoid replication is to abstract through the use of patterns. Therefore we utilised localised patterns to model these highly repetitive models. There are a variety of possible tools for the encoding of these patterns, but we found ontology development using Graphical User Interface (GUI) tools to be time-consuming due to the necessity of manual GUI interaction when the ontology needed updating. With the development of Tawny- OWL, a programmatic tool for ontology construction, we are able to overcome this issue, with the added bene t of using a single syntax to express both simple and - i - patternised parts of the ontology. Lastly, we brie y discuss how other methodologies and tools from software engineering, namely unit tests, di ng, version control and Continuous Integration (CI) were re-purposed and how they aided the engineering of our two domain ontologies. Together, this knowledge increases our understanding in ontology engineering techniques. By re-purposing software engineering methodologies, we have aided construction, quality and maintainability of two novel ontologies, and have demonstrated their applicability more generally.
17
Dragisic, Zlatan. "Completing the Is-a Structure in Description Logics Ontologies." Licentiate thesis, Linköpings universitet, Databas och informationsteknik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-110935.
Full textAbstract:
The World Wide Web contains large amounts of data and in most cases this data is without any explicit structure. The lack of structure makes it difficult for automated agents to understand and use such data. A step towards a more structured World Wide Web is the idea of the Semantic Web which aims at introducing semantics to data on the World Wide Web. One of the key technologies in this endeavour are ontologies which provide means for modeling a domain of interest. Developing and maintaining ontologies is not an easy task and it is often the case that defects are introduced into ontologies. This can be a problem for semantically-enabled applications such as ontology-based querying. Defects in ontologies directly influence the quality of the results of such applications as correct results can be missed and wrong results can be returned. This thesis considers one type of defects in ontologies, namely the problem of completing the is-a structure in ontologies represented in description logics. We focus on two variants of description logics, the EL family and ALC, which are often used in practice. The contributions of this thesis are as follows. First, we formalize the problem of completing the is-a structure as a generalized TBox abduction problem (GTAP) which is a new type of abduction problem in description logics. Next, we provide algorithms for solving GTAP in the EL family and ALC description logics. Finally, we describe two implemented systems based on the introduced algorithms. The systems were evaluated in two experiments which have shown the usefulness of our approach. For example, in one experiment using ontologies from the Ontology Alignment Evaluation Initiative 58 and 94 detected missing is-a relations were repaired by adding 54 and 101 is-a relations, respectively, introducing new knowledge to the ontologies.
18
Stapel, Florian [Verfasser]. "Ontology-based representation of abstract optimization models for model formulation and system generation / Florian Stapel." Paderborn : Universitätsbibliothek, 2016. http://d-nb.info/1108389333/34.
Full text
19
Seltmann, Stefanie [Verfasser]. "Development of an ontology for the comprehensive representation of cells in complex systems / Stefanie Seltmann." Berlin : Medizinische Fakultät Charité - Universitätsmedizin Berlin, 2015. http://d-nb.info/106820902X/34.
Full text
20
Monakova, Ganna. "Ontology based partner service discovery using a first-order logic representation for BPEL process models." [S.l. : s.n.], 2008. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-34953.
Full text
21
Zhou, Yujiao. "PAGOdA : pay-as-you-go ontology query answering using a datalog reasoner." Thesis, University of Oxford, 2015. https://ora.ox.ac.uk/objects/uuid:2fbbc6d6-299b-43ae-836d-ae1e0f025a26.
Full textAbstract:
Answering conjunctive queries over ontology-enriched datasets is a core reasoning task for many applications of semantic technologies. Conjunctive query answering is, however, computationally very expensive, which has led to the development of query answering procedures that sacrifice either the expressive power of ontology languages, or the completeness of query answers in order to improve scalability. This thesis describes a hybrid approach to query answering over OWL 2 ontologies that combines a datalog reasoner with a fully-fledged OWL 2 reasoner in order to provide scalable "pay-as-you-go" performance. The key feature of this hybrid approach is that it delegates the bulk of the computation to the datalog reasoner and resorts to expensive OWL 2 reasoning only as necessary to fully answer the query. Although the main goal of this thesis is to efficiently answer queries over OWL 2 ontologies, the technical results are more general and the approach is applicable to first-order knowledge representation languages that can be captured by rules allowing for existential quantification and disjunction in the head; the only assumption is the availability of a datalog reasoner and a fully-fledged reasoner for the language of interest, both of which are used as "black boxes". All techniques proposed in this thesis are implemented in the PAGOdA system, which combines the datalog reasoner RDFox and the OWL 2 reasoner HermiT. An extensive evaluation shows that PAGOdA succeeds in providing scalable pay-as-you-go query answering for a wide range of OWL 2 ontologies, datasets and queries.
22
Figueiras, Paulo Alves. "A framework for supporting knowledge representation – an ontological based approach." Master's thesis, Faculdade de Ciências e Tecnologia, 2012. http://hdl.handle.net/10362/7576.
Full textAbstract:
Dissertação para obtenção do Grau de Mestre em
Engenharia Electrotécnica e de ComputadoresThe World Wide Web has had a tremendous impact on society and business in just a few years by making information instantly available. During this transition from physical to electronic means for information transport, the content and encoding of information has remained natural language and is only identified by its URL. Today, this is perhaps the most significant obstacle to streamlining business processes via the web. In order that processes may execute without human intervention, knowledge sources, such as documents, must become more machine understandable and must contain other information besides their main contents and URLs. The Semantic Web is a vision of a future web of machine-understandable data. On a machine understandable web, it will be possible for programs to easily determine what knowledge sources are about. This work introduces a conceptual framework and its implementation to support the classification and discovery of knowledge sources, supported by the above vision, where such sources’ information is structured and represented through a mathematical vector that semantically pinpoints the relevance of those knowledge sources within the domain of interest of each user. The presented work also addresses the enrichment of such knowledge representations, using the statistical relevance of keywords based on the classical vector space model concept, and extending it with ontological support, by using concepts and semantic relations, contained in a domain-specific ontology, to enrich knowledge sources’ semantic vectors. Semantic vectors are compared against each other, in order to obtain the similarity between them, and better support end users with knowledge source retrieval capabilities.
23
Reul, Quentin H. "Role of description logic reasoning in ontology matching." Thesis, University of Aberdeen, 2012. http://digitool.abdn.ac.uk:80/webclient/DeliveryManager?pid=186278.
Full textAbstract:
Semantic interoperability is essential on the Semantic Web to enable different information systems to exchange data. Ontology matching has been recognised as a means to achieve semantic interoperability on the Web by identifying similar information in heterogeneous ontologies. Existing ontology matching approaches have two major limitations. The first limitation relates to similarity metrics, which provide a pessimistic value when considering complex objects such as strings and conceptual entities. The second limitation relates to the role of description logic reasoning. In particular, most approaches disregard implicit information about entities as a source of background knowledge. In this thesis, we first present a new similarity function, called the degree of commonality coefficient, to compute the overlap between two sets based on the similarity between their elements. The results of our evaluations show that the degree of commonality performs better than traditional set similarity metrics in the ontology matching task. Secondly, we have developed the Knowledge Organisation System Implicit Mapping (KOSIMap) framework, which differs from existing approaches by using description logic reasoning (i) to extract implicit information as background knowledge for every entity, and (ii) to remove inappropriate correspondences from an alignment. The results of our evaluation show that the use of Description Logic in the ontology matching task can increase coverage. We identify people interested in ontology matching and reasoning techniques as the target audience of this work
24
Loebe, Frank. "Ontological Semantics." Doctoral thesis, Universitätsbibliothek Leipzig, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-166326.
Full textAbstract:
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), in particular, and higher-order (predicate) logic (HOL); the Web Ontology Language (OWL) on the basis of description logics (DL); and the Unified Modeling Language (UML). We focus primarily on languages with formally defined syntax and semantics.
This overall picture immediately suggests questions of the following kinds: What is the relationship between an ontology and the language in which it is formalized? Especially, what is the impact of the formal semantics of the language on the formalized ontology? How well understood is the role of ontologies in semantic integration? Can the same ontology be represented in multiple languages and/or in distinct ways within one language? Is there an adequate understanding of whether two expressions are intensionally/conceptually equivalent and whether two ontologies furnish the same ontological commitments?
One may assume that these questions are resolved. Indeed, the development and adoption of ontologies is widespread today. Ontologies are authored in a broad range of different languages, including offering equally named ontologies in distinct languages. Much research is devoted to techniques and technologies that orbit ontologies, for example, ontology matching, modularization, learning, and evolution, to name a few. Ontologies have found numerous beneficial applications, and hundreds of ontologies have been created, considering solely the context of biomedical research. For us, these observations increase the relevance of the stated questions and close relatives thereof, and raise the desire for solid theoretical underpinnings. In the literature of computer and information sciences, we have found only few approaches that tackle the foundations of ontologies and their representation to allow for answering such questions or that actually answer them.
We elaborate an analysis of the subject as the first item of central contributions within this thesis. It mainly results in the identification of a vicious circularity in (i) the intended use of ontologies to mediate between formal representations and (ii) solely exploiting formal semantic notions in representing ontologies and defining ontology-based equivalence as a form of intensional/conceptual equivalence. On this basis and in order to overcome its identified limitations, we contribute a general model-theoretic semantic account, named \\\"ontological semantics\\\". This kind of semantics takes the approach of assigning arbitrary entities as referents of atomic symbols and to link syntactic constructions with corresponding ontological claims and commitments. In particular, ontological semantics targets the avoidance of encoding effects in its definition. Therefore we argue that this semantic account is well suited for interpreting formalized ontologies and for defining languages for the representation of ontologies. It is further proposed as a fundament for envisioned novel definitions of the intensional equivalence of expressions, in potential deviation from only being formally equivalent under set-theoretic semantics. The thesis is defended that a particular usage of a formalism and its respective vocabulary should be accompanied by establishing an ontological semantics that is tailored to that use of the formalism, in parallel to the formal semantics of the language, in order to capture the ontological content of the formal representation for adequate reuse in other formalisms. Accordingly, we advocate ontological semantics as a useful framework for justifying translations on an intensional basis. Despite all deviations of ontological semantics from its set-theoretic blueprint, close relationships between the two can be shown, which allow for using established FOL and DL reasoners while assuming ontological semantics.
25
Wang, Yufei. "Ontology engineering the brain gene ontology case study : submitted by Yufei Wang ... in partial fulfillment of the requirements for the degree of Master of Computer and Information Sciences, Auckland University of Technology, March 2007." Click here access this resource online, 2007. http://aut.researchgateway.ac.nz/handle/10292/104.
Full textAbstract:
Thesis (MCIS - Computer and Information Sciences) --AUT University, 2007.Includes bibliographical references. Also held in print (ix, 74 leaves : ill. ; 30 cm.) in City Campus Theses Collection (T 006.33 WAN)
26
Lacy, Lee. "ITERCHANGING DISCRETE EVENT SIMULATIONPROCESS INTERACTION MODELSUSING THE WEB ONTOLOGY LANGUAGE - OWL." Doctoral diss., University of Central Florida, 2006. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/3332.
Full textAbstract:
Discrete event simulation development requires significant investments in time and resources. Descriptions of discrete event simulation models are associated with world views, including the process interaction orientation. Historically, these models have been encoded using high-level programming languages or special purpose, typically vendor-specific, simulation languages. These approaches complicate simulation model reuse and interchange. The current document-centric World Wide Web is evolving into a Semantic Web that communicates information using ontologies. The Web Ontology Language – OWL, was used to encode a Process Interaction Modeling Ontology for Discrete Event Simulations (PIMODES). The PIMODES ontology was developed using ontology engineering processes. Software was developed to demonstrate the feasibility of interchanging models from commercial simulation packages using PIMODES as an intermediate representation. The purpose of PIMODES is to provide a vendor-neutral open representation to support model interchange. Model interchange enables reuse and provides an opportunity to improve simulation quality, reduce development costs, and reduce development times.Ph.D.
Department of Industrial Engineering and Management Systems
Engineering and Computer Science
Modeling and Simulation
27
Qadeer, Shahab. "Integration of Recommendation and Partial Reference Alignment Algorithms in a Session based Ontology Alignment System." Thesis, Linköpings universitet, Institutionen för datavetenskap, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-73135.
Full textAbstract:
SAMBO is a system to assist users for alignment and merging of two ontologies (i.e. to find inter-ontology relationship). The user performs an alignment process with the help of mapping suggestions. The objective of the thesis work is to extend the existing system with new components; multiple sessions, integration of an ontology alignment strategy, recommendation system, integration of a system that can use results from previous sessions, and integration of partial reference alignment (PRA) that can be used to filter mapping suggestions. Most of the theoretical work existed, but it was important to study and implement, how these components can be integrated in the system, and how they can work together.
28
Komosa, Eric. "SERPENT SOMETHING." Bowling Green State University / OhioLINK, 2017. http://rave.ohiolink.edu/etdc/view?acc_num=bgsu1491318561523256.
Full text
29
Baader, Franz, and Adrian Nuradiansyah. "Mixing Description Logics in Privacy-Preserving Ontology Publishing." Springer, 2019. https://tud.qucosa.de/id/qucosa%3A75565.
Full textAbstract:
In previous work, we have investigated privacy-preserving publishing of Description Logic (DL) ontologies in a setting where the knowledge about individuals to be published is an EL instance store, and both the privacy policy and the possible background knowledge of an attacker are represented by concepts of the DL EL. We have introduced the notions of compliance of a concept with a policy and of safety of a concept for a policy, and have shown how, in the context mentioned above, optimal compliant (safe) generalizations of a given EL concept can be computed. In the present paper, we consider a modified setting where we assume that the background knowledge of the attacker is given by a DL different from the one in which the knowledge to be published and the safety policies are formulated. In particular, we investigate the situations where the attacker’s knowledge is given by an FL0 or an FLE concept. In both cases, we show how optimal safe generalizations can be computed. Whereas the complexity of this computation is the same (ExpTime) as in our previous results for the case of FL0, it turns out to be actually lower (polynomial) for the more expressive DL FLE.
30
Chee, Tahir Aidid. "A framework for the semantic representation of energy policies related to electricity generation." Thesis, University of Oxford, 2011. http://ora.ox.ac.uk/objects/uuid:2c1f7a3c-4464-4bd0-b40b-67a0ad419529.
Full textAbstract:
Energy models are optimisation tools which aid in the formulation of energy policies. Built on mathematics, the strength of these models lie in their ability to process numerical data which in turn allows for the generation of an electricity generation mix that incorporates economic and the environmental aspects. Nevertheless, a comprehensive formulation of an electricity generation mix should include aspects associated with politics and society, an evaluation of which requires the consideration of non-numerical qualitative information. Unfortunately, the use of energy models for optimisation coupled with the evaluation of information other than numerical data is a complicated task. Two prerequisites must be fulfilled for energy models to consider political and societal aspects. First, the information associated with politics and society in the context of energy policies must be identified and defined. Second, a software tool which automatically converts both quantitative and qualitative data into mathematical expressions for optimisation is required. We propose a software framework which uses a semantic representation based on ontologies. Our semantic representation contains both qualitative and quantitative data. The semantic representation is integrated into an Optimisation Modelling System which outputs a model consisting of a set of mathematical expressions. The system uses ontologies, engineering models, logic inference and linear programming. To demonstrate our framework, a Prototype Energy Modelling System which accepts energy policy goals and targets as inputs and outputs an optimised electricity generation mix has been developed. To validate the capabilities of our prototype, a case study has been conducted. This thesis discusses the framework, prototype and case study.
31
Uciteli, Alexandr, and Heinrich Herre. "OntoStudyEdit: a new approach for ontology-based representation and management of metadata in clinical and epidemiological research." Journal of biomedical semantics 2015, 6:41, 2015. https://ul.qucosa.de/id/qucosa%3A14493.
Full textAbstract:
Background: The specification of metadata in clinical and epidemiological study projects absorbs significant expense. The validity and quality of the collected data depend heavily on the precise and semantical correct
representation of their metadata. In various research organizations, which are planning and coordinating studies, the required metadata are specified
differently, depending on many conditions, e.g., on the used study management software. The latter does not always meet the needs of a particular research organization, e.g., with respect to the relevant metadata attributes and structuring possibilities.
Methods: The objective of the research, set forth in this paper, is the development of a new approach for ontology-based representation and management of metadata. The basic features of this approach are
demonstrated by the software tool OntoStudyEdit (OSE). The OSE is designed and developed according to the three ontology method. This method for developing software is based on the interactions of three different kinds of ontologies: a task ontology, a domain ontology and a top-level ontology.
Results: The OSE can be easily adapted to different requirements, and it supports an ontologically founded representation and efficient management of metadata. The metadata specifications can by imported from various sources; they can be edited with the OSE, and they can be exported in/to several formats, which are used, e.g., by different study management software.
Conclusions: Advantages of this approach are the adaptability of the OSE by integrating suitable domain ontologies, the ontological specification of mappings between the import/export formats and the DO, the
specification of the study metadata in a uniform manner and its reuse in different research projects, and an intuitive data entry for non-expert users.
32
Ivanova, Valentina. "Fostering User Involvement in Ontology Alignment and Alignment Evaluation." Doctoral thesis, Linköpings universitet, Databas och informationsteknik, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-143034.
Full textAbstract:
The abundance of data at our disposal empowers data-driven applications and decision making. The knowledge captured in the data, however, has not been utilized to full potential, as it is only accessible to human interpretation and data are distributed in heterogeneous repositories. Ontologies are a key technology unlocking the knowledge in the data by providing means to model the world around us and infer knowledge implicitly captured in the data. As data are hosted by independent organizations we often need to use several ontologies and discover the relationships between them in order to support data and knowledge transfer. Broadly speaking, while ontologies provide formal representations and thus the basis, ontology alignment supplies integration techniques and thus the means to turn the data kept in distributed, heterogeneous repositories into valuable knowledge. While many automatic approaches for creating alignments have already been developed, user input is still required for obtaining the highest-quality alignments. This thesis focuses on supporting users during the cognitively intensive alignment process and makes several contributions. We have identified front- and back-end system features that foster user involvement during the alignment process and have investigated their support in existing systems by user interface evaluations and literature studies. We have further narrowed down our investigation to features in connection to the, arguably, most cognitively demanding task from the users’ perspective—manual validation—and have also considered the level of user expertise by assessing the impact of user errors on alignments’ quality. As developing and aligning ontologies is an error-prone task, we have focused on the benefits of the integration of ontology alignment and debugging. We have enabled interactive comparative exploration and evaluation of multiple alignments at different levels of detail by developing a dedicated visual environment—Alignment Cubes—which allows for alignments’ evaluation even in the absence of reference alignments. Inspired by the latest technological advances we have investigated and identified three promising directions for the application of large, high-resolution displays in the field: improving the navigation in the ontologies and their alignments, supporting reasoning and collaboration between users.
33
Loebe, Frank [Verfasser], Heinrich [Akademischer Betreuer] Herre, Heinrich [Gutachter] Herre, and Michael [Gutachter] Grüninger. "Ontological Semantics : An Attempt at Foundations of Ontology Representation / Frank Loebe ; Gutachter: Heinrich Herre, Michael Grüninger ; Betreuer: Heinrich Herre." Leipzig : Universitätsbibliothek Leipzig, 2015. http://d-nb.info/1239565658/34.
Full text
34
Koegst, Thilo. "Ontology based model framework for conceptual design of treatment flow sheets." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2014. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-139773.
Full textAbstract:
The primary objective of wastewater treatment is the removal of pollutants to meet given legal effluent standards. To further reduce operators costs additional recovery of resources and energy is desired by industrial and municipal wastewater treatment. Hence the objective in early stage of planning of treatment facilities lies in the identification and evaluation of promising configurations of treatment units. Obviously this early stage of planning may best be supported by software tools to be able to deal with a variety of different treatment configurations.
In chemical process engineering various design tools are available that automatically identify feasible process configurations for the purpose to obtain desired products from given educts. In contrast, the adaptation of these design tools for the automatic generation of treatment unit configurations (process chains) to achieve preset effluent standards is hampered by the following three reasons.
First, pollutants in wastewater are usually not defined as chemical substances but by compound parameters according to equal properties (e.g. all particulate matter). Consequently the variation of a single compound parameter leads to a change of related parameters (e.g. relation between Chemical Oxygen Demand and Total Suspended Solids). Furthermore, mathematical process models of treatment processes are tailored towards fractions of compound parameters. This hampers the generic representation of these process models which in turn is essential for automatic identification of treatment configurations.
Second, treatment technologies for wastewater treatment rely on a variety of chemical, biological, and physical phenomena. Approaches to mathematically describe these phenomena cover a wide range of modeling techniques including stochastic, conceptual or deterministic approaches. Even more the consideration of temporal and spatial resolutions differ. This again hampers a generic representation of process models.
Third, the automatic identification of treatment configurations may either be achieved by the use of design rules or by permutation of all possible combinations of units stored within a database of treatment units. The first approach depends on past experience translated into design rules. Hence, no innovative new treatment configurations can be identified. The second approach to identify all possible configurations collapses by extremely high numbers of treatment configurations that cannot be mastered. This is due to the phenomena of combinatorial explosion. It follows therefrom that an appropriate planning algorithm should function without the need of additional design rules and should be able to identify directly feasible configurations while discarding those impractical.
This work presents a planning tool for the identification and evaluation of treatment configurations that tackles the before addressed problems. The planning tool comprises two major parts. An external declarative knowledge base and the actual planning tool that includes a goal oriented planning algorithm. The knowledge base describes parameters for wastewater characterization (i.e. material model) and a set of treatment units represented by process models (i.e. process model). The formalization of the knowledge base is achieved by the Web Ontology Language (OWL).
The developed data model being the organization structure of the knowledge base describes relations between wastewater parameters and process models to enable for generic representation of process models. Through these parameters for wastewater characterization as well as treatment units can be altered or added to the knowledge base without the requirement to synchronize already included parameter representations or process models. Furthermore the knowledge base describes relations between parameters and properties of water constituents. This allows to track changes of all wastewater parameters which result from modeling of removal efficiency of applied treatment units.
So far two generic treatment units have been represented within the knowledge base. These are separation and conversion units. These two raw types have been applied to represent different types of clarifiers and biological treatment units.
The developed planning algorithm is based on a Means-Ends Analysis (MEA). This is a goal oriented search algorithm that posts goals from wastewater state and limit value restrictions to select those treatment units only that are likely to solve the treatment problem. Regarding this, all treatment units are qualified according to postconditions that describe the effect of each unit. In addition, units are also characterized by preconditions that state the application range of each unit. The developed planning algorithm furthermore allows for the identification of simple cycles to account for moving bed reactor systems (e.g. functional unit of aeration tank and clarifier). The evaluation of identified treatment configurations is achieved by total estimated cost of each configuration.
The planning tool has been tested on five use cases. Some use cases contained multiple sources and sinks. This showed the possibility to identify water reuse capabilities as well as to identify solutions that go beyond end of pipe solutions. Beyond the originated area of application, the planning tool may be used for advanced interrogations. Thereby the knowledge base and planning algorithm may be further developed to address the objectives to identify configurations for any type of material and energy recovery.
35
Magka, Despoina. "Foundations and applications of knowledge representation for structured entities." Thesis, University of Oxford, 2013. http://ora.ox.ac.uk/objects/uuid:4a3078cc-5770-4a9b-81d4-8bc52b41e294.
Full textAbstract:
Description Logics form a family of powerful ontology languages widely used by academics and industry experts to capture and intelligently manage knowledge about the world. A key advantage of Description Logics is their amenability to automated reasoning that enables the deduction of knowledge that has not been explicitly stated. However, in order to ensure decidability of automated reasoning algorithms, suitable restrictions are usually enforced on the shape of structures that are expressible using Description Logics. As a consequence, Description Logics fall short of expressive power when it comes to representing cyclic structures, which abound in life sciences and other disciplines. The objective of this thesis is to explore ontology languages that are better suited for the representation of structured objects. It is suggested that an alternative approach which relies on nonmonotonic existential rules can provide a promising candidate for modelling such domains. To this end, we have built a comprehensive theoretical and practical framework for the representation of structured entities along with a surface syntax designed to allow the creation of ontological descriptions in an intuitive way. Our formalism is based on nonmonotonic existential rules and exhibits a favourable balance between expressive power and computational as well as empirical tractability. In order to ensure decidability of reasoning, we introduce a number of acyclicity criteria that strictly generalise many of the existing ones. We also present a novel stratification condition that properly extends `classical' stratification and allows for capturing both definitional and conditional aspects of complex structures. The applicability of our formalism is supported by a prototypical implementation, which is based on an off-the-shelf answer set solver and is tested over a realistic knowledge base. Our experimental results demonstrate improvement of up to three orders of magnitude in comparison with previous evaluation efforts and also expose numerous modelling errors of a manually curated biochemical knowledge base. Overall, we believe that our work lays the practical and theoretical foundations of an ontology language that is well-suited for the representation of structured objects. From a modelling point of view, our approach could stimulate the adoption of a different and expressive reasoning paradigm for which robustly engineered mature reasoners are available; it could thus pave the way for the representation of a broader spectrum of knowledge. At the same time, our theoretical contributions reveal useful insights into logic-based knowledge representation and reasoning. Therefore, our results should be of value to ontology engineers and knowledge representation researchers alike.
36
Fernandes, Joliza Chagas. "O universo e as relações de significação da web: semiose nas ontologias." Universidade de São Paulo, 2012. http://www.teses.usp.br/teses/disponiveis/27/27151/tde-16042013-150137/.
Full textAbstract:
As dificuldades de acesso à informação na Web são decorrentes, dentre outras, da ausência ou inadequação do tratamento das informações. Entre as diversas propostas de filtragem de conteúdos de informação disponíveis na Web tem tido destaque a ferramenta denominada Ontologia. As potencialidades das Ontologias para lidar com problemas semânticos, sobretudo quando há grandes volumes de informação, parece promissor. Dessa forma, a reflexão teórica e a observação empírica sobre as Ontologias são importantes e necessárias para compreender seus aspectos semânticos e formais (lógicos). Assim, com base na teoria peirceana, mais especificamente a teoria do interpretante, o estudo focalizou as questões que envolvem as relações semânticas e formais das Ontologias com o fim de identificar traços que permitam sistematizar parâmetros teóricos e metodológicos de sua construção e avaliação. Para tanto, adotou-se como estudo de caso a ontologia Radlex, instrumento ontógico da área da Saúde disponível gratuitamente na Web. Para a análise foram considerados 615 termos selecionados a partir de quatro classes das principais categorias do Radlex, a saber: \"class Image Observation Characterístic\", \"class Pathophysiologic Process Modifier\", \"class Anatomical Cluster\" e \"class Object\". De acordo com as observações, concluiu-se que não basta a existência de aplicativos automatizados relevantes para o bom funcionamento desses instrumentos; são necessárias ações direcionadas para as questões de produção de sentido, que reflitam as necessidades informacionais dos pesquisadores que os utilizam. No caso do Radlex, apesar de trazer em sua estrutura conceitual todos os elementos necessários e pertinentes a uma representação da informação, é necessário enriquecê-la com relações semânticas e formais adicionais sobre a Radiologia.The difficulties to access information on the web are due, among other things, to the absence or inadequacy of the techiniques used in their organization Among the various proposals for content filtering available on the Web ther is a prominent tool called Ontology. The potential of ontologies to deal with semantic problems, especially when there are large volumes of information, looks promising. On the other hand, theoretical and empirical observation on Ontologies are important and necessary to deeply understand aspects of semantic and formal (logical) relationships between terms they contain. Thus, based on Peirce\'s theory, more specifically the Theory of the interpretant, the study focused on issues involving the formal and semantic relationships of ontologies, itending to identify aspects to draw up parameters for its construction and evaluation. To this endd, it was adopted as a case study the Radlex Ontology, complex health area ontological instrument available for free on the Web. For analysis 615 terms were selected from four classes of Radlex main categories, namely: \"class Image Characteristic Observation\", \"class Modifier Pathophysiologic Process\", \"class Anatomical Cluster\" and \"class Object\". According to the observations, we concluded that the existence of automated applications is not sufficient; it is necessary actions directed to the issues of meaning production, reflecting the information needs of researchers who use the ontologies. In the case of Radlex, despite bringing the necessary conceptual structure to represent information, the majority are hierarchical. Sinonimy relationships are absent. It is necessary to enrich it with dditional formal and semantic relationships non Radiology.
37
Shankar, Arunprasath. "ONTOLOGY-DRIVEN SEMI-SUPERVISED MODEL FOR CONCEPTUAL ANALYSIS OF DESIGN SPECIFICATIONS." Case Western Reserve University School of Graduate Studies / OhioLINK, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=case1401706747.
Full text
38
Ren, Yuan. "Tractable reasoning with quality guarantee for expressive description logics." Thesis, University of Aberdeen, 2014. http://digitool.abdn.ac.uk:80/webclient/DeliveryManager?pid=217884.
Full textAbstract:
DL-based ontologies have been widely used as knowledge infrastructures in knowledge management systems and on the Semantic Web. The development of efficient, sound and complete reasoning technologies has been a central topic in DL research. Recently, the paradigm shift from professional to novice users, and from standalone and static to inter-linked and dynamic applications raises new challenges: Can users build and evolve ontologies, both static and dynamic, with features provided by expressive DLs, while still enjoying e cient reasoning as in tractable DLs, without worrying too much about the quality (soundness and completeness) of results? To answer these challenges, this thesis investigates the problem of tractable and quality-guaranteed reasoning for ontologies in expressive DLs. The thesis develops syntactic approximation, a consequence-based reasoning procedure with worst-case PTime complexity, theoretically sound and empirically high-recall results, for ontologies constructed in DLs more expressive than any tractable DL. The thesis shows that a set of semantic completeness-guarantee conditions can be identifed to efficiently check if such a procedure is complete. Many ontologies tested in the thesis, including difficult ones for an off-the-shelf reasoner, satisfy such conditions. Furthermore, the thesis presents a stream reasoning mechanism to update reasoning results on dynamic ontologies without complete re-computation. Such a mechanism implements the Delete-and-Re-derive strategy with a truth maintenance system, and can help to reduce unnecessary over-deletion and re-derivation in stream reasoning and to improve its efficiency. As a whole, the thesis develops a worst-case tractable, guaranteed sound, conditionally complete and empirically high-recall reasoning solution for both static and dynamic ontologies in expressive DLs. Some techniques presented in the thesis can also be used to improve the performance and/or completeness of other existing reasoning solutions. The results can further be generalised and extended to support a wider range of knowledge representation formalisms, especially when a consequence-based algorithm is available.
39
Leite, Maria Angelica de Andrade. "Modelo fuzzy para recuperação de informação utilizando multiplas ontologias relacionadas." [s.n.], 2009. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260824.
Full textAbstract:
Orientador: Ivan Luiz Marques RicarteTese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação
Made available in DSpace on 2018-08-13T09:57:01Z (GMT). No. of bitstreams: 1 Leite_MariaAngelicadeAndrade_D.pdf: 1895167 bytes, checksum: fdce073bd2fe535322ed192c85f7b61a (MD5) Previous issue date: 2009
Resumo: Com a crescente popularidade da World Wide Web mais pessoas têm acesso à informação cujo volume vem expandindo ao longo do tempo. A área de recuperação de informação ganhou um novo desafio visando buscar os recursos pelo significado da informação neles contida. Uma forma de recuperar a informação, pelo seu significado, é pelo uso de uma base de conhecimento que modela os conceitos de um domínio e seus relacionamentos. Atualmente, ontologias têm sido utilizadas para modelar bases de conhecimento. Para tratar com a imprecisão e a incerteza, presentes no conhecimento e no processo de recuperação de informação, são empregadas técnicas da teoria de conjuntos fuzzy. Trabalhos precedentes codificam a base de conhecimento utilizando apenas uma ontologia. Entretanto, uma coleção de documentos pode tratar temas pertencentes a domínios diferentes, expressos por ontologias distintas, que podem estar relacionados. Neste trabalho, uma forma de organização e representação do conhecimento em múltiplas ontologias relacionadas foi investigada e um novo método de expansão de consulta foi desenvolvido. A organização do conhecimento e o método de expansão de consulta foram integrados no modelo fuzzy para recuperação de informação utilizando múltiplas ontologias relacionadas. O desempenho do modelo foi comparado com outro modelo fuzzy para recuperação de informação e com a máquina de busca Lucene do projeto Apache. Em ambos os casos o modelo proposto apresentou uma melhora nas medidas de precisão e cobertura.
Abstract: With the World Wide Web popularity growth, more people has access to information and this information volume is expanding over the time. The information retrieval area has a new challenge intending to search information resources by their meaning. A way to retrieve information, by its meaning, is by using a knowledge base that encodes the domain concepts and their relationships. Nowadays ontologies are being used to model knowledge bases. To deal with imprecison and uncertainty present in the knowledge and in the information retrieval process, fuzzy set theory techniques are employed. Preceding works encode a knowledge base using just one ontology. However a document collection can deal with different domain themes, expressed by distinct ontologies, that can be related. In this work a way of knowledge organization and representation, using multiple related ontologies, was investigated and a new method of query expansion was developed. The knowledge organization and the query expansion method were integrated in the fuzzy model for information retrieval based on mutiple related ontologies. The model performance was compared with another fuzzy-based approach for information retrieval and with the Apache Lucene search engine. In both cases the proposed model improves the precision and recall measures.
Doutorado
Engenharia de Computação
Doutor em Engenharia Elétrica
40
Oberkampf, Heiner [Verfasser], and Bernhard L. [Akademischer Betreuer] Bauer. "Integrated representation of clinical data and medical knowledge: an ontology-based approach for the radiology domain / Heiner Oberkampf. Betreuer: Bernhard L. Bauer." Augsburg : Universität Augsburg, 2016. http://d-nb.info/1113534788/34.
Full text
41
Santin, Carlos Eduardo. "Construtos ontológicos para representação simbólica de conhecimento visual." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2008. http://hdl.handle.net/10183/13645.
Full textAbstract:
Em domínios com forte conteúdo visual, a interpretação de imagens por raciocínio visual pode ser mais eficaz na solução de problemas do que a interpretação de dados puramente textuais ou numéricos. No entanto, a representação do conhecimento visual é difícil de ser realizada por tratar-se de um conhecimento implícito para o observador. As ontologias de representação possibilitam a criação de estruturas para auxiliar na captura desse tipo de conhecimento, de forma a atribuir uma representação simbólica e significado semântico ao que está sendo visualizado. A formalização do conhecimento visual permite a sua utilização em processos de inferência, resultando na interpretação automática da imagem. O objetivo deste trabalho é a definição de construtos ontológicos que permitam descrever aspectos visuais presentes em uma imagem, com ênfase na atenção visual mais do que nos aspectos físicos dos objetos. Esses aspectos visuais são associados aos objetos físicos da imagem bem como aos objetos descritos no nível do conhecimento de domínio. Para cada um dos níveis foi definida uma ontologia de representação, sendo assim possível atribuir semântica específica a esses objetos através da descrição de seus atributos e manter a independência do conhecimento relativo a cada nível. O nível da imagem descreve os objetos passíveis de serem extraídos por algoritmos de processamento de imagem (embora esses algoritmos não tenham sido foco de estudo neste trabalho). O nível visual descreve objetos que são foco da atenção visual, tais como seções, interstícios e contornos. O nível semântico descreve os objetos da aplicação capturados através de aquisição de conhecimento. A identidade dos objetos modelados é garantida através de relações de mapeamento entre cada dois níveis adjacentes. O domínio de aplicação deste trabalho foi a Petrografia Sedimentar, com o objetivo de extrair por inferência a qualidade em termos de porosidade e permeabilidade de rochas reservatório de petróleo. Com ajuda do especialista, foi modelado um método de solução de problemas para identificação do grau de compactação da rocha, que raciocina sobre os conhecimentos modelados utilizando a ontologia proposta. Foi implementado um sistema que permite a descrição dos objetos individualizados através da segmentação manual da imagem, mapeando os dados descritos para a ontologia e aplicando sobre ela o método de solução de problemas. Esse sistema gera como resultado o grau de compactação da rocha, cuja imagem foi assim descrita. Uma validação preliminar da abordagem foi realizada através da descrição de imagens de rochas fazendo uso do sistema desenvolvido, confrontando os resultados com os obtidos por um geólogo para as mesmas rochas observadas. Na metade das amostras descritas, o sistema atingiu o mesmo resultado do especialista e, na outra metade, obteve grande aproximação dos resultados.In domains that have strong visual content, the image interpretation applying visual reasoning can be more effective in solving problems than the interpretation of pure textual or numeric data. However, the representation of visual knowledge is hard to be achieved since, most of time, we are dealing with implicit knowledge for the observer. The representation ontologies allow the creation of structures for assisting the capture of this kind of knowledge, in order to associate a symbolic representation and semantic meaning to what it being visualize. The formalization of the visual knowledge allows its application for inference process, resulting in the automatic interpretation of image. The goal of this work is the definition of ontological constructs that allow describing the visual aspects presented in an image, giving more emphasis in the evidences captured by visual attention than in the physical aspects of the objects. These aspects are associated to the physical objects as well as to the objects described in the domain knowledge level. Separate representation ontologies were defined for each level, making possible to associate specific semantic content to the objects through the description of the attributes and to keep the independence of the knowledge related to each level. The image level describes the objects that are possible of being extracted by image processing algorithms (although these algorithms were not studied in this work). The visual knowledge describes the objects that capture the visual attention, such as sections, interstices and borders. The semantic level describes the application objects elicited by knowledge acquisition methods. The identity of the modeled objects is guaranteed through the mapping relation defined between each two adjacent levels. The application domain of this work is the Sedimentary Petrography, with the goal of extracting by inference methods the porosity and permeability quality of petroleum reservoir-rocks. With the aid of the expert, a problem-solving method that reasons over the knowledge formalized through the proposed ontology was modeled for the identification of the compaction level of the rock. Furthermore, it was implemented a system that supports the description of the objects individualized through a manual segmentation of the image. The described data was mapped to the ontology and the problem-solving method was applied to define the level of compaction. A preliminary validation was developed comparing the results achieved by the system with the manual interpretation done by the expert with the same rock samples. With the half of the described samples the system achieved the same results of the expert and has got strong approximation in the other half.
42
Karlapudi, Janakiram. "Enhancement of BIM Data Representation in Product-Process Modelling for Building Renovation." Springer Nature, 2020. https://tud.qucosa.de/id/qucosa%3A73520.
Full textAbstract:
Building Information Modelling (BIM) has the potential to become a technology which will help to use a holistic information repository to generate and represent relevant information in different building life-cycle stages (BLCS) to dedicated groups of stakeholders. However, the scope of model components of BIM data (e.g., IFC meta-data) is limited and some parts of it are not modelled in a manner that supports the diversity of engineering use cases. This paper aims to address this deficit by identifying the capability to formulate inference rules as one of the major benefits in the ontology-based information modelling approach. However, before one can formulate inferencing rules a detailed and in-depth understanding is required on how stakeholder information needs are defined in different BLCS and on how available, open-BIM meta-data models support these information requirements. Therefore, the research progressed initially on existing definitions for Level of Detail (LOD) and selected process-modelling standards (BLCS). In the subsequent part, different renovation Activities and the Stakeholder involvements are analysed. Use cases are defined and used as a grouping mechanism for selected scenarios. Based on these grouping mechanisms, a methodology of how components of a BIMmodel could be classified to support automated inferencing in the future. The outcome of this research is an established 6-dimensional intercommunication framework (LOD, BLS, Scenarios, Stakeholders, Use Cases, BIM model data) based on the Linked Building Data approach and focusing on renovation processes optimization. Based on the framework, a renovation Product-Process Modelling ontology is developed to connect existing components and to support new interoperable applications.:Abstract
1 Introduction and Backgroung
2 Renovation Framework
2.1 Level of Detail (LOD)
2.2 Building Life-Cycle Stage
2.3 Activity and Stakeholder
2.4 BIM Object (Product Information)
2.5 Use Cases
3 Product-Process Ontology
3.1 Activity – BIM Data – LOD
3.2 BLCS – Activity – Stakeholder
4 Validation
5 Conclusion
6 Future Work
References
43
Amdouni, Emna. "Représentation sémantique des biomarqueurs d’imagerie dans le domaine médical." Thesis, Rennes 1, 2017. http://www.theses.fr/2017REN1S124/document.
Full textAbstract:
En médecine personnalisée, les mesures et les descriptions radiologiques jouent un rôle important. En particulier, elles facilitent aux cliniciens l’établissement du diagnostic, la prise de décision thérapeutique ainsi que le suivi de la réponse au traitement. On peut citer à titre d’exemple, les critères d’évaluation RECIST (en anglais Response Evaluation Criteria in Solid Tumors). De nombreuses études de corrélation en radiologie-pathologie montrent que les caractéristiques d'imagerie quantitative et qualitative sont associées aux altérations génétiques et à l'expression des gènes. Par conséquent, une gestion appropriée des phénotypes d'imagerie est nécessaire pour faciliter leur utilisation et leur réutilisation dans de multiples études concernant les mesures radiologiques. En littérature, les mesures radiologiques qui caractérisent les processus biologiques des sujets imagés sont appelées biomarqueurs d'imagerie. L'objectif principal de cette thèse est de proposer une conceptualisation ontologique des biomarqueurs d'imagerie pour rendre leur sens explicite et formel, améliorer le reporting structuré des images. La première partie de la thèse présente une ontologie générique qui définit les aspects fondamentaux du concept de biomarqueur d'imagerie, à savoir : les caractéristiques biologiques mesurées, les protocoles de mesure et les rôles des biomarqueurs imagerie dans la prise de décision. La deuxième partie de la thèse traite des problèmes de modélisation sémantique liés à la description des données d’observation en neuro-imagerie en utilisant les connaissances biomédicales existantes. Ainsi, elle propose des solutions ''pertinentes'' aux situations les plus typiques qui doivent être modélisées dans le glioblastomeIn personalized medicine, radiological measurements and observations play an important role; in particular they help clinicians in making their diagnosis, selecting the appropriate treatment and monitoring the therapeutic response to an intervention as for example the Response Evaluation Criteria in Solid Tumors (RECIST). Many radiology-pathology correlation studies show that quantitative and qualitative imaging features are associated to genetic alterations and gene expression. Therefore, suitable management of imaging phenotypes is needed to facilitate their use and reuse in multiple studies regarding radiological measurements. In litterature, radiological measurements that characterize biological processes of imaged subjects are called imaging biomarkers. The main objective of this thesis is to propose an ontological conceptualisation of imaging biomarkers to make their meaning explicit and formal, improve structured reporting of images. The first part of the thesis presents a generic ontology that defines basic aspects of the imaging biomarker concept, namely; measured biological characteristic, measurement protocols and role in decision making application. The second part of the thesis adresses important semantic modeling challenges related to the description of neuro-imaging data using existing biomedical knowledge, as well as it proposes some “relevant” solutions to the most typical situations that need to be modeled in glioblastoma
44
Sicilia, Gómez Álvaro. "Supporting Tools for Automated Generation and Visual Editing of Relational-to-Ontology Mappings." Doctoral thesis, Universitat Ramon Llull, 2016. http://hdl.handle.net/10803/398843.
Full textAbstract:
La integració de dades amb formats heterogenis i de diversos dominis mitjançant tecnologies de la web semàntica permet solucionar la seva disparitat estructural i semàntica. L'accés a dades basat en ontologies (OBDA, en anglès) és una solució integral que es basa en l'ús d'ontologies com esquemes mediadors i el mapatge entre les dades i les ontologies per facilitar la consulta de les fonts de dades. No obstant això, una de les principals barreres que pot dificultar més l'adopció de OBDA és la manca d'eines per donar suport a la creació de mapatges entre dades i ontologies.
L'objectiu d'aquesta investigació ha estat desenvolupar noves eines que permetin als experts sense coneixements d'ontologies la creació de mapatges entre dades i ontologies. Amb aquesta finalitat, s'han dut a terme dues línies de treball: la generació automàtica de mapatges entre dades relacionals i ontologies i l'edició dels mapatges a través de la seva representació visual.
Les eines actualment disponibles per automatitzar la generació de mapatges estan lluny de proporcionar una solució completa, ja que es basen en els esquemes relacionals i amb prou feines tenen en compte els continguts de la font de dades relacional i les característiques de l'ontologia. No obstant això, les dades poden contenir relacions ocultes que poden ajudar a la generació de mapatges. Per superar aquesta limitació, hem desenvolupat AutoMap4OBDA, un sistema que genera automàticament mapatges R2RML a partir de l'anàlisi dels continguts de la font relacional i tenint en compte les característiques de l'ontologia. El sistema fa servir una tècnica d'aprenentatge d'ontologies per inferir jerarquies de classes, selecciona les mètriques de similitud de cadenes en base a les etiquetes de les ontologies i analitza les estructures de grafs per generar els mapatges a partir de l'estructura de l'ontologia.
La representació visual per mitjà d'interfícies intuïtives pot ajudar els usuaris sense coneixements tècnics a establir mapatges entre una font relacional i una ontologia. No obstant això, les eines existents per a l'edició visual de mapatges mostren algunes limitacions. En particular, la representació visual de mapatges no contempla les estructures de la font relacional i de l'ontologia de forma conjunta. Per superar aquest inconvenient, hem desenvolupat Map-On, un entorn visual web per a l'edició manual de mapatges.
AutoMap4OBDA ha demostrat que supera les prestacions de les solucions existents per a la generació de mapatges. Map-On s'ha aplicat en projectes d'investigació per verificar la seva eficàcia en la gestió de mapatges.La integración de datos con formatos heterogéneos y de diversos dominios mediante tecnologías de la Web Semántica permite solventar su disparidad estructural y semántica. El acceso a datos basado en ontologías (OBDA, en inglés) es una solución integral que se basa en el uso de ontologías como esquemas mediadores y mapeos entre los datos y las ontologías para facilitar la consulta de las fuentes de datos. Sin embargo, una de las principales barreras que puede dificultar más la adopción de OBDA es la falta de herramientas para apoyar la creación de mapeos entre datos y ontologías. El objetivo de esta investigación ha sido desarrollar nuevas herramientas que permitan a expertos sin conocimientos de ontologías la creación de mapeos entre datos y ontologías. Con este fin, se han llevado a cabo dos líneas de trabajo: la generación automática de mapeos entre datos relacionales y ontologías y la edición de los mapeos a través de su representación visual. Las herramientas actualmente disponibles para automatizar la generación de mapeos están lejos de proporcionar una solución completa, ya que se basan en los esquemas relacionales y apenas tienen en cuenta los contenidos de la fuente de datos relacional y las características de la ontología. Sin embargo, los datos pueden contener relaciones ocultas que pueden ayudar a la generación de mapeos. Para superar esta limitación, hemos desarrollado AutoMap4OBDA, un sistema que genera automáticamente mapeos R2RML a partir del análisis de los contenidos de la fuente relacional y teniendo en cuenta las características de la ontología. El sistema emplea una técnica de aprendizaje de ontologías para inferir jerarquías de clases, selecciona las métricas de similitud de cadenas en base a las etiquetas de las ontologías y analiza las estructuras de grafos para generar los mapeos a partir de la estructura de la ontología. La representación visual por medio de interfaces intuitivas puede ayudar a los usuarios sin conocimientos técnicos a establecer mapeos entre una fuente relacional y una ontología. Sin embargo, las herramientas existentes para la edición visual de mapeos muestran algunas limitaciones. En particular, la representación de mapeos no contempla las estructuras de la fuente relacional y de la ontología de forma conjunta. Para superar este inconveniente, hemos desarrollado Map-On, un entorno visual web para la edición manual de mapeos. AutoMap4OBDA ha demostrado que supera las prestaciones de las soluciones existentes para la generación de mapeos. Map-On se ha aplicado en proyectos de investigación para verificar su eficacia en la gestión de mapeos.
Integration of data from heterogeneous formats and domains based on Semantic Web technologies enables us to solve their structural and semantic heterogeneity. Ontology-based data access (OBDA) is a comprehensive solution which relies on the use of ontologies as mediator schemas and relational-to-ontology mappings to facilitate data source querying. However, one of the greatest obstacles in the adoption of OBDA is the lack of tools to support the creation of mappings between physically stored data and ontologies. The objective of this research has been to develop new tools that allow non-ontology experts to create relational-to-ontology mappings. For this purpose, two lines of work have been carried out: the automated generation of relational-to-ontology mappings, and visual support for mapping editing. The tools currently available to automate the generation of mappings are far from providing a complete solution, since they rely on relational schemas and barely take into account the contents of the relational data source and features of the ontology. However, the data may contain hidden relationships that can help in the process of mapping generation. To overcome this limitation, we have developed AutoMap4OBDA, a system that automatically generates R2RML mappings from the analysis of the contents of the relational source and takes into account the characteristics of ontology. The system employs an ontology learning technique to infer class hierarchies, selects the string similarity metric based on the labels of ontologies, and analyses the graph structures to generate the mappings from the structure of the ontology. The visual representation through intuitive interfaces can help non-technical users to establish mappings between a relational source and an ontology. However, existing tools for visual editing of mappings show somewhat limitations. In particular, the visual representation of mapping does not embrace the structure of the relational source and the ontology at the same time. To overcome this problem, we have developed Map-On, a visual web environment for the manual editing of mappings. AutoMap4OBDA has been shown to outperform existing solutions in the generation of mappings. Map-On has been applied in research projects to verify its effectiveness in managing mappings.
45
Moskowitz, David Joseph. "Sobre bruxos e raças: Economias de objeto-relação e os custos da representação ou, como ser um anti-anti-fetichista da diferença." Universidade do Estado do Rio de Janeiro, 2006. http://www.bdtd.uerj.br/tde_busca/arquivo.php?codArquivo=6593.
Full textAbstract:
Por que tantos estudos acadêmicos afirmam a equivalência conceitual entre raça e bruxaria? A dissertação investiga as raízes e conseqüências deste gesto. Procura-se enfocar a maneira em que os dois objetos viram objetos de pesquisa
enquanto representações. Uma comparação entre os programas de pesquisa reputadamente opostoscognitivista e sociocultural serve para delinear os pressupostos e limites de tal abordagem. Lançando mão de uma perspectiva pragmatista e fenomenológica, a primeira parte do trabalho revela as dificuldades de um programa representacionalista em dar conta da instância concreta de identificação. Sugere-se que isto é resultado da sua ênfase excessiva na classificação. Fazendo uso das promessas de uma antropologia simétrica, a
segunda parte re-examina a insistência da ciência social em `des-naturalizar os objetos através de uma exposição crítica da sua produção. Como uma alternativa ao anti-fetichismo da crítica social, a conclusão propõe uma maneira de tratar a
alteridade capaz de oferecer novos objetos de saber e alterar nossa orientação visà-vis eles. O estudo de identidade poderia então ir além dos conceitos de reconhecimento, fronteiras, e exclusão.Why do so many academic studies affirm the conceptual equivalence of race andwitchcraft? This dissertation investigates both the roots and the consequences of this gesture. It analyzes the way both become objects of knowledge as representations. A comparison between the purported rival research agendas of cognitivism and sociocultural analysis serves to outline the assumptions and limits of this approach. Following a pragmatist and phenomenological premise, the first part of the dissertation reveals the difficulty of a representationalist research program to account for the concrete occurrence of identification. This is, the paper suggests, a result of the formers excessive focus on classification. Taking up the mantle of a symmetric anthropology, the second part reexamines the insistence of social science to denaturalize its objects by the critical exposure of their production. As an alternative to the anti-fetishism of social critique, the conclusion proposes a different manner of engaging alterity, one capable of both offering novel objects of analysis, and altering our orientation toward them. The study of difference and identity might then be able to advance beyond the well-worn concepts of recognition, boundaries, and exclusion.
46
Oliveira, Ana Rosa Vieira. "Perspectivas crítica s sobre a mensuração da pobreza e desigualdade no Brasil: uma reflexão a partir do IDH." Universidade do Estado do Rio de Janeiro, 2005. http://www.bdtd.uerj.br/tde_busca/arquivo.php?codArquivo=7625.
Full textAbstract:
O presente estudo tem como objetivo desenvolver uma reflexão sobre o uso dos indicadores sociais sintéticos no sentido de formular e implementar políticas públicas na área social, especificamente em relação ao caso brasileiro, tomando como referência principal o Índice de Desenvolvimento Humano (IDH). Nossa análise partiu da premissa de que, pelos menos nas últimas três décadas, os indicadores sociais têm sido amplamente utilizados no Brasil com o objetivo de justificar e orientar ações públicas direcionadas para as tentativas de equacionamento das mais variadas questões sociais, tais como a pobreza e a concentração de renda. Principalmente a partir dos anos 1990 os dados e apontamentos de alguns indicadores sociais sintéticos, especialmente o IDH, parecem que vêm sendo utilizados como justificativa principal ou até mesmo única para a priorização de determinadas políticas públicas voltadas para a área social. A partir dessa reflexão, nossa análise buscou avaliar, com um olhar mais apurado sobre o IDH, a existência de falhas e limites inerentes aos indicadores sintéticos, que poderiam estar comprometendo sua eficácia no sentido de refletir dados mais aproximados com a realidade social brasileira. Assim, pretendemos apontar que a prática de priorização de políticas a partir dos dados desses indicadores sintéticos, que parece ser constante no Brasil, acaba se tornando bastante preocupante ou, algumas vezes, talvez inadequada. Do ponto de vista metodológico, este estudo dependeu basicamente de uma pesquisa bibliográfica e de uma pesquisa documental, a partir das quais decompomos nossas análises em reflexões sobre a formação e evolução dos indicadores sociais, sobre os aspectos filosóficos e metodológicos do IDH e sobre as possíveis falhas e limites inerentes aos indicadores, com base na análise do IDH e dos índices parciais que o compõem (índices de Renda, Educação e Longevidade). A seguir, para mostrar que a prática de priorização de políticas sociais a partir de indicadores parece constante no Brasil, ilustramos os casos selecionados de determinados estados e municípios brasileiros.O presente estudo tem como objetivo desenvolver uma reflexão sobre o uso dos indicadores sociais sintéticos no sentido de formular e implementar políticas públicas na área social, especificamente em relação ao caso brasileiro, tomando como referência principal o Índice de Desenvolvimento Humano (IDH). Nossa análise partiu da premissa de que, pelos menos nas últimas três décadas, os indicadores sociais têm sido amplamente utilizados no Brasil com o objetivo de justificar e orientar ações públicas direcionadas para as tentativas de equacionamento das mais variadas questões sociais, tais como a pobreza e a concentração de renda. Principalmente a partir dos anos 1990 os dados e apontamentos de alguns indicadores sociais sintéticos, especialmente o IDH, parecem que vêm sendo utilizados como justificativa principal ou até mesmo única para a priorização de determinadas políticas públicas voltadas para a área social. A partir dessa reflexão, nossa análise buscou avaliar, com um olhar mais apurado sobre o IDH, a existência de falhas e limites inerentes aos indicadores sintéticos, que poderiam estar comprometendo sua eficácia no sentido de refletir dados mais aproximados com a realidade social brasileira. Assim, pretendemos apontar que a prática de priorização de políticas a partir dos dados desses indicadores sintéticos, que parece ser constante no Brasil, acaba se tornando bastante preocupante ou, algumas vezes, talvez inadequada. Do ponto de vista metodológico, este estudo dependeu basicamente de uma pesquisa bibliográfica e de uma pesquisa documental, a partir das quais decompomos nossas análises em reflexões sobre a formação e evolução dos indicadores sociais, sobre os aspectos filosóficos e metodológicos do IDH e sobre as possíveis falhas e limites inerentes aos indicadores, com base na análise do IDH e dos índices parciais que o compõem (índices de Renda, Educação e Longevidade). A seguir, para mostrar que a prática de priorização de políticas sociais a partir de indicadores parece constante no Brasil, ilustramos os casos selecionados de determinados estados e municípios brasileiros.
47
Figueiredo, Diogo Miguel Frias de. "Customisable e-training programmes based on trainees profiles." Master's thesis, Faculdade de Ciências e Tecnologia, 2011. http://hdl.handle.net/10362/5716.
Full textAbstract:
Dissertation presented at Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa to obtain the Master degree in Electrical and Computer EngineeringOnline training (e-training) is a major driver to promote the development of competencies and knowledge in enterprises. A lack of customizable e-training programmes based on trainees‟ profiles and of continuous maintenance of the training materials prevents the sustainability of industrial training deployment. This dissertation presents a training strategy and a methodology for building training courses with the purpose to provide a trainee oriented industrial training development. The training strategy intends to facilitate the management of all the training components and tasks to be able to build a training structure focused in a specific planned objective. The methodology for building e-training courses proposes to create customizable training materials in an easier way, enabling various organizations to participate actively on its production. Additionally a customisable training programme framework is presented. It is supported by a compliant ontology-based model able to support adaptable training contents, orchestration service, facilitating the efficiency and acceptance of the e-training programmes delivery.
48
Gängler, Thomas. "Semantic Federation of Musical and Music-Related Information for Establishing a Personal Music Knowledge Base." Master's thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-72434.
Full textAbstract:
Music is perceived and described very subjectively by every individual. Nowadays, people often get lost in their steadily growing, multi-placed, digital music collection. Existing music player and management applications get in trouble when dealing with poor metadata that is predominant in personal music collections. There are several music information services available that assist users by providing tools for precisely organising their music collection, or for presenting them new insights into their own music library and listening habits. However, it is still not the case that music consumers can seamlessly interact with all these auxiliary services directly from the place where they access their music individually. To profit from the manifold music and music-related knowledge that is or can be available via various information services, this information has to be gathered up, semantically federated, and integrated into a uniform knowledge base that can personalised represent this data in an appropriate visualisation to the users. This personalised semantic aggregation of music metadata from several sources is the gist of this thesis. The outlined solution particularly concentrates on users’ needs regarding music collection management which can strongly alternate between single human beings. The author’s proposal, the personal music knowledge base (PMKB), consists of a client-server architecture with uniform communication endpoints and an ontological knowledge representation model format that is able to represent the versatile information of its use cases. The PMKB concept is appropriate to cover the complete information flow life cycle, including the processes of user account initialisation, information service choice, individual information extraction, and proactive update notification. The PMKB implementation makes use of SemanticWeb technologies. Particularly the knowledge representation part of the PMKB vision is explained in this work. Several new Semantic Web ontologies are defined or existing ones are massively modified to meet the requirements of a personalised semantic federation of music and music-related data for managing personal music collections. The outcome is, amongst others, • a new vocabulary for describing the play back domain, • another one for representing information service categorisations and quality ratings, and • one that unites the beneficial parts of the existing advanced user modelling ontologies. The introduced vocabularies can be perfectly utilised in conjunction with the existing Music Ontology framework. Some RDFizers that also make use of the outlined ontologies in their mapping definitions, illustrate the fitness in practise of these specifications. A social evaluation method is applied to carry out an examination dealing with the reutilisation, application and feedback of the vocabularies that are explained in this work. This analysis shows that it is a good practise to properly publish Semantic Web ontologies with the help of some Linked Data principles and further basic SEO techniques to easily reach the searching audience, to avoid duplicates of such KR specifications, and, last but not least, to directly establish a \"shared understanding\". Due to their project-independence, the proposed vocabularies can be deployed in every knowledge representation model that needs their knowledge representation capacities. This thesis added its value to make the vision of a personal music knowledge base come true.
49
Chungoora, Nitishal. "A framework to support semantic interoperability in product design and manufacture." Thesis, Loughborough University, 2010. https://dspace.lboro.ac.uk/2134/5897.
Full textAbstract:
It has been recognised that the ability to communicate the meaning of concepts and their intent within and across system boundaries, for supporting key decisions in product design and manufacture, is impaired by the semantic interoperability issues that are presently encountered. This work contributes to the field of semantic interoperability in product design and manufacture. An attribution is made to the understanding and application of relevant concepts coming from the computer science world, notably ontology-based approaches, to help resolve semantic interoperability problems. A novel ontological approach, identified as the Semantic Manufacturing Interoperability Framework (SMIF), has been proposed following an exploration of the important requirements to be satisfied. The framework, built on top of a Common Logic-based ontological formalism, consists of a manufacturing foundation to capture the semantics of core feature-based design and manufacture concepts, over which the specialisation of domain models can take place. Furthermore, the framework supports the mechanisms for allowing the reconciliation of semantics, thereby improving the knowledge sharing capability between heterogeneous domains that need to interoperate and have been based on the same manufacturing foundation. This work also analyses a number of test case scenarios, where the framework has been deployed for fostering knowledge representation and reconciliation of models involving products with standard hole features and their related machining process sequences. The test cases have shown that the Semantic Manufacturing Interoperability Framework (SMIF) provides effective support towards achieving semantic interoperability in product design and manufacture. Proposed extensions to the framework are additionally identified so as to provide a view on imminent future work.
50
Roberts, Spencer. "Deleuze, judgment and artistic research." Thesis, University of Hertfordshire, 2016. http://hdl.handle.net/2299/17224.
Full textAbstract:
The debate concerning the legitimacy of artistic research that has taken place over the last two decades is notable for the way in which it has drawn attention to rival 'representational' and 'performative' conceptions of thought. In the early stages of the debate, critics such as Durling, Friedman, Elkins and Biggs employed broadly representational arguments in a quasi-legal context of judgment to suggest that processes of artistic research were in some sense unrecognisable when attempts were made to see them through the conceptual lens of 'research'. In contrast to this, advocates of artistic research, such as Haseman, Bolt, Sullivan and Slager proposed that research arising out of artistic practice possessed distinctive qualities - conjoining interests in the experimental, the experiential, and the non-representational, with a set of predominantly transformative aims. Haseman et al have likewise suggested that the concerns of the practitioner-researcher, at least in the context of the arts, are mainly ontological as opposed to epistemological in character - seeking to explore, reframe, or contest existing states of affairs in a broadly performative fashion. Whilst supporters of artistic research often stress the requirement for new ways of thinking to accommodate the specificities of practice-led research, many of the concepts that are employed in an attempt to understand the aims and concerns of artistic research have a long 'process-philosophical' lineage. Process philosophy has been present as a minor current in Western philosophy since as early as 540 BC and through the influence of luminaries such as Dewey and Langer, it has long been associated with education in the arts. Process philosophers typically emphasise both the ontological priority of change and the relational constitution of entities. From the perspective of process philosophy, the world of stable and enduring things arises out of a differential play of interacting forces that admit of multiple and contingent patterns of relation. With this in mind, the contemporary anti-essentialist arguments that are often utilised in the defense of artistic research are positioned in this thesis as examples of process-philosophical thinking, paving the way for an application of the post-structuralist, process-philosophical thought of Gilles Deleuze to the debate concerning the legitimacy of practice-led research. An interesting and long running feature of the legitimacy debate has been the failing of participants on both sides of the discussion to critically engage with their opposition - preferring instead to construct rather idealised, ghostly positions, which ultimately sidestep the specificities of the situation. In an attempt to address the lack of sustained critical confrontation between oppositional voices in the discussion, this thesis attempts a close qualitative engagement with a prominent skeptical position. To this end, the work of Michael Biggs and Daniela Büchler is interrogated from a conceptual, aesthetic and relational perspective, revealing its Wittgensteinian and Kantian roots, and subjecting them to critical scrutiny from the perspective of Deleuzian thought. Biggs and Büchler, have developed a markedly critical voice in the legitimacy debate, importing the early hostility towards practice-led research that arose out of a predominantly North American design community into the context of UK, Dutch and Australian discussion. Biggs and Büchler are much cited within the literature on artistic and practice-led modes of research and they have been influential in the framing of policy. The critique of Biggs and Büchler that is developed in this thesis begins from the observation that their work embodies a broadly conservative emphasis upon representation and recognition, and that it is expressive of what Deleuze describes as the 'dogmatic image of thought'. It is argued here that Biggs and Büchler's resistance to the affective and the performative is pervasive, serving to colour their approach to philosophy, art and aesthetics and to place them at odds with the largely material-experiential, and transdisciplinary interests of many artistic researchers. With this in mind, a series of aesthetico-conceptual strategies are employed in order to problematise Biggs and Büchler's position and to stage an encounter between a process-pragmatism of the left (as typified by the philosophy of Deleuze), and a linguistic-pragmatism of the right (as typified by the philosophy of Wittgenstein). This thesis makes a number of claims to knowledge. Primarily it aims to demonstrate that the justification of artistic research need not be separatist or isolationist in character, but that in demonstrating the overlap between traditional and non-traditional forms of research we need not dispense with artistry or neglect the artefact's performative work. In this sense it aims to show how characteristics sometimes considered specific to practice-led research have a more generalised, if somewhat understated presence in the context of more traditional modes of enquiry. In a similar vein, it aims to demonstrate how a broadly traditional, written thesis might be explored in the spirit of practice-led enquiry - drawing attention to a range of textual, imaginative, conceptual and speculative devices that might enable us to explore the intensities of a problem space, and to investigate the ways in which aesthetic devices might also perform active work in the context of an argument. Ultimately this results in a questioning of the separation of artefact and argument that is characteristic of much discussion of practice-led research. Methodologically the thesis is distinctive in its sustained critical engagement with a single oppositional voice, which is also intended, through a process of extrapolation, to problematise a more generalised positivistic current of thought emanating primarily from the discipline of design. Lastly, the philosophical critique of the Wittgensteinian underpinnings of Biggs and Büchler's position also facilitates a contribution to Deleuze studies - addressing the breadth of Deleuze's concept of relation and critically interrogating the thought of Ludwig Wittgenstein - the philosopher for whom Deleuze seemed to harbour the strongest antipathy, but of whom he was also the most reticent to speak. Whilst it is clear that there has been much interest in the potential application of Deleuze since the inception of the legitimacy debate, and whilst it is clear that the employment of Deleuze as primary theorist in practice-based-research projects is in the ascent, to date there has been little work that is explicitly focused upon the resonance of Deleuzian thought with respect to the productive context, or the legitimacy of the practice-based PhD.