Relevant bibliographies by topics / Ontologie

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Ontologie'

Author: Grafiati
Published: 4 June 2021
Last updated: 12 April 2025

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Ontologie.'

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.

Journal articles on the topic "Ontologie"

1

Fiedler, Eduard. "New Trinitarian Ontologies: Approaches to Trinitarian Ontology Represented at the New Trinitarian Ontologies Conference (2019)." Studia theologica 23, no. 2 (September 15, 2021): 101–24. http://dx.doi.org/10.5507/sth.2020.057.

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

Méville, Denis. "Logique, ontologie et ontologie." Revue internationale de philosophie 236, no. 2 (June 1, 2006): 149–62. http://dx.doi.org/10.3917/rip.236.0149.

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

Braun, Simone, Andreas Schmidt, and Valentin Zacharias. "Mit Social Semantic Bookmarking zur nützlichen OntologieWith Social Semantic Bookmarking towards useful ontologies." i-com 8, no. 3 (December 2009): 12–19. http://dx.doi.org/10.1524/icom.2009.0031.

Full text
Abstract:
ZusammenfassungDieser Artikel präsentiert das SOBOLEO-System und das zugrundeliegende Ontologiereifungsprozessmodell für die kollaborative Ontologieentwicklung. Man kann beobachten, dass die meisten aktuellen Ontologieentwicklungsprozesse und -werkzeuge von einer organisatorischen, personellen, technischen und zeitlichen Trennung zwischen Entwicklung und Nutzung der Ontologie ausgehen – eine Trennung, die wiederum häufig zu kostspieligen und nicht an ihre Nutzung angepasste Ontologien führt. Unser Ansatz überwindet die durch diese Trennung verursachten Schwierigkeiten mittels Methoden und Werkzeugen, die die Nutzer der Ontologie in die Lage versetzen, diese selbst zu entwickeln, und zwar im gleichen System, das die Ontologie nutzt und zu dem Zeitpunkt und Umfang wie jeweils nötig (arbeits integriert).
APA, Harvard, Vancouver, ISO, and other styles
4

Siegert, Bernhard. "Öffnen, Schließen, Zerstreuen, Verdichten." Zeitschrift für Medien- und Kulturforschung 8, no. 2 (2017): 95–114. http://dx.doi.org/10.28937/1000107975.

Full text
Abstract:
"Im Rahmen der technikphilosophischen, ethnologischen wie auch medien- und kulturwissenschaftlichen Debatte über die Handlungsmacht der Dinge ist es zu einer Konjunktur von Ontologien gekommen, die jedoch das traditionelle Konzept der Ontologie dekonstruiert bzw. verschiebt. Der Beitrag folgt dieser Verschiebung der Ontologie, die Medien und mediale Artefakte nicht mehr als Substanzen denkt, sondern als Verkettungen von Praktiken und Operationen, die diese Medien-Dinge allererst generieren. Nach ›operativen Ontologien‹ zu fragen bedeutet, nach den konkreten ontischen Operationen zu fragen, die allererst ontologische Unterscheidungen hervorbringen – z. B. zwischen Form und Materie, Bild und Gegenstand, Ding und Prozess, Figur und Grund. Diese ontischen Operationen bilden den Kern dessen, was man Kulturtechniken nennt. Anhand von beispielhaften Hybridobjekten aus dem Bereich der material culture des späten Mittelalters und der frühen Neuzeit zeigt der Beitrag, wie dies konkret zu verstehen ist. The debate on the agency of objects, lead by philosophy, ethnology as well as cultural and media studies, has triggered a boom of ontologies, deconstructing the traditional concept of ontology. The contribution follows this shift of ontology, which no longer conceives of the media and media artifacts as substances, but as concatenations of practices and operations that are generated by media objects in the first place. To ask for ‘operational ontologies’ means to ask for the concrete ontical operations which first of all produce onto- logical distinctions – e. g. between form and matter, image and object, thing and process, figure and background. These ontical operations form the core of what we call cultural techniques. The contribution illustrates and explains this thesis with reference to hybrid objects from the material culture of the late Middle Ages and Early Modernity. "
APA, Harvard, Vancouver, ISO, and other styles
5

Hesse, Wolfgang, and Hermann Engesser. "Ontologie." Informatik-Spektrum 37, no. 4 (May 23, 2014): 281–82. http://dx.doi.org/10.1007/s00287-014-0808-2.

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

Bautista Zambrana, Maria Rosario. "European directives and ontologies for terminology and translation." Scolia 25, no. 1 (2011): 171–86. http://dx.doi.org/10.3406/scoli.2011.1181.

Full text
Abstract:
Les directives européennes constituent une ressource d'une grande valeur pour la traduction et la terminologie, car elles fournissent des milliers de textes à partir desquels peuvent être construits des corpus, des mémoires de traduction, etc. Concrètement, si nous combinons les connaissances contenues dans les directives avec l'ingénierie ontologique, nous pouvons obtenir des ressources terminologiques fondées sur des ontologies, qui peuvent devenir une source précieuse de documentation conceptuelle et terminologique pour le traducteur. Pour vérifier notre hypothèse, cet article montre comment une ontologie a été construite sur le domaine du voyage à forfait. Pour cela, nous avons utilisé la méthodologie methontology (Gômez-Pérez étal., 2004). Nous envisageons également la possibilité d'utiliser l'approche de Termontographie (Temmerman et Kerremans, 2003).
APA, Harvard, Vancouver, ISO, and other styles
7

Barton, Adrien, and Arnaud Rosier. "Ontologies appliquées biomédicales et ontologie philosophique : un développement complémentaire." Lato Sensu, Revue de la Société de philosophie des sciences 3, no. 1 (December 22, 2016): 1–8. http://dx.doi.org/10.20416/lsrsps.v3i1.273.

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

Kahane, David. "Délibération démocratique et ontologie sociale." Articles 29, no. 2 (May 9, 2003): 251–86. http://dx.doi.org/10.7202/006254ar.

Full text
Abstract:
Résumé Les théoriciens de la démocratie s’appuient, implicitement ou explicitement, sur des ontologies sociales, c’est-à-dire sur une conception de la relation constitutive entre individus et groupes sociaux. Cet article met en évidence l’ontologie sociale « individualiste » implicite dans les sondages d’opinion délibératifs de James Fishkin pour ensuite proposer une alternative : l’ontologie sociale « relationnelle ». L’article examine la façon dont ce second type d’ontologie sociale modifierait les principes et les mécanismes délibératifs, de même que les coûts en légitimité qu’impliquerait la mise en question de l’individualisme normatif. En particulier, le passage d’une ontologie sociale individualiste à une ontologie sociale relationnelle place au centre des théories de la démocratie des analyses controversées du pouvoir et de l’oppression. Je suggère que cette politisation est nécessaire pour que les approches délibératives soient adéquates tant au type d’êtres que nous sommes qu’aux rapports de force sociaux dans lesquels nous nous mouvons. Sans cette politisation, la démocratie délibérative ne pourrait pas davantage répondre aux exigences de la justice démocratique.
APA, Harvard, Vancouver, ISO, and other styles
9

Potepa, Maciej. "Transzendentale Ontologie." Fichte-Studien 22 (2003): 141–54. http://dx.doi.org/10.5840/fichte20032230.

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

Hesse, Wolfgang. "Ontologie(n)." Informatik-Spektrum 25, no. 6 (December 1, 2002): 477–80. http://dx.doi.org/10.1007/s002870200265.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Ontologie"

1

Jean, Grégori. "Quotidienneté et ontologie : essai de non-ontologie fondamentale." Nice, 2008. http://www.theses.fr/2008NICE2013.

Full text
Abstract:
Être et temps s’ouvrait sur la nécessité de répéter la « question de l’être », mais « commençait » par une analytique de la « quotidienneté ». Si notre époque est peu encline à entendre le projet ontologique-fondamental, du moins s’est-elle emparée du « quotidien » jusqu’à l’ériger en authentique paradigme philosophique : des recherches sur le « monde de la vie » aux « philosophies du langage ordinaire », des « sociologies de la vie quotidienne » aux diverses tentatives de la constituer en enjeu éthico-politique, la « quotidienneté » est au-jourd’hui à la croisée de nos chemins théoriques et pratiques. Le présent travail prend acte de ce paradigme, mais pour le projeter, sur un mode critique, vers ce qui chez Heidegger en constituait le « lieu » : la Différence ontologico-quotidienne. Il montre en effet, par une lec-ture interne de l’histoire de la phénoménologie, et plus spécifiquement de l’ontologie fonda-mentale, que ce problème, constituant comme son point aveugle, y introduit certaines failles architectoniques dans lesquelles une pensée comme celle de Wittgenstein et une sociologie comme celle de Goffman s’engouffrent, mettant implicitement en question ce qui lui permet-tait d’assurer, entre les deux « termes » de cette Différence, la continuité requise par son geste d’auto-fondation : le « faktum » de la « compréhension moyenne et vague de l’être ». C’est ainsi la voie d’une « non-ontologie fondamentale » qu’il se propose de suivre ; non certes pour elle-même mais bien — en écho cette fois à la pensée du « second » Heidegger — en tant que ce « hors-être » de la quotidienneté constitue le (non)fondement sur lequel la « question de l’être » exige d’être à nouveau répétée
Being and Time opened on the need to repeat the « question of being », but « started » with an analysis of « everydayness ». If our time is not very inclined to hear the ontological-fundamental project, at least it seized the « everyday » until setting it up into an authentical philosophical paradigm : from researches on the « life-world » to « ordinary language phi-losophies », from « everyday life sociologies » to various attempts to constitute it as a genuine ethical-political claim, it crosses today all our theoretical and practical ways. This work takes note of this paradigm, but projects it, on a critical mode, towards what, according to Heideg-ger, constituted its proper « place »: the ontological-daily Difference. It shows indeed, through an internal reading of the history of phenomenology, and more specifically of funda-mental ontology, that this problem represents somehow its blind focal point, and introduces certain architectonic faults in which a thought like Wittgenstein’s and a sociology like Goff-man’s are engulfed, insofar as they question implicitly what enabled it to ensure, between the two « terms » of this Difference, the continuity required by its gesture of auto-foundation : the « faktum » of « average and vague understanding of Being ». Consequently, this work pro-poses to follow the path of a « fundamental non-ontology » ; not however for itself but — echoing the « second » Heidegger — to the extent that such an « out-being » of everyday life constitutes the (non)basis from which the « question of being » requires to be asked again.
APA, Harvard, Vancouver, ISO, and other styles
2

Luan, Dong. "Ontologie esthétique." Paris 1, 1989. http://www.theses.fr/1989PA010612.

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

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

Full text
Abstract:
The original and still a major purpose of ontologies in computer and information sciences is to serve for the semantic integration of represented content, facilitating information system interoperability. Content can be data, information, and knowledge, and it can be distributed within or across these categories. A myriad of languages is available for representation. Ontologies themselves are artifacts which are expressed in various languages. Different such languages are utilized today, including, as well-known representatives, predicate logic, subsuming first-order (predicate) logic (FOL), 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.
APA, Harvard, Vancouver, ISO, and other styles
4

Hazuza, Petr. "Ontologie přístupnosti budov." Master's thesis, Vysoká škola ekonomická v Praze, 2014. http://www.nusl.cz/ntk/nusl-202106.

Full text
Abstract:
Within the project Maps without Barriers realized under Charta 77 Foundation - Barriers Account, in 2015 we intend to map accessibility of buildings and its premises from the perspective of people with limited mobility. We plan to inspect nearly 600 castles, palaces and other tourist attractions in the Czech Republic. The acquired data will be gathered and published as an on-line map in form of open and machine-readable data. It will also appear as Linked Open Data. However, the project will not end with mapping premises, the main objective is to provide a solid foundation for a unified database of accessibility of buildings and its premises. Negotiations with institutions and organizations interested in mapping are in progress and we try to offer them our project platform for publication of their data. The required RDFS vocabulary will be designed and carried out as part of this diploma thesis. It will be tested on the data from a number of forms describing existing objects. The data will be gathered by means of services designed in terms of this theses and provided for purchasers and users equally.
APA, Harvard, Vancouver, ISO, and other styles
5

Siegemund, Katja. "Contributions To Ontology-Driven Requirements Engineering." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-162704.

Full text
Abstract:
Today, it is well known that missing, incomplete or inconsistent requirements lead to faulty software designs, implementations and tests resulting in software of improper quality or safety risks. Thus, an improved Requirements Engineering contributes to safer and better-quality software, reduces the risk of overrun time and budgets and, most of all, decreases or even eliminates the risk for project failures. One significant problem requirements engineers have to cope with, are inconsistencies in the Software Requirements Specification. Such inconsistencies result from the acquisition, specification, and evolution of goals and requirements from multiple stakeholders and sources. In order to regain consistency, requirements information are removed from the specification which often leads to incompleteness. Due to this causal relationship between consistency, completeness and correctness, we can formally improve the correctness of requirements knowledge by increasing its completeness and consistency. Furthermore, the poor quality of individual requirements is a primary reason why so many projects continue to fail and needs to be considered in order to improve the Software Requirements Specification. These flaws in the Software Requirements Specification are hard to identify by current methods and thus, usually remain unrecognised. While the validation of requirements ensures that they are correct, complete, consistent and meet the customer and user intents, the requirements engineer is hardly supported by automated validation methods. In this thesis, a novel approach to automated validation and measurement of requirements knowledge is presented, which automatically identifies incomplete or inconsistent requirements and quality flaws. Furthermore, the requirements engineer is guided by providing knowledge specific suggestions on how to resolve them. For this purpose, a requirements metamodel, the Requirements Ontology, has been developed that provides the basis for the validation and measurement support. This requirements ontology is suited for Goal-oriented Requirements Engineering and allows for the conceptualisation of requirements knowledge, facilitated by ontologies. It provides a huge set of predefined requirements metadata, requirements artefacts and various relations among them. Thus, the Requirements Ontology enables the documentation of structured, reusable, unambiguous, traceable, complete and consistent requirements as demanded by the IEEE specification for Software Requirement Specifications. We demonstrate our approach with a prototypic implementation called OntoReq. OntoReq allows for the specification of requirements knowledge while keeping the ontology invisible to the requirements engineer and enables the validation of the knowledge captured within. The validation approach presented in this thesis is capable of being applied to any domain ontology. Therefore, we formulate various guidelines and use a continuous example to demonstrate the transfer to the domain of medical drugs. The Requirements Ontology as well as OntoReq have been evaluated by different methods. The Requirements Ontology has been shown to be capable for capturing requirements knowledge of a real Software Requirements Specification and OntoReq feasible to be used by a requirements engineering tool to highlight inconsistencies, incompleteness and quality flaws during real time requirements modelling.
APA, Harvard, Vancouver, ISO, and other styles
6

Ziani, Mina. "Conception d'une ontologie hybride à partir d'ontologies métier évolutives : intégration et alignement d'ontologies." Thesis, Lyon 3, 2012. http://www.theses.fr/2012LYO30081.

Full text
Abstract:
Cette thèse se situe dans le champ de la gestion des connaissances à l’aide de modèles ontologiques. Pour représenter les connaissances de domaine, nous avons conçu une ontologie hybride à deux niveaux : au niveau local, chaque groupe d’experts (du même métier) a construit sa propre ontologie, au niveau global une ontologie consensuelle regroupant les connaissances partagées est créée de façon automatique. De plus, des liens sémantiques entre les éléments de différentes ontologies locales peuvent être ajoutés.Nous avons construit un système d’aide pour guider les experts dans le processus de création de liens sémantiques ou mises en correspondance. Ses particularités sont de proposer des mesures de similarité en fonction des caractéristiques des ontologies à aligner, de réutiliser des résultats déjà calculés et de vérifier la cohérence des mises en correspondances créées.Par ailleurs, les ontologies locales peuvent être mises à jour. Cela implique des changements au niveau de l’ontologie globale ainsi que des mises en correspondances créées. De ce fait, nous avons développé une approche, adaptée à notre domaine pour gérer l’évolution de l’ontologie hybride. En particulier, nous avons utilisé la notion de versions d’ontologies afin de garder trace de toutes les modifications apportées au niveau des ontologies et de pouvoir revenir à tout moment à une version précédente.Nous avons appliqué notre travail de recherche à la géotechnique qui est un domaine complexe impliquant des experts de différents métiers. Une plateforme logicielle est en cours de réalisation et permettra de tester la faisabilité de nos travaux
This thesis concerns the scope of knowledge management using ontological models.To represent domain knowledge, we design a hybrid ontology on two levels: In a local level, each experts’ group has designed its own ontology. In a global level, a consensual ontology containing all the shared knowledge is automatically created.We design a computer-aided system to help experts in the process of mapping creation. It allows experts to choice similarity measures relatively to the ontology characteristics, to reuse the calculated similarities and to verify the consistency of the created mappings.In addition, local ontologies can be updated. This involves modifications in the global ontology and on the created mappings. A relevant approach of our domain was developed.In particular, ontology versioning is used in order to keep a record of all the occurred modifications in the ontologies; it allows to return at any time a previous version of the hybrid ontology.The exploited domain is geotechnics which gathers various business experts. A prototype is in progress and currently does not still captures ontology evolution
APA, Harvard, Vancouver, ISO, and other styles
7

Ducros, Paul. "Ontologie de la psychanalyse." Nice, 2001. http://www.theses.fr/2001NICE2001.

Full text
Abstract:
La psychanalyse a pu susciter l'interrogation philosophique, mais peu d'approches ont pu considérer qu'il pouvait y avoir une "philosophie du freudisme". Cette thèse est ainsi une approche phénoménologique de la psychanalyse, qui a pour but de montrer qu'elle possède, peut-être même à son insu, une ontologie, c'est-à-dire une pensée des formes d'apparaître des étants et de leurs conditions. A partir de la philosophie de Merleau-Ponty, la thèse s'efforce de révéler une pensée de la subjecivité comme processus d'individuation, qui s'édifie par couches allant de l'inconscient au conscient. Celui-ci consiste en un moi percevant, qui est porté par des processus qui s'ouvrent à des étants sans qu'ils soient donnés en pure présence. Ce que Freud baptise processus primaire est un ensemble d'actes psychiques qui ne visent ni des objets absoluments présents, ni le pur néant de l'absence, mais un mixte d'être et de non-être. Ce processus ne peut être pensé qu'à partir d'une philosophie du corps et de la Chair telle que Merleau-Ponty peut la thématiser. C'est à partir du concept de Chair que le monde freudien, en tant qu'il est constitué d'un mélange d'absence et de présence, peut être pensé dans sa dimension ontologique. Les concepts-clés de la métapsychologie et de la clinique (refoulé, phallus, relations oedipienne, etc. . . ) s'expliquent par une pensée du mixte. Cette ontologie du lien de l'être et du non-être est le fondement de la pensée de la finitude propre à la psychanalyse, qui culmine dans le concept de mélange des pulsions et de pulsion de mort.
APA, Harvard, Vancouver, ISO, and other styles
8

Eichler, Marc. "Extraktion einer OWL-Ontologie." [S.l. : s.n.], 2004. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB11482143.

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

Le, Bihan Baptiste. "Un espace-temps de contingences." Thesis, Rennes 1, 2015. http://www.theses.fr/2015REN1S133.

Full text
Abstract:
La théorie qui sert de point de départ à ce travail en métaphysique du temps est la théorie de l’univers-bloc, théorie fortement suggérée par la physique selon laquelle nous vivons dans un espace-temps à quatre dimensions. Selon cette théorie, le présent n’est pas la seule réalité : le passé et le futur sont tout aussi réels que le présent. Or, si le futur est aussi réel que le présent, l’avenir semble alors déterminé. Cette thèse explore certaines pistes pour montrer au contraire que le futur peut à la fois exister et être contingent dans le cadre de la théorie de l’univers-bloc. Après avoir exploré la solution qui consiste à réifier une pluralité de futurs possibles, sorte de réalisme modal, je proposerai une solution actualiste alternative basée sur une théorie conventionnaliste des modalités métaphysiques. Selon cette dernière théorie, les modalités métaphysiques sont purement conventionnelles. Je montrerai que la nécessité de l’occurrence du futur dans le cadre de la théorie de l’univers-bloc est une nécessité conventionnelle, fondée dans le langage. Couplée à un réalisme des modalités naturelles (les modalités causales et/ou nomologiques), cette théorie permet de défendre que le futur est conventionnellement fermé et naturellement ouvert dans la mesure où il existe, indépendamment du langage, des relations de contingence naturelle entre le présent et le futur. Cette solution a pour coût, à travers le conventionnalisme modal, de rejeter les essences et donc les objets ordinaires et les particules physiques. Je montre cependant que ce coût est acceptable et qu’il s’agit même d’une conséquence bienvenue
I begin by giving reasons to accept the block-universe view, the strongly supported by physics view that we live in a four-dimensional world. According to it, the past and the future are as real as the present. But then, it seems that the future is determined in the sense that what will be the case will necessarily be the case. In the dissertation, I want to examine whether we have to accept this consequence. I show that we do not have to bite the bullet: the future might be both real and contingent. I first start to consider modal realism (possible futures are real) as a possible solution. However, I propose then another account, actualist (positing the reality of only one possible world: the space-time we live in). This solution relies on a conventionalist theory about metaphysical modality. It states that modal modality is purely conventional. In combination with a realist interpretation of natural modality (causal and/or nomological), this framework allows me to propose that the future is conventionally closed and naturally contingent. In this view, the necessity of the future holds in virtue of linguistic conventions and then is conventionally necessary. But this is a distinct phenomenon from the natural contingency of the future: the future is naturally contingent because there are mind-independent probabilistic relations holding between the present and the future. This solution has strong consequences: most importantly, an anti-realist view about ordinary objects and physical particles. I end up by presenting and arguing in favor of the general image of the world that comes out from these views
APA, Harvard, Vancouver, ISO, and other styles
10

Kleb, Joachim [Verfasser]. "Ontologie-basierte Monosemierung / Joachim Kleb." Karlsruhe : KIT Scientific Publishing, 2015. http://www.ksp.kit.edu.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Ontologie"

1

Weissmahr, Béla. Ontologie. Stuttgart: W. Kohlhammer, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Urbich, Jan, and Jörg Zimmer, eds. Handbuch Ontologie. Stuttgart: J.B. Metzler, 2020. http://dx.doi.org/10.1007/978-3-476-04638-3.

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

Meixner, Uwe. Axiomatische Ontologie. Regensburg: S. Roderer Verlag, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Šmajs, Josef. Evoluční ontologie. Brno: Masarykova univerzita, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

1958-, Bottani Andrea, and Davies Richard 1959-, eds. Ontologie regionali. Milano: Mimesis, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Luan, Dong. Ontologie esthétique. Lille: A.N.R.T. Université de Lille III, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Bondy, Egon. Útěcha z ontologie: Substanční a nesubstanční model v ontologii. 2nd ed. Praha: DharmaGaia, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Jean-François, Mattéi, ed. Heidegger, l'énigme de l'être. Paris: Presses universitaires de France, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Slenczka, Notger. Realpräsenz und Ontologie. Göttingen: Vandenhoeck & Ruprecht, 1993. http://dx.doi.org/10.13109/9783666562730.

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

Zelený, Jindřich. Die dialektische Ontologie. Frankfurt am Main: Lang, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Ontologie"

1

Strobel, Benedikt. "Ontologie." In Platon-Handbuch, 135–46. Stuttgart: J.B. Metzler, 2017. http://dx.doi.org/10.1007/978-3-476-04335-1_23.

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

Ostritsch, Sebastian, and Jakob Steinbrenner. "Ontologie." In Philosophie des Computerspiels, 55–74. Stuttgart: J.B. Metzler, 2018. http://dx.doi.org/10.1007/978-3-476-04569-0_5.

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

Mahner, Martin, and Mario Bunge. "Ontologie." In Philosophische Grundlagen der Biologie, 3–48. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/978-3-642-57231-9_1.

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

Wucherer-Huldenfeld, Augustinus Karl. "Ontologie." In Wörterbuch der Psychotherapie, 474–75. Vienna: Springer Vienna, 2000. http://dx.doi.org/10.1007/978-3-211-99131-2_1269.

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

Long, A. A., and D. N. Sedley. "Ontologie." In Die hellenistischen Philosophen, 188–214. Stuttgart: J.B. Metzler, 2000. http://dx.doi.org/10.1007/978-3-476-03721-3_7.

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

Effertz, Dirk. "Ontologie." In Handbuch Christian Wolff, 139–52. Wiesbaden: Springer Fachmedien Wiesbaden, 2018. http://dx.doi.org/10.1007/978-3-658-14737-2_7.

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

Seidlmayer, Eva. "Ontologie." In Edition Medienwissenschaft, 243–52. Bielefeld, Germany: transcript Verlag, 2024. https://doi.org/10.14361/9783839467657-025.

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

Pagès, Joan. "Meta-Ontologie." In Handbuch Ontologie, 313–16. Stuttgart: J.B. Metzler, 2020. http://dx.doi.org/10.1007/978-3-476-04638-3_39.

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

Schmitt, Arbogast. "Ursprung der Ontologie: Parmenides." In Handbuch Ontologie, 3–11. Stuttgart: J.B. Metzler, 2020. http://dx.doi.org/10.1007/978-3-476-04638-3_1.

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

Olesti, Josep, and Jörg Zimmer. "Aufklärung: Christian Wolff und Alexander Gottlieb Baumgarten." In Handbuch Ontologie, 81–88. Stuttgart: J.B. Metzler, 2020. http://dx.doi.org/10.1007/978-3-476-04638-3_10.

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

Conference papers on the topic "Ontologie"

1

Alrabbaa, Christian, Stefan Borgwardt, Tom Friese, Anke Hirsch, Nina Knieriemen, Patrick Koopmann, Alisa Kovtunova, Antonio Krüger, Alexej Popovič, and Ida Siahaan. "Explaining Reasoning Results for OWL Ontologies with Evee." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}, 709–19. California: International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/67.

Full text
Abstract:
One of the advantages of formalizing domain knowledge in OWL ontologies is that one can use reasoning systems to infer implicit information automatically. However, it is not always straightforward to understand why certain entailments are inferred, and others are not. The popular ontology editor Protégé offers two explanation services to deal with this issue: justifications for OWL 2 DL ontologies, and proofs generated by the reasoner ELK for lightweight OWL 2 EL ontologies. Since justifications are often insufficient for explaining inferences, there is thus only little tool support for more comprehensive explanations in expressive ontology languages, and there is no tool support at all to explain why something was not derived. In this paper, we present Evee, a Java library and a collection of plug-ins for Protégé that offers advanced explanation services for both inferred and missing entailments. Evee explains inferred entailments using proofs in description logics up to ALCH. Missing entailments can be explained using counterexamples and abduction. We evaluated the effectiveness and the interface design of our plug-ins with description logic experts, ontology engineers, and students in two user studies. In these experiments, we were able to not only validate the tool but also gather feedback and insights to improve the existing designs.
APA, Harvard, Vancouver, ISO, and other styles
2

Konietzko, Erik. "Erweiterung eines Ontologie-basierten Produktkonfigurationsmodells mit generalisierter Microservice Architektur für die Entwicklung in einem Produktionsdatenraum." In Entwerfen Entwickeln Erleben 2024, 59–70. Technische Universität Dresden, 2024. http://dx.doi.org/10.25368/2024.eee.006.

Full text
Abstract:
In diesem Paper wird die Weiterentwicklung eines auf einer Ontologie basierten Demonstrators für die Konfiguration des Produktmodells einer Brennstoffzelle diskutiert. Der Demonstrator ist Teil eines aufzubauenden resilienten Produktionsdatenraums, der Abhängigkeiten zwischen Produktentwicklungs- und Produktionsdomänen abbildet und auf Änderungen in diesen Domänen funktional reagiert. Das Produktmodell des Produktkonfigurators wurde als Ontologie vorbereitet und eine Informations- und Servicearchitektur um ihn herum entwickelt, um das konfigurierte Produkt als Datenraum-Asset vorzubereiten. Der Fokus der Untersuchung liegt auf der Erweiterung der Ontologien des Produktmodells durch Integration von Servicebeschreibungen in einer Meta-Ontologie. Die entwickelten Ontologie-Modelle dienen zur Validierung der Konsistenz instanziierter Assets und der generalisierten Definition von Services zur Interaktion mit der Konfiguration. Der vorgestellte Anwendungsfall dient der Untersuchung, ob und wie eine Meta-Modellierung geeignet ist, Beschreibungen von Assets in einen generischen Kontext zu bringen, um Datenkonsistenz sowie funktionale Abhängigkeiten zu prüfen und sicherzustellen. Es wird gezeigt, wie Ontologie-Modelle für die Integration von Assets verwendet werden können, um sie mit auf sie angewendeten Services zu verknüpfen. Die Untersuchung führte zur Identifikation benötigter Basisdienste für eine solche Integration und zu weiteren Schritten für die Aufbereitung des Demonstrators als Produktzwilling für die Verwendung in auf semantischen Technologien fußenden Datenräumen.
APA, Harvard, Vancouver, ISO, and other styles
3

Gayral, Françoise, and Philippe Grandemange. "Une ontologie du temps pour le langage naturel." In the 14th conference. Morristown, NJ, USA: Association for Computational Linguistics, 1992. http://dx.doi.org/10.3115/992066.992115.

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

"ZWEI ÜBERLEGUNGEN ZUR KONZEPTION EINER LINKED-DATA-ONTOLOGIE FÜR DIE LITERATURWISSENSCHAFTEN." In digital humanities austria 2018. Vienna: Austrian Academy of Sciences Press, 2020. http://dx.doi.org/10.1553/dha-proceedings2018s134.

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

Serrand-Obry, F., V. Donfack, V. Bertaud-Gounot, M. Massot, and P. Limbourg. "Développement d’une ontologie des urgences buccales : vers la conception d’un logiciel d’aide au diagnostic." In 60ème Congrès de la SFCO, edited by S. Cousty, J. C. Deschaumes, V. Descroix, T. Fortin, J. C. Harnet, P. Lesclous, C. Mauprivez, and Y. Roche. Les Ulis, France: EDP Sciences, 2013. http://dx.doi.org/10.1051/sfmbcb/20136002009.

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

Bertin, Éric. "Sans transition. Enquête sur la place des transitions dans l’espace des pratiques numériques." In Actes du congrès de l’Association Française de Sémiotique. Limoges: Université de Limoges, 2024. http://dx.doi.org/10.25965/as.8591.

Full text
Abstract:
C’est le chemin et ses indéterminations, ses renversements, et non le dessein, qui semble caractériser la transition numérique. Plus encore, la conception sémiotique de la transition l’envisage comme un parcours non téléologique, caractérisé comme un « espace-temps critique » (Basso, 2017). Pourtant, la praxis numérique est marquée, dans certaines pratiques, par des opérations d’éviction ou de virtualisation des transitions spatialisantes et temporalisantes. Cet article vise à s’interroger sur les modalités et le rôle de cette virtualisation de la transition dans l’espace numérique, en s’appuyant notamment sur la séquence requête/résultat des moteurs de recherche. Nous tenterons de mettre en lumière les significations socioculturelles en négociation dans cette tension entre pratiques individuelles et ontologie du numérique.
APA, Harvard, Vancouver, ISO, and other styles
7

Emygdio, Jeanne Louize, and Eduardo Ribeiro Felipe. "Aspectos do ciclo de vida de dados em processos de construção de ontologias biomédicas." In II Workshop de Informação, Dados e Tecnologia - WIDAT. Faculdade de Ciências e Engenharia (UNESP), 2018. http://dx.doi.org/10.22477/ii.widat.118.

Full text
Abstract:
Tendo por foco o estudo das coisas existentes no mundo e das relações que estas estabelecem entre si, as Ontologias vêm ganhando campo especial de investigação científica por serem consideradas alternativas viáveis à organização das informações massivas e ininterruptamente alimentadas pelos seres humanos nos espaços digitais, por meio das tecnologias da informação e comunicação (TICs). As perspectivas centrais da utilização das ontologias repousam sobre as possibilidades de prover interoperabilidade semântica entre os sistemas de informação, pouco alcançada por meio dos modelos, técnicas e ferramentais usualmente aplicados. O objetivo deste artigo é descrever de que forma a gestão do ciclo de vida dos dados pode contribuir para prover maior qualidade à construção de ontologias biomédicas. A metodologia adotada foi a pesquisa qualitativa, de caráter descritivo, sobre os processos de construção da Ontologia realista Obstétrica e Neonatal - OntoNEO. Os resultados encontrados comprovaram eficiência do plano de gestão de dados como requisito de atribuição de qualidade à referida ontologia, o que a habilitou a integrar o projeto Basic Formal Ontology - BFO, padrão de referência na construção de ontologias realistas de alto nível. Artigo apresentado no II Workshop de Informação, Dados e Tecnologia, realizado nos dias 27 a 29 de novembro de 2018, na cidade de João Pessoa (PB), nas dependências da Universidade Federal da Paraíba (UFPB). Disponível originalmente em: https://dadosabertos.info/enhanced_publications/idt/. Acesso em: 25 set. 2023. Detentor do Copyright VI Workshop de Informação, Dados e Tecnologia - WIDaT 2023
APA, Harvard, Vancouver, ISO, and other styles
8

Porello, Daniele, Nicolas Troquard, Rafael Peñaloza, Roberto Confalonieri, Pietro Galliani, and Oliver Kutz. "Two Approaches to Ontology Aggregation Based on Axiom Weakening." In Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. California: International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/268.

Full text
Abstract:
Axiom weakening is a novel technique that allows for fine-grained repair of inconsistent ontologies. In a multi-agent setting, integrating ontologies corresponding to multiple agents may lead to inconsistencies. Such inconsistencies can be resolved after the integrated ontology has been built, or their generation can be prevented during ontology generation. We implement and compare these two approaches. First, we study how to repair an inconsistent ontology resulting from a voting-based aggregation of views of heterogeneous agents. Second, we prevent the generation of inconsistencies by letting the agents engage in a turn-based rational protocol about the axioms to be added to the integrated ontology. We instantiate the two approaches using real-world ontologies and compare them by measuring the levels of satisfaction of the agents w.r.t. the ontology obtained by the two procedures.
APA, Harvard, Vancouver, ISO, and other styles
9

Ameri, Farhad, and Boonserm Kulvatunyou. "Modeling a Supply Chain Reference Ontology Based on a Top-Level Ontology." In ASME 2019 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2019. http://dx.doi.org/10.1115/detc2019-98278.

Full text
Abstract:
Abstract Several supply-chain ontologies have been introduced in the past decade with the promise of enabling supply chain interoperability. However, the existing supply-chain ontologies have several gaps with respect to completeness, logical consistency, domain accuracy, and the development approach. In this work, we propose a new, supply-chain, reference ontology that is 1) based on an existing top-level ontology and 2) developed using a collaborative, ontology-development, best practice. We chose this approach because empirical studies have shown the usefulness of adopting a top-level ontology both for improving the efficiency of the development process and enhancing the quality of the resulting ontology. The proposed proof-of-concept reference ontology is developed in the context of the Industrial Ontology Foundry (IOF). IOF is an international effort aimed at providing a coherent set of modular and publicly-available ontologies for the manufacturing sector. Although the proposed reference ontology is still at the draft stage, this paper shows that it has already benefited from the collaborative development process that involves inputs from the other working groups within IOF. Additionally, as a way to validate the proposed reference ontology, an application ontology related to a supplier discovery and evaluation use case is derived from the reference ontology and tested.
APA, Harvard, Vancouver, ISO, and other styles
10

Goncalves, Ricardo Jardim, Joa˜o Sarraipa, and Joa˜o Mendonc¸a da Silva. "Sustainable Reference Ontology Development in the Mechanical Engineering Domain." In ASME 2010 International Mechanical Engineering Congress and Exposition. ASMEDC, 2010. http://dx.doi.org/10.1115/imece2010-37838.

Full text
Abstract:
Design and manufacturing teams face the challenge of integration and reuse of computational information systems and knowledge. The management of information systems dealing with heterogeneous data and semantics meets the problem of interoperability between software applications, and it has been the basis to research on methodologies for the sustainability of reference ontology development. Ontologies facilitate the computational understanding, communication and seamless interoperability between people and organizations. They allow key concepts and terms relevant to a given domain to be identified and defined in an open and unambiguous way. Therefore, ontologies facilitate the use and exchange of data, information, and knowledge towards intelligent systems interoperability. Tasks on distributed and heterogeneous systems demand support from more than one ontology. Multiple ontologies need to be accessed by the same, but also different systems. The distributed nature of ontology development has led to dissimilar ontologies for the same or overlapping domains. Thus, various parties with different ontologies often do not understand each other. To solve these problems, it is suggested the use of ontology mapping geared for interoperability. This paper proposes a methodology to support the development of a common reference ontology for a group of endeavors sharing a mechanical engineering domain. This methodology enables each organization to keep its own terminology, glossary and ontological structures, providing seamless communication and interaction with the partners, assessed by interoperability checking processes for an overall interoperable level of interacting systems. A use case in mechanical engineering domain is described and the proposed methodology demonstrated.
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Ontologie"

1

Bäumler, Maximilian, Susanne Arndt, Matthias Fuchs, Matthias Lehmann, Regine Gerike, Martin Bärwolff, and Günther Prokop. Videodaten in der Verkehrsforschung – besser auffind- und nachnutzbar dank der neuen Ontologie ListDB Onto. TU Dresden, Fakultät Verkehrswissenschaften 'Friedrich List', 2023. http://dx.doi.org/10.26128/2023.40.

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

Tsidylo, Ivan M., Hryhoriy V. Tereshchuk, Serhiy V. Kozibroda, Svitlana V. Kravets, Tetiana O. Savchyn, Iryna M. Naumuk, and Darja A. Kassim. Methodology of designing computer ontology of subject discipline by future teachers-engineers. [б. в.], September 2019. http://dx.doi.org/10.31812/123456789/3249.

Full text
Abstract:
The article deals with the problem of the methodology of designing computer ontology of the subject discipline by the future teachers-engineers in the field of computer technologies. The scheme of ontology of the subject discipline is presented in which the set of concepts of the future computer ontology and the set of relations between them are represented. The main criteria of the choice of systems of computer ontologies for designing computer ontology of the subject discipline: software architecture and tools development; interoperability; intuitive interface are established. The selection of techniques for designing ontologies using computer ontology systems is carried out. The algorithm of designing computer ontology of the subject discipline by the future teachers-engineers in the field of computer technologies is proposed.
APA, Harvard, Vancouver, ISO, and other styles
3

Suntisrivaraporn, Boontawee. Module Extraction and Incremental Classification: A Pragmatic Approach for EL ⁺ Ontologies. Technische Universität Dresden, 2003. http://dx.doi.org/10.25368/2022.161.

Full text
Abstract:
The description logic EL⁺ has recently proved practically useful in the life science domain with presence of several large-scale biomedical ontologies such as Snomed ct. To deal with ontologies of this scale, standard reasoning of classification is essential but not sufficient. The ability to extract relevant fragments from a large ontology and to incrementally classify it has become more crucial to support ontology design, maintenance and reuse. In this paper, we propose a pragmatic approach to module extraction and incremental classification for EL⁺ ontologies and report on empirical evaluations of our algorithms which have been implemented as an extension of the CEL reasoner.
APA, Harvard, Vancouver, ISO, and other styles
4

Borgida, Alex, and Ralf Küsters. What's not in a name? Initial Explorations of a Structural Approach to Integrating Large Concept Knowledge-Bases. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.101.

Full text
Abstract:
Aus der Einleitung: Given two ontologies/terminologies collections of terms and their 'meanings' as used in some universe of discourse (UofD), our general task is to integrate them into a single ontology, which captures the meanings of the original terms and their inter-relationships. This problem is motivated by several application scenarios: • First, such ontologies have been and are being developed independently by multiple groups for knowledge-based and other applications. Among others, medicine is an area in which such ontologies already abound [RZStGC, CCHJ94, SCC97]. • Second, a traditional step in database design has been so-called 'view integration': taking the descriptions of the database needs of different parts of an organization (called 'external views'), and coming up with a unified central schema (called the 'logical schema') for the database [BLN86]. Although the database views might be expressed in some low-level formalism, such as the relational data model, one can express the semantics (meta-data) in a more expressive notation, which can be thought of as an ontology. Then the integration of the ontologies can guide the integration of the views. • Finally, databases and semistructured data on the internet provide many examples where there are multiple, existing heterogeneous information sources, for which uniform access is desired. To achieve this goal, it is necessary to relate the contents of the various information sources. The approach of choice has been the development of a single, integrated ontology, starting from separate ontologies capturing the semantics of the heterogeneous sources[Kas97, CDGL+98]. Of course, we could just take the union of the two ontologies, and return the result as the integration. However, except for the case when the ontologies had absolutely nothing to do with each other, this seems inappropriate. Therefore part of our task will to be explore what it means to 'integrate' two ontologies. To help in this, we will in fact assume here that the ontologies are describing exactly the same aspects of the universe of discourse (UofD), leaving for a separate paper the issue of dealing with partially overlapping ontologies.
APA, Harvard, Vancouver, ISO, and other styles
5

Ma, Yue, and Rafael Peñaloza. Towards Parallel Repair Using Decompositions. Technische Universität Dresden, 2014. http://dx.doi.org/10.25368/2022.207.

Full text
Abstract:
Ontology repair remains one of the main bottlenecks for the development of ontologies for practical use. Many automated methods have been developed for suggesting potential repairs, but ultimately human intervention is required for selecting the adequate one, and the human expert might be overwhelmed by the amount of information delivered to her. We propose a decomposition of ontologies into smaller components that can be repaired in parallel. We show the utility of our approach for ontology repair, provide algorithms for computing this decomposition through standard reasoning, and study the complexity of several associated problems.
APA, Harvard, Vancouver, ISO, and other styles
6

Baader, Franz, Martin Knechtel, and Rafael Peñaloza. Computing Boundaries for Reasoning in Sub-Ontologies. Technische Universität Dresden, 2009. http://dx.doi.org/10.25368/2022.171.

Full text
Abstract:
Consider an ontology T where every axiom is labeled with an element of a lattice (L, ≤). Then every element l of L determines a sub-ontology Tl, which consists of the axioms of T whose labels are greater or equal to l. These labels may be interpreted as required access rights, in which case Tl is the sub-ontology that a user with access right l is allowed to see, or as trust levels, in which case Tl consists of those axioms that we trust with level at least l. Given a consequence α (such as a subsumption relationship between concepts) that follows from the whole ontology T, we want to know from which of the sub-ontologies Tl determined by lattice elements l the consequence α still follows. However, instead of reasoning with Tl in the deployment phase of the ontology, we want to pre-compute this information during the development phase. More precisely, we want to compute what we call a boundary for α, i.e., an element μα of L such that α follows from T l iff l ≤ μα. In this paper we show that, under certain restrictions on the elements l used to define the sub-ontologies, such a boundary always exists, and we describe black-box approaches for computing it that are generalizations of approaches for axiom pinpointing in description logics. We also present first experimental results that compare the efficiency of these approaches on real-world ontologies.
APA, Harvard, Vancouver, ISO, and other styles
7

Ludwig, Michel, and Rafael Peñaloza. Error-Tolerant Reasoning in the Description Logic EL. Technische Universität Dresden, 2014. http://dx.doi.org/10.25368/2022.209.

Full text
Abstract:
Developing and maintaining ontologies is an expensive and error-prone task. After an error is detected, users may have to wait for a long time before a corrected version of the ontology is available. In the meantime, one might still want to derive meaningful knowledge from the ontology, while avoiding the known errors. We study error-tolerant reasoning tasks in the description logic EL. While these problems are intractable, we propose methods for improving the reasoning times by precompiling information about the known errors and using proof-theoretic techniques for computing justifications. A prototypical implementation shows that our approach is feasible for large ontologies used in practice.
APA, Harvard, Vancouver, ISO, and other styles
8

Borgwardt, Stefan, Marcel Lippmann, and Veronika Thost. Temporal Query Answering w.r.t. DL-Lite-Ontologies. Technische Universität Dresden, 2013. http://dx.doi.org/10.25368/2022.195.

Full text
Abstract:
Ontology-based data access (OBDA) generalizes query answering in relational databases. It allows to query a database by using the language of an ontology, abstracting from the actual relations of the database. For ontologies formulated in Description Logics of the DL-Lite family, OBDA can be realized by rewriting the query into a classical first-order query, e.g. an SQL query, by compiling the information of the ontology into the query. The query is then answered using classical database techniques. In this report, we consider a temporal version of OBDA. We propose a temporal query language that combines a linear temporal logic with queries over DL-Litecore-ontologies. This language is well-suited for expressing temporal properties of dynamical systems and is useful in context-aware applications that need to detect specific situations. Using a first-order rewriting approach, we transform our temporal queries into queries over a temporal database. We then present three approaches to answering the resulting queries, all having different advantages and drawbacks.
APA, Harvard, Vancouver, ISO, and other styles
9

Koopmann, Patrick. Ontology-Mediated Query Answering for Probabilistic Temporal Data with EL Ontologies (Extended Version). Technische Universität Dresden, 2018. http://dx.doi.org/10.25368/2022.242.

Full text
Abstract:
Especially in the field of stream reasoning, there is an increased interest in reasoning about temporal data in order to detect situations of interest or complex events. Ontologies have been proved a useful way to infer missing information from incomplete data, or simply to allow for a higher order vocabulary to be used in the event descriptions. Motivated by this, ontology-based temporal query answering has been proposed as a means for the recognition of situations and complex events. But often, the data to be processed do not only contain temporal information, but also probabilistic information, for example because of uncertain sensor measurements. While there has been a plethora of research on ontologybased temporal query answering, only little is known so far about querying temporal probabilistic data using ontologies. This work addresses this problem by introducing a temporal query language that extends a well-investigated temporal query language with probability operators, and investigating the complexity of answering queries using this query language together with ontologies formulated in the description logic EL.
APA, Harvard, Vancouver, ISO, and other styles
10

Baader, Franz, Stefan Borgwardt, and Barbara Morawska. Constructing SNOMED CT Concepts via Disunification. Technische Universität Dresden, 2017. http://dx.doi.org/10.25368/2022.237.

Full text
Abstract:
Description Logics (DLs) [BCM+07] are prominent modeling formalisms underlying the Web Ontology Language (OWL). The lightweight DL EL in particular is used to formulate many biomedical ontologies. DLs allow to represent subconcept-superconcept relationships between concepts, e.g., diseases, as well as more complex correspondences. Unification in DLs has been proposed as a non-standard reasoning task to detect redundant concepts in ontologies [BN01, BM10b]. Recently, disunification in EL has been investigated and several algorithms were proposed to solve disunification problems [BBM16].
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Ontologie' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography