Zum Inhalt springen

  4. Baader, Franz [Verfasser:in]; Fernández Gil, Oliver [Verfasser:in]

    Decidability and Complexity of Threshold Description Logics Induced by Concept Similarity Measures

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Technische Universität Dresden, 2016

    Erschienen in: LTCS-Report ; 16,7

  5. Baader, Franz [Verfasser:in]; Fernández Gil, Oliver [Verfasser:in]

    Extending the Description Logic τEL(deg) with Acyclic TBoxes

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Technische Universität Dresden, 2016

    Erschienen in: LTCS-Report ; 16,2

  6. Baader, Franz [Verfasser:in]; Gil, Oliver Fernández [Verfasser:in]; Rostamigiv, Maryam [Verfasser:in]

    Restricted Unification in the DL FL0 (Extended Abstract)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2021

    Erschienen in: International Workshop on Description Logics (34. : 2021 : Bratislava; Online): DL 2021: Description Logics 2021 ; 2021

  7. Baader, Franz [Verfasser:in]; Fernández Gil, Oliver [Verfasser:in]; Rostamigiv, Maryam [Verfasser:in]

    Restricted Unification in the DL FL₀ : (Extended Version)

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Technische Universität Dresden, 2021

    Erschienen in: LTCS-Report ; 21,2

  8. Fernández Gil, Oliver [Verfasser:in]; Turhan, Anni-Yasmin [Verfasser:in]

    Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Technische Universität Dresden, 2020

    Erschienen in: LTCS-Report ; 20,5

  9. Gil, Oliver Fernández [Verfasser:in]; Turhan, Anni-Yasmin [Verfasser:in]

    Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2020

    Erschienen in: International Workshop on Description Logics (33. : 2020 : Online): DL 2020: Description Logics 2020 ; 2020

  10. Baader, Franz [Verfasser:in]; Fernández Gil, Oliver [Verfasser:in]; Pensel, Maximilian [Verfasser:in]

    Standard and Non-Standard Inferences in the Description Logic FL₀ Using Tree Automata

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Technische Universität Dresden, 2018

    Erschienen in: LTCS-Report ; 18,4

  11. Baader, Franz [Verfasser:in]; Fernández Gil, Oliver [Verfasser:in]; Marantidis, Pavlos [Verfasser:in]

    Approximation in Description Logics : How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in FL₀

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Technische Universität Dresden, 2016

    Erschienen in: LTCS-Report ; 16,8

  12. Baader, Franz [Verfasser:in]; Brewka, Gerhard [Verfasser:in]; Fernández Gil, Oliver [Verfasser:in]

    Adding Threshold Concepts to the Description Logic EL

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Technische Universität Dresden, 2015

    Erschienen in: LTCS-Report ; 15,9

  13. Baader, Franz [Verfasser:in]; Fernández Gil, Oliver [Verfasser:in]; Morawska, Barbara [Verfasser:in]

    Hybrid Unification in the Description Logic EL

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Technische Universität Dresden, 2013

    Erschienen in: LTCS-Report ; 13,7

  14. Fernández Gil, Oliver [Verfasser:in] ; Baader, Franz [Akademische:r Betreuer:in]; Baader, Franz [Sonstige Person, Familie und Körperschaft]; Brewka, Gerhard [Akademische:r Betreuer:in]; Brewka, Gerhard [Sonstige Person, Familie und Körperschaft]; Wolter, Frank [Sonstige Person, Familie und Körperschaft]

    Adding Threshold Concepts to the Description Logic EL

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Leipzig: Universitätsbibliothek Leipzig, 2016

  15. Rojas, Itziar de [Verfasser:in]; Moreno-Grau, Sonia [Verfasser:in]; Tesi, Niccolo [Verfasser:in]; Grenier-Boley, Benjamin [Verfasser:in]; Andrade, Victor [Verfasser:in]; Kerkmeijer-Jansen, Iris E. [Verfasser:in]; Pedersen, Nancy L. [Verfasser:in]; Stringa, Najada [Verfasser:in]; Zettergren, Anna [Verfasser:in]; Hernández, Isabel [Verfasser:in]; Montrreal, Laura [Verfasser:in]; Antúnez, Carmen [Verfasser:in]; Antonell, Anna [Verfasser:in]; Tankard, Rick M. [Verfasser:in]; Bis, Joshua C. [Verfasser:in]; Sims, Rebecca [Verfasser:in]; Bellenguez, Céline [Verfasser:in]; Quintela, Inés [Verfasser:in]; González-Perez, Antonio [Verfasser:in]; Calero, Miguel [Verfasser:in]; Franco-Macías, Emilio [Verfasser:in]; Macías, Juan [Verfasser:in]; Blesa, Rafael [Verfasser:in]; Cervera-Carles, Laura [Verfasser:in]; [...]

    Common variants in Alzheimer’s disease and risk stratification by polygenic risk scores

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    07 June 2021

    Erschienen in: Nature Communications ; 12(2021), Artikel-ID 3417, Seite 1-16

  18. Baader, Franz; Fernández Gil, Oliver; Marantidis, Pavlos

    Language and Automata Theory and Applications: Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in $$\mathcal {FL}_0$$

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2017

    Erschienen in: Language and Automata Theory and Applications (2017), Seite 3-26