Zum Inhalt springen

  3. Pensel, Maximilian [Verfasser:in] ; Turhan, Anni-Yasmin [Akademische:r Betreuer:in]; Bonatti, Piero Andrea [Sonstige Person, Familie und Körperschaft]

    A Lightweight Defeasible Description Logic in Depth : Quantification in Rational Reasoning and Beyond

    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, 2019

  5. Governatori, Guido [Herausgeber:in]; Turhan, Anni-Yasmin [Herausgeber:in]

    Rules and Reasoning : 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings - [1st ed. 2022.]

    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.

    Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022.

    Erschienen in: Lecture Notes in Computer Science ; 13752

  6. Hieke, Willi [Verfasser:in]; Turhan, Anni-Yasmin [Verfasser:in]

    Towards Model Transformation in Description Logics - Investigating the Case of Transductions

    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: Workshop on Formal and Cognitive Reasoning (6. : 2020 : Online): FCR-2020: Formal and Cognitive Reasoning ; (2020), Seite 69-82

  7. Peñaloza, Rafael [Verfasser:in]; Turhan, Anni-Yasmin [Verfasser:in]

    User-aware Explications of Ontology Consequences: Levelling Technicality

    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.

    2022

    Erschienen in: Workshop on Formal and Cognitive Reasoning (8. : 2022 : Online): FCR 2022: Formal and Cognitive Reasoning 2022 ; (2022), Seite 90-101

  8. Carapelle, Claudia [Verfasser:in]; Turhan, Anni-Yasmin [Verfasser:in]

    Decidability of ALCP(D) for concrete domains with the EHD-property

    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,1

  9. Pensel, Maximilian [Verfasser:in]; Turhan, Anni-Yasmin [Verfasser:in]

    Making Quantification Relevant Again —the Case of Defeasible 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, 2017

    Erschienen in: LTCS-Report ; 17,1

  10. Bourgaux, Camille [Verfasser:in]; Turhan, Anni-Yasmin [Verfasser:in]

    Temporal Query Answering in DL-Lite over Inconsistent Data

    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, 2017

    Erschienen in: LTCS-Report ; 17,6

  11. Zarrieß, Benjamin [Verfasser:in]; Turhan, Anni-Yasmin [Verfasser:in]

    Most Specific Generalizations w.r.t. General EL-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, 2013

    Erschienen in: LTCS-Report ; 13,6

  12. Ecke, Andreas [Verfasser:in]; Turhan, Anni-Yasmin [Verfasser:in]

    Similarity Measures for Computing Relaxed Instances w.r.t. General EL-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, 2013

    Erschienen in: LTCS-Report ; 13,12

  13. Brandt, Sebastian [Verfasser:in]; Turhan, Anni-Yasmin [Verfasser:in]

    An Approach for Optimizing ALE-Approximation of ALC-Concepts

    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, 2002

    Erschienen in: LTCS-Report ; 02,3

  14. Pensel, Maximilian [Verfasser:in] ; Turhan, Anni-Yasmin [Akademische:r Betreuer:in]; Bonatti, Piero Andrea [Akademische:r Betreuer:in] Technische Universität Dresden

    A Lightweight Defeasible Description Logic in Depth : Quantification in Rational Reasoning and Beyond

    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, 2019

  15. Turhan, Anni-Yasmin [Herausgeber:in]; Wang, Kewen [Herausgeber:in]; Zhang, Xiaowang [Herausgeber:in]

    Semantic Technology : 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings

    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.

    Cham: Springer, 2017

    Erschienen in: Lecture notes in computer science ; 10675

  16. Alrabbaa, Christian [Verfasser:in]; Hieke, Willi [Verfasser:in]; Turhan, Anni-Yasmin [Verfasser:in]

    Counter Model Transformation for Explaining Non-Subsumption in EL

    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: Workshop on Formal and Cognitive Reasoning (7. : 2021 : Online): FCR 2021: Formal and Cognitive Reasoning 2021 ; (2021), Seite 9-22

  17. 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

  18. Dubslaff, Clemens [Verfasser:in]; Koopmann, Patrick [Verfasser:in]; Turhan, Anni-Yasmin [Verfasser:in]

    Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification

    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

  19. 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

  20. Dubslaff, Clemens [Verfasser:in]; Koopmann, Patrick [Verfasser:in]; Turhan, Anni-Yasmin [Verfasser:in]

    Ontology-Mediated Probabilistic Model Checking : 8Extended 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, 2019

    Erschienen in: LTCS-Report ; 19,5