Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
description logics
Geflecteerde vorm van description logic
Vertaling van "description logics" in Duits
Beschreibungslogiken
description logics: representation of taxonomic knowledge and reasoning about it
Beschreibungslogiken: Repräsentation von taxonomischem Wissen und taxonomisches Schlussfolgern
We argue that such decision procedures can be applied for reasoning in expressive description logics, where they have certain advantages over traditionally used tableau procedures, such as optimal worst-case complexity and direct correctness proofs.
Wir argumentieren, daß solche Entscheidungsprozeduren für das Beweisen in ausdrucksvollen Beschreibungslogiken angewendet werden können, wo sie gewisse Vorteile gegenüber traditionell benutzten Tableauverfahren besitzen, wie z.B. optimale worst-case Komplexität und direkte Korrektheitsbeweise.
More expressive description logics provide more expressive language features to model the application domain in more detail, but they usually also require more sophisticated and often less efficient reasoning procedures.
Ausdrucksstärkere Beschreibungslogiken stellen umfangreichere Sprachkonstrukte bereit, um die Anwendungsdomäne genauer modellieren zu können, benötigen dann aber oftmals aufwendigere und weniger effiziente Schlussfolgerungsalgorithmen.
During my PhD studies, we developed different algorithms and optimisations that make reasoning for many real-world ontologies on standard reasoning tasks more efficient even if the ontologies use features of more expressive description logics.
Während meiner Promotion haben wir verschiedene Algorithmen und Optimierungen entwickelt, mit denen auch das Schlussfolgern mit ausdrucksstärkeren Beschreibungslogiken zu Standardfragestellungen für viele praktische Wissensbasen effizient durchgeführt werden kann und im Vergleich zu aktuellen Systemen häufig eine deutliche Verbesserung darstellt.
Most modern KRR approaches are based on formal logics, with description logics and rule-based formalisms constituting the most prominent language families.
Die meisten modernen Ansätze in der Wissensrepräsentation beruhen auf formaler Logik, wobei Beschreibungslogiken und regelbasierte Formalismen die wichtigsten Sprachfamilien darstellen.
The aim of the current DFG project is the optimisation of answering conjunctive queries for more expressive description logics.
Das Ziel des DFG Projekts ist es nun, auch die Beantwortung von komplexeren Fragestellungen in Form von konjunktiven Anfragen für ausdrucksstärkere Beschreibungslogiken zu optimieren.
Services, based in particular on deductive and decidable Description Logics.
Untersuchungen sind Semantische Dienste, insbesondere basierend auf deduktiven und entscheidbaren Beschreibungslogiken.
So far, there exist, however, no practically usable techniques for answering conjunctive queries with expressive Description Logics.
Für ausdrucksstärkere Beschreibungslogiken existieren jedoch bisher keine praktikablen Techniken zur Beantwortung von konjunktiven Anfragen.
With this project, we propose a novel technique for conjunctive query answering with very expressive Description Logics.
Mit dem beantragten Projekt möchten wir einen neuartigen Ansatz zur effizienten Beantwortung von konjunktiven Anfragen für ausdrucksstarke Beschreibungslogiken entwickeln und realisieren.
Eleonore-of Conjunctive Query Answering in Description Logics with approximation of linear differential operators on irregularly distributed colocation points
Entscheidbarkeit der Beantwortung konjunktiver Anfragen in Beschreibungslogiken mit Nominalen, Inversen und Kardinalitätsbeschränkungen
Since March 2018 I work as postdoctoral researcher in the DFG project "Conjunctive Query Answering for Expressive Description Logics".
Seit März 2018 arbeite ich als akademischer Mitarbeiter in dem DFG Projekt „Beantwortung Konjunktiver Anfragen für Ausdrucksstarke Beschreibungslogiken".
Projects I currently work in the DFG project "Conjunctive Query Answering for Expressive Description Logics".
Projekte Ich arbeite aktuell an dem DFG Projekt „Beantwortung Konjunktiver Anfragen für Ausdrucksstarkere Beschreibungslogiken".
The whole idea of description logics is about nothing else than about describing classes efficiently.
Die ganze Idee der Beschreibungslogik ist nichts anderes als Klassen effizient zu beschreiben.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor description logics in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 21. Exact: 21. Verstreken tijd: 29 ms.
