Skip to contents Turhan, Anni-Yasmin [Author] On the computation of common subsumers in description logics Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2008 Turhan, Anni-Yasmin [Author] On the computation of common subsumers in description logics Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via German National Library Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Pensel, Maximilian [Author] ; Turhan, Anni-Yasmin [Degree supervisor]; Bonatti, Piero Andrea [Other] A Lightweight Defeasible Description Logic in Depth : Quantification in Rational Reasoning and Beyond Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via German National Library Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2019 Turhan, Anni-Yasmin [Author] On the computation of common subsumers in description logics Books View online Schließen > Access ... to E-book via Resolving system (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2008 Governatori, Guido [Editor]; Turhan, Anni-Yasmin [Editor] Rules and Reasoning : 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings - [1st ed. 2022.] Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022. Published in: Lecture Notes in Computer Science ; 13752 Hieke, Willi [Author]; Turhan, Anni-Yasmin [Author] Towards Model Transformation in Description Logics - Investigating the Case of Transductions Articles View online Schließen > Access ... to article (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2020 Published in: Workshop on Formal and Cognitive Reasoning (6. : 2020 : Online): FCR-2020: Formal and Cognitive Reasoning ; (2020), Seite 69-82 Peñaloza, Rafael [Author]; Turhan, Anni-Yasmin [Author] User-aware Explications of Ontology Consequences: Levelling Technicality Articles View online Schließen > Access ... to article (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2022 Published in: Workshop on Formal and Cognitive Reasoning (8. : 2022 : Online): FCR 2022: Formal and Cognitive Reasoning 2022 ; (2022), Seite 90-101 Carapelle, Claudia [Author]; Turhan, Anni-Yasmin [Author] Decidability of ALCP(D) for concrete domains with the EHD-property Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via Resolving system (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2016 Published in: LTCS-Report ; 16,1 Pensel, Maximilian [Author]; Turhan, Anni-Yasmin [Author] Making Quantification Relevant Again —the Case of Defeasible EL⊥ Books View online Schließen > Access ... to E-book via Resolving system (freely accessible) ... to E-book via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2017 Published in: LTCS-Report ; 17,1 Bourgaux, Camille [Author]; Turhan, Anni-Yasmin [Author] Temporal Query Answering in DL-Lite over Inconsistent Data Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via Resolving system (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2017 Published in: LTCS-Report ; 17,6 Zarrieß, Benjamin [Author]; Turhan, Anni-Yasmin [Author] Most Specific Generalizations w.r.t. General EL-TBoxes Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via Resolving system (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2013 Published in: LTCS-Report ; 13,6 Ecke, Andreas [Author]; Turhan, Anni-Yasmin [Author] Similarity Measures for Computing Relaxed Instances w.r.t. General EL-TBoxes Books View online Schließen > Access ... to E-book via Resolving system (freely accessible) ... to E-book via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2013 Published in: LTCS-Report ; 13,12 Brandt, Sebastian [Author]; Turhan, Anni-Yasmin [Author] An Approach for Optimizing ALE-Approximation of ALC-Concepts Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via Resolving system (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2002 Published in: LTCS-Report ; 02,3 Pensel, Maximilian [Author] ; Turhan, Anni-Yasmin [Degree supervisor]; Bonatti, Piero Andrea [Degree supervisor] Technische Universität Dresden A Lightweight Defeasible Description Logic in Depth : Quantification in Rational Reasoning and Beyond Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via Resolving system (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden, 2019 Turhan, Anni-Yasmin [Editor]; Wang, Kewen [Editor]; Zhang, Xiaowang [Editor] Semantic Technology : 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, 2017 Published in: Lecture notes in computer science ; 10675 Alrabbaa, Christian [Author]; Hieke, Willi [Author]; Turhan, Anni-Yasmin [Author] Counter Model Transformation for Explaining Non-Subsumption in EL Articles View online Schließen > Access ... to article (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2021 Published in: Workshop on Formal and Cognitive Reasoning (7. : 2021 : Online): FCR 2021: Formal and Cognitive Reasoning 2021 ; (2021), Seite 9-22 Fernández Gil, Oliver [Author]; Turhan, Anni-Yasmin [Author] Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via Resolving system (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2020 Published in: LTCS-Report ; 20,5 Dubslaff, Clemens [Author]; Koopmann, Patrick [Author]; Turhan, Anni-Yasmin [Author] Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification Articles View online Schließen > Access ... to article (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2020 Published in: International Workshop on Description Logics (33. : 2020 : Online): DL 2020: Description Logics 2020 ; 2020 Gil, Oliver Fernández [Author]; Turhan, Anni-Yasmin [Author] Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract) Articles View online Schließen > Access ... to article (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2020 Published in: International Workshop on Description Logics (33. : 2020 : Online): DL 2020: Description Logics 2020 ; 2020 Dubslaff, Clemens [Author]; Koopmann, Patrick [Author]; Turhan, Anni-Yasmin [Author] Ontology-Mediated Probabilistic Model Checking : 8Extended Version) Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via Resolving system (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2019 Published in: LTCS-Report ; 19,5
Turhan, Anni-Yasmin [Author] On the computation of common subsumers in description logics Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2008
Turhan, Anni-Yasmin [Author] On the computation of common subsumers in description logics Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via German National Library Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this.
Pensel, Maximilian [Author] ; Turhan, Anni-Yasmin [Degree supervisor]; Bonatti, Piero Andrea [Other] A Lightweight Defeasible Description Logic in Depth : Quantification in Rational Reasoning and Beyond Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via German National Library Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2019
Turhan, Anni-Yasmin [Author] On the computation of common subsumers in description logics Books View online Schließen > Access ... to E-book via Resolving system (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2008
Governatori, Guido [Editor]; Turhan, Anni-Yasmin [Editor] Rules and Reasoning : 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings - [1st ed. 2022.] Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022. Published in: Lecture Notes in Computer Science ; 13752
Hieke, Willi [Author]; Turhan, Anni-Yasmin [Author] Towards Model Transformation in Description Logics - Investigating the Case of Transductions Articles View online Schließen > Access ... to article (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2020 Published in: Workshop on Formal and Cognitive Reasoning (6. : 2020 : Online): FCR-2020: Formal and Cognitive Reasoning ; (2020), Seite 69-82
Peñaloza, Rafael [Author]; Turhan, Anni-Yasmin [Author] User-aware Explications of Ontology Consequences: Levelling Technicality Articles View online Schließen > Access ... to article (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2022 Published in: Workshop on Formal and Cognitive Reasoning (8. : 2022 : Online): FCR 2022: Formal and Cognitive Reasoning 2022 ; (2022), Seite 90-101
Carapelle, Claudia [Author]; Turhan, Anni-Yasmin [Author] Decidability of ALCP(D) for concrete domains with the EHD-property Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via Resolving system (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2016 Published in: LTCS-Report ; 16,1
Pensel, Maximilian [Author]; Turhan, Anni-Yasmin [Author] Making Quantification Relevant Again —the Case of Defeasible EL⊥ Books View online Schließen > Access ... to E-book via Resolving system (freely accessible) ... to E-book via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2017 Published in: LTCS-Report ; 17,1
Bourgaux, Camille [Author]; Turhan, Anni-Yasmin [Author] Temporal Query Answering in DL-Lite over Inconsistent Data Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via Resolving system (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2017 Published in: LTCS-Report ; 17,6
Zarrieß, Benjamin [Author]; Turhan, Anni-Yasmin [Author] Most Specific Generalizations w.r.t. General EL-TBoxes Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via Resolving system (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2013 Published in: LTCS-Report ; 13,6
Ecke, Andreas [Author]; Turhan, Anni-Yasmin [Author] Similarity Measures for Computing Relaxed Instances w.r.t. General EL-TBoxes Books View online Schließen > Access ... to E-book via Resolving system (freely accessible) ... to E-book via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2013 Published in: LTCS-Report ; 13,12
Brandt, Sebastian [Author]; Turhan, Anni-Yasmin [Author] An Approach for Optimizing ALE-Approximation of ALC-Concepts Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via Resolving system (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2002 Published in: LTCS-Report ; 02,3
Pensel, Maximilian [Author] ; Turhan, Anni-Yasmin [Degree supervisor]; Bonatti, Piero Andrea [Degree supervisor] Technische Universität Dresden A Lightweight Defeasible Description Logic in Depth : Quantification in Rational Reasoning and Beyond Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via Resolving system (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden, 2019
Turhan, Anni-Yasmin [Editor]; Wang, Kewen [Editor]; Zhang, Xiaowang [Editor] Semantic Technology : 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, 2017 Published in: Lecture notes in computer science ; 10675
Alrabbaa, Christian [Author]; Hieke, Willi [Author]; Turhan, Anni-Yasmin [Author] Counter Model Transformation for Explaining Non-Subsumption in EL Articles View online Schließen > Access ... to article (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2021 Published in: Workshop on Formal and Cognitive Reasoning (7. : 2021 : Online): FCR 2021: Formal and Cognitive Reasoning 2021 ; (2021), Seite 9-22
Fernández Gil, Oliver [Author]; Turhan, Anni-Yasmin [Author] Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via Resolving system (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2020 Published in: LTCS-Report ; 20,5
Dubslaff, Clemens [Author]; Koopmann, Patrick [Author]; Turhan, Anni-Yasmin [Author] Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification Articles View online Schließen > Access ... to article (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2020 Published in: International Workshop on Description Logics (33. : 2020 : Online): DL 2020: Description Logics 2020 ; 2020
Gil, Oliver Fernández [Author]; Turhan, Anni-Yasmin [Author] Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract) Articles View online Schließen > Access ... to article (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2020 Published in: International Workshop on Description Logics (33. : 2020 : Online): DL 2020: Description Logics 2020 ; 2020
Dubslaff, Clemens [Author]; Koopmann, Patrick [Author]; Turhan, Anni-Yasmin [Author] Ontology-Mediated Probabilistic Model Checking : 8Extended Version) Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via Resolving system (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2019 Published in: LTCS-Report ; 19,5
> Media type Skip to next facet Articles (41) Wert ausschließen Books (27) Wert ausschließen Show more show less
> Location Skip to next facet Central Library (18) Wert ausschließen Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Rights information Skip to next facet Attribution (CC BY) (16) Wert ausschließen In Copyright (2) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (35) Wert ausschließen Without Specification (32) Wert ausschließen Show more show less
> Language Skip to next facet English (44) Wert ausschließen Not determined (23) Wert ausschließen German (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (32) Wert ausschließen Mathmatics (6) Wert ausschließen Technology (1) Wert ausschließen Show more show less
> Creator Skip to next facet Turhan, Anni-Yasmin (67) Wert ausschließen Koopmann, Patrick (11) Wert ausschließen Peñaloza, Rafael (9) Wert ausschließen Baader, Franz (7) Wert ausschließen Dubslaff, Clemens (5) Wert ausschließen Pensel, Maximilian (5) Wert ausschließen Brandt, Sebastian (4) Wert ausschließen Ecke, Andreas (4) Wert ausschließen Peñaloza Nyssen, Rafael (4) Wert ausschließen Bourgaux, Camille (3) Wert ausschließen Küsters, Ralf (3) Wert ausschließen Lutz, Carsten (3) Wert ausschließen Mailis, Theofilos (3) Wert ausschließen Alrabbaa, Christian (2) Wert ausschließen Bonatti, Piero Andrea (2) Wert ausschließen Borgwardt, Stefan (2) Wert ausschließen Haarslev, Volker (2) Wert ausschließen Hieke, Willi (2) Wert ausschließen Möller, Ralf (2) Wert ausschließen Sattler, Uli (2) Wert ausschließen Sertkaya, Baris (2) Wert ausschließen Thost, Veronika (2) Wert ausschließen Tinelli, Cesare (2) Wert ausschließen Wolter, Frank (2) Wert ausschließen Zarrieß, Benjamin (2) Wert ausschließen BAADER, FRANZ (1) Wert ausschließen Carapelle, Claudia (1) Wert ausschließen Câmara, Igor de Camargo e Souza (1) Wert ausschließen Fernández Gil, Oliver (1) Wert ausschließen Gil, Oliver Fernández (1) Wert ausschließen Governatori, Guido (1) Wert ausschließen Hähnel, Marcus (1) Wert ausschließen KOOPMANN, PATRICK (1) Wert ausschließen Kissig, Christian (1) Wert ausschließen Lehmann, Karsten (1) Wert ausschließen Lukasiewicz, Thomas (1) Wert ausschließen MICHEL, FRIEDRICH (1) Wert ausschließen Merz, Dorian (1) Wert ausschließen Michel, Friedrich (1) Wert ausschließen Ralf, Moeller (1) Wert ausschließen TURHAN, ANNI-YASMIN (1) Wert ausschließen Technische Universität Dresden (1) Wert ausschließen Volker, Haarslev (1) Wert ausschließen Wang, Kewen (1) Wert ausschließen Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness 2. 2018 Oxford (1) Wert ausschließen ZARRIESS, BENJAMIN (1) Wert ausschließen Zhang, Xiaowang (1) Wert ausschließen de Camargo e Souza Câmara, Igor (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (30) Wert ausschließen Lizenzfreie Online-Ressourcen (26) Wert ausschließen Qucosa (17) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (11) Wert ausschließen Springer International Publishing (CrossRef) (10) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (6) Wert ausschließen Elsevier BV (CrossRef) (4) Wert ausschließen Diss online (2) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (1) Wert ausschließen BASE - Bielefeld Academic Search Engine (1) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (1) Wert ausschließen Hamburg University, Department of Informatics: INFDok (1) Wert ausschließen IOS Press (CrossRef) (1) Wert ausschließen Springer Nature Switzerland (CrossRef) (1) Wert ausschließen Show more show less