Anni-Yasmin Turhan

turhan@uni-paderborn.de
ID
104470

98 Publications

Mark all

[98]
2024 | Conference Paper | LibreCat-ID: 56488
R. Peñaloza and A.-Y. Turhan, “Reasoning in Rough Description Logics with Multiple Indiscernibility Relations,” in Rules and Reasoning - 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings, 2024, vol. 15183, pp. 142–158, doi: 10.1007/978-3-031-72407-7_11.
LibreCat | DOI
 
[97]
2024 | Conference Paper | LibreCat-ID: 56158
O. F. Gil, F. Patrizi, G. Perelli, and A.-Y. Turhan, “Optimal Alignment of Temporal Knowledge Bases (Extended Abstract),” in Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, 2024, vol. 3739.
LibreCat
 
[96]
2024 | Conference Paper | LibreCat-ID: 56159
R. Peñaloza and A.-Y. Turhan, “Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations,” in Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, 2024, vol. 3739.
LibreCat | Files available
 
[95]
2023 | Journal Article | LibreCat-ID: 52861
O. F. Gil, F. Patrizi, G. Perelli, and A.-Y. Turhan, “Optimal Alignment of Temporal Knowledge Bases,” CoRR, vol. abs/2307.15439, 2023, doi: 10.48550/ARXIV.2307.15439.
LibreCat | DOI
 
[94]
2023 | Conference Paper | LibreCat-ID: 52913
A.-Y. Turhan, “Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk),” in Proceedings of the 36th International Workshop on Description Logics {(DL} 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning {(KR} 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023, 2023, vol. 3515.
LibreCat
 
[93]
2023 | Conference Paper | LibreCat-ID: 56096
O. F. Gil, F. Patrizi, G. Perelli, and A.-Y. Turhan, “Optimal Alignment of Temporal Knowledge Bases,” in ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023), 2023, vol. 372, pp. 708–715, doi: 10.3233/FAIA230335.
LibreCat | DOI
 
[92]
2023 | Book Chapter | LibreCat-ID: 52859
I. de Camargo e Souza Câmara and A.-Y. Turhan, “Deciding Subsumption in Defeasible 𝓔𝓛𝓘⊥ with Typicality Models,” in Logics in Artificial Intelligence, Cham: Springer Nature Switzerland, 2023.
LibreCat | DOI
 
[91]
2022 | Journal Article | LibreCat-ID: 52862
A.-Y. Turhan, “A Double Take at Conferences: The Hybrid Format,” KI - Künstliche Intelligenz, vol. 36, no. 1, pp. 1–4, 2022, doi: 10.1007/s13218-022-00758-6.
LibreCat | DOI
 
[90]
2022 | Conference Paper | LibreCat-ID: 52923
I. de Camargo e Souza Câmara and A.-Y. Turhan, “Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI\(\perp\),” in Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022, 2022, vol. 3197, pp. 159–162.
LibreCat
 
[89]
2022 | Conference (Editor) | LibreCat-ID: 52925
G. Governatori and A.-Y. Turhan, Eds., Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings, vol. 13752. Springer, 2022.
LibreCat | DOI
 
[88]
2022 | Conference Paper | LibreCat-ID: 52924
S. Tirtarasa and A.-Y. Turhan, “Computing generalizations of temporal ϵL concepts with next and global,” in SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, 2022, pp. 903–910, doi: 10.1145/3477314.3507136.
LibreCat | DOI
 
[87]
2022 | Journal Article | LibreCat-ID: 52918
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner,” Theory Pract. Log. Program., vol. 22, no. 2, pp. 162–192, 2022, doi: 10.1017/S1471068421000466.
LibreCat | DOI
 
[86]
2022 | Conference Paper | LibreCat-ID: 52920
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract),” in Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, 2022, vol. 3263.
LibreCat
 
[85]
2022 | Conference Paper | LibreCat-ID: 52921
S. Tirtarasa and A.-Y. Turhan, “A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract),” in Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, 2022, vol. 3263.
LibreCat
 
[84]
2022 | Conference Paper | LibreCat-ID: 52922
R. Peñaloza and A.-Y. Turhan, “User-aware Explications of Ontology Consequences: Levelling Technicality,” in Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022, 2022, vol. 3242, pp. 90–101.
LibreCat
 
[83]
2021 | Conference Paper | LibreCat-ID: 52927
O. F. Gil and A.-Y. Turhan, “Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics,” in Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, 2021, pp. 6340–6348, doi: 10.1609/AAAI.V35I7.16787.
LibreCat | DOI
 
[82]
2021 | Journal Article | LibreCat-ID: 52926
C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Enhancing Probabilistic Model Checking with Ontologies,” Formal Aspects Comput., vol. 33, no. 6, pp. 885–921, 2021, doi: 10.1007/S00165-021-00549-0.
LibreCat | DOI
 
[81]
2021 | Conference Paper | LibreCat-ID: 52928
C. Alrabbaa, W. Hieke, and A.-Y. Turhan, “Counter Model Transformation for Explaining Non-Subsumption in EL,” in Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021, 2021, vol. 2961, pp. 9–22.
LibreCat
 
[80]
2020 | Journal Article | LibreCat-ID: 52930
F. Baader, S. Borgwardt, P. Koopmann, V. Thost, and A.-Y. Turhan, “Semantic Technologies for Situation Awareness,” Künstliche Intell., vol. 34, no. 4, pp. 543–550, 2020, doi: 10.1007/S13218-020-00694-3.
LibreCat | DOI
 
[79]
2020 | Conference Paper | LibreCat-ID: 56490
W. Hieke and A.-Y. Turhan, “Towards Model Transformation in Description Logics - Investigating the Case of Transductions,” in Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), Online / Bamberg, Germany, September 22, 2020, 2020, vol. 2680, pp. 69–82.
LibreCat
 
[78]
2020 | Conference Paper | LibreCat-ID: 52936
C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification,” in Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, 2020, vol. 2663.
LibreCat
 
[77]
2020 | Conference Paper | LibreCat-ID: 56489
O. F. Gil and A.-Y. Turhan, “Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract),” in Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, 2020, vol. 2663.
LibreCat
 
[76]
2019 | Journal Article | LibreCat-ID: 56491
C. Bourgaux, P. Koopmann, and A.-Y. Turhan, “Ontology-mediated query answering over temporal and inconsistent data,” Semantic Web, vol. 10, no. 3, pp. 475–521, 2019, doi: 10.3233/SW-180337.
LibreCat | DOI
 
[75]
2019 | Conference Paper | LibreCat-ID: 56493
C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, and F. Wolter, “A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction,” in Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, 2019, vol. 11560, pp. 1–14, doi: 10.1007/978-3-030-22102-7_1.
LibreCat | DOI
 
[74]
2019 | Conference Paper | LibreCat-ID: 56498
C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Ontology-Mediated Probabilistic Model Checking,” in Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, 2019, vol. 11918, pp. 194–211, doi: 10.1007/978-3-030-34968-4_11.
LibreCat | DOI
 
[73]
2019 | Conference Paper | LibreCat-ID: 56496
C. Alrabbaa, P. Koopmann, and A.-Y. Turhan, “Practical Query Rewriting for DL-Lite with Numerical Predicates,” in GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019, 2019, vol. 65, pp. 15–27, doi: 10.29007/GQLL.
LibreCat | DOI
 
[72]
2019 | Conference Paper | LibreCat-ID: 56499
A.-C. N. Ngomo, F. Conrads, M. Pensel, and A.-Y. Turhan, “Congenial Benchmarking of RDF Storage Solutions,” in Proceedings of the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019, 2019, pp. 213–221, doi: 10.1145/3360901.3364429.
LibreCat | DOI
 
[71]
2019 | Conference (Editor) | LibreCat-ID: 56502
C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, and F. Wolter, Eds., Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, vol. 11560. Springer, 2019.
LibreCat | DOI
 
[70]
2019 | Conference Paper | LibreCat-ID: 56500
F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient TBox Reasoning with Value Restrictions - Introducing the \(\mathscrF\)_o \textbackslashtextitwer Reasoner,” 2019.
LibreCat
 
[69]
2018 | Conference (Editor) | LibreCat-ID: 56508
T. Lukasiewicz, R. Peñaloza, and A.-Y. Turhan, Eds., Proceedings of the Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness co-located with the 9th International Joint Conference on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018, vol. 2157. CEUR-WS.org, 2018.
LibreCat
 
[68]
2018 | Conference (Editor) | LibreCat-ID: 56509
F. Trollmann and A.-Y. Turhan, Eds., KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings, vol. 11117. Springer, 2018.
LibreCat | DOI
 
[67]
2018 | Conference Paper | LibreCat-ID: 56507
R. Peñaloza, V. Thost, and A.-Y. Turhan, “Query Answering for Rough EL Ontologies,” in Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018, 2018, pp. 399–408.
LibreCat
 
[66]
2018 | Journal Article | LibreCat-ID: 56503
M. Pensel and A.-Y. Turhan, “Reasoning in the Defeasible Description Logic \(ϵ\)\(\mathscrL\) - computing standard inferences under rational and relevant semantics,” Int. J. Approx. Reason., vol. 103, pp. 28–70, 2018, doi: 10.1016/J.IJAR.2018.08.005.
LibreCat | DOI
 
[65]
2018 | Conference Paper | LibreCat-ID: 56504
M. Pensel and A.-Y. Turhan, “Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot,” in Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018, 2018, vol. 2211.
LibreCat
 
[64]
2017 | Journal Article | LibreCat-ID: 56510
T. Lukasiewicz, R. Peñaloza, and A.-Y. Turhan, “Preface to the Special Issue on Reasoning about Preferences, Uncertainty, and Vagueness,” FLAP, vol. 4, no. 7, 2017.
LibreCat
 
[63]
2017 | Conference Paper | LibreCat-ID: 56516
C. Bourgaux and A.-Y. Turhan, “Temporal Query Answering in DL-Lite over Inconsistent Data,” in The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I, 2017, vol. 10587, pp. 121–137, doi: 10.1007/978-3-319-68288-4_8.
LibreCat | DOI
 
[62]
2017 | Conference Paper | LibreCat-ID: 56514
M. Pensel and A.-Y. Turhan, “Making Quantification Relevant Again - the Case of Defeasible EL_\textbackslashbot,” in Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland, July 3, 2017, 2017, vol. 1872, pp. 44–57.
LibreCat
 
[61]
2017 | Conference Paper | LibreCat-ID: 56515
M. Pensel and A.-Y. Turhan, “Including Quantification in Defeasible Reasoning for the Description Logic EL\(_\mbox\(\perp\)\),” in Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, 2017, vol. 10377, pp. 78–84, doi: 10.1007/978-3-319-61660-5_9.
LibreCat | DOI
 
[60]
2017 | Conference Paper | LibreCat-ID: 56513
P. Koopmann, M. Hähnel, and A.-Y. Turhan, “Energy-Efficiency of OWL Reasoners - Frequency Matters,” in Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings, 2017, vol. 10675, pp. 86–101, doi: 10.1007/978-3-319-70682-5_6.
LibreCat | DOI
 
[59]
2017 | Conference Paper | LibreCat-ID: 56512
F. Baader, P. Koopmann, and A.-Y. Turhan, “Using Ontologies to Query Probabilistic Numerical Data,” in Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, 2017, vol. 10483, pp. 77–94, doi: 10.1007/978-3-319-66167-4_5.
LibreCat | DOI
 
[58]
2017 | Conference Paper | LibreCat-ID: 56511
F. Baader, P. Koopmann, and A.-Y. Turhan, “Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract),” in Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017, 2017, vol. 1879.
LibreCat
 
[57]
2017 | Conference (Editor) | LibreCat-ID: 56517
Z. Wang, A.-Y. Turhan, K. Wang, and X. Zhang, Eds., Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings, vol. 10675. Springer, 2017.
LibreCat | DOI
 
[56]
2016 | Journal Article | LibreCat-ID: 52803
S. Borgwardt, T. Mailis, R. Peñaloza, and A.-Y. Turhan, “Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies,” Journal on Data Semantics, vol. 5, no. 2, pp. 55–75, 2016, doi: 10.1007/s13740-015-0055-y.
LibreCat | DOI
 
[55]
2016 | Conference Paper | LibreCat-ID: 52796
C. Carapelle and A.-Y. Turhan, “Description Logics Reasoning w.r.t. General TBoxes is decidable for Concrete Domains with the EHD-property,” 2016, doi: 10.3233/978-1-61499-672-9-1440.
LibreCat | DOI
 
[54]
2015 | Journal Article | LibreCat-ID: 56518
A. Ecke, R. Peñaloza, and A.-Y. Turhan, “Similarity-based relaxed instance queries,” J. Appl. Log., vol. 13, no. 4, pp. 480–508, 2015, doi: 10.1016/J.JAL.2015.01.002.
LibreCat | DOI
 
[53]
2015 | Conference Paper | LibreCat-ID: 56521
T. P. Mailis, A.-Y. Turhan, and E. Zenker, “A pragmatic approach to answering CQs over fuzzy DL-Lite-ontologies - introducing FLite,” in Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015, 2015, vol. 1350.
LibreCat
 
[52]
2015 | Conference Paper | LibreCat-ID: 56519
S. Borgwardt, T. P. Mailis, R. Peñaloza, and A.-Y. Turhan, “Conjunctive Query Answering with Finitely Many Truth Degrees,” in Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015, 2015, vol. 1350.
LibreCat
 
[51]
2015 | Conference Paper | LibreCat-ID: 56520
A. Ecke, M. Pensel, and A.-Y. Turhan, “Elastiq: Answering Similarity-threshold Instance Queries in EL,” in Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015, 2015, vol. 1350.
LibreCat
 
[50]
2015 | Conference Paper | LibreCat-ID: 56522
A.-Y. Turhan and E. Zenker, “Towards Temporal Fuzzy Query Answering on Stream-based Data,” in Proceedings of the 1st Workshop on High-Level Declarative Stream Processing co-located with the 38th German AI conference (KI 2015), Dresden, Germany, September 22, 2015, 2015, vol. 1447, pp. 56–69.
LibreCat
 
[49]
2014 | Conference Paper | LibreCat-ID: 56526
T. P. Mailis and A.-Y. Turhan, “Employing DL\textbackslashtext -Lite_R -Reasoners for Fuzzy Query Answering,” in Semantic Technology - 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers, 2014, vol. 8943, pp. 63–78, doi: 10.1007/978-3-319-15615-6_5.
LibreCat | DOI
 
[48]
2014 | Conference Paper | LibreCat-ID: 56525
R. Peñaloza, V. Thost, and A.-Y. Turhan, “Certain Answers in a Rough World,” in Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014, 2014, vol. 1193, pp. 709–712.
LibreCat
 
[47]
2014 | Conference Paper | LibreCat-ID: 56524
A. Ecke, R. Peñaloza, and A.-Y. Turhan, “Mary, What’s Like All Cats?,” in Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014, 2014, vol. 1193, pp. 526–529.
LibreCat
 
[46]
2014 | Journal Article | LibreCat-ID: 56523
A. Ecke, R. Peñaloza, and A.-Y. Turhan, “Completion-based generalization inferences for the Description Logic ELOR with subjective probabilities,” Int. J. Approx. Reason., vol. 55, no. 9, pp. 1939–1970, 2014, doi: 10.1016/J.IJAR.2014.03.001.
LibreCat | DOI
 
[45]
2014 | Conference Paper | LibreCat-ID: 56530
T. P. Mailis, R. Peñaloza, and A.-Y. Turhan, “Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics,” in Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, 2014, vol. 8741, pp. 124–139, doi: 10.1007/978-3-319-11113-1_9.
LibreCat | DOI
 
[44]
2014 | Conference Paper | LibreCat-ID: 56527
D. Merz, R. Peñaloza, and A.-Y. Turhan, “Reasoning in \emphALC with Fuzzy Concrete Domains,” in KI 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings, 2014, vol. 8736, pp. 171–182, doi: 10.1007/978-3-319-11206-0_17.
LibreCat | DOI
 
[43]
2014 | Conference Paper | LibreCat-ID: 56529
M. Hähnel, J. Mendez, V. Thost, and A.-Y. Turhan, “Bridging the application knowledge gap: using ontology-based situation recognition to support energy-aware resource scheduling,” in Proceedings of the 13th Workshop on Adaptive and Reflective Middleware, ARM@Middleware 2014, Bordeaux, France, December 8-12, 2014, 2014, p. 3:1–3:6, doi: 10.1145/2677017.2677020.
LibreCat | DOI
 
[42]
2014 | Conference (Editor) | LibreCat-ID: 56531
T. Lukasiewicz, R. Peñaloza, and A.-Y. Turhan, Eds., Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness, PRUV 2014, co-located with 7th International Joint Conference on Automated Reasoning (IJCAR 2014), Vienna, Austria, July 23-24, 2014, vol. 1205. CEUR-WS.org, 2014.
LibreCat
 
[41]
2014 | Conference Paper | LibreCat-ID: 56528
A. Ecke, R. Peñaloza, and A.-Y. Turhan, “Answering Instance Queries Relaxed by Concept Similarity,” in Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014, 2014.
LibreCat
 
[40]
2013 | Conference Paper | LibreCat-ID: 56534
A. Ecke, R. Peñaloza, and A.-Y. Turhan, “Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals,” in Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, 2013, vol. 1014, pp. 670–688.
LibreCat
 
[39]
2013 | Conference Paper | LibreCat-ID: 56532
A.-Y. Turhan and B. Zarrieß, “Computing the lcs w.r.t. General EL+-TBoxes,” in Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, 2013, vol. 1014, pp. 477–488.
LibreCat
 
[38]
2013 | Conference Paper | LibreCat-ID: 56542
R. Peñaloza and A.-Y. Turhan, “Instance-Based Non-standard Inferences in \textdollar\textbackslashmathcalEL\textdollar with Subjective Probabilities,” in Uncertainty Reasoning for the Semantic Web II, International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers, 2013, vol. 7123, pp. 80–98, doi: 10.1007/978-3-642-35975-0_5.
LibreCat | DOI
 
[37]
2013 | Conference Paper | LibreCat-ID: 56541
A.-Y. Turhan, “Introductions to Description Logics - A Guided Tour,” in Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings, 2013, vol. 8067, pp. 150–161, doi: 10.1007/978-3-642-39784-4_3.
LibreCat | DOI
 
[36]
2013 | Conference Paper | LibreCat-ID: 56538
A. Ecke, R. Peñaloza, and A.-Y. Turhan, “Computing Role-Depth Bounded Generalizations in the Description Logic,” in KI 2013: Advances in Artificial Intelligence - 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings, 2013, vol. 8077, pp. 49–60, doi: 10.1007/978-3-642-40942-4_5.
LibreCat | DOI
 
[35]
2013 | Conference Paper | LibreCat-ID: 56540
W. Dargie, J. Mendez, C. Möbius, K. Rybina, V. Thost, and A.-Y. Turhan, “Situation recognition for service management systems using OWL 2 reasoners,” in 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, PERCOM 2013 Workshops, San Diego, CA, USA, March 18-22, 2013, 2013, pp. 31–36, doi: 10.1109/PERCOMW.2013.6529452.
LibreCat | DOI
 
[34]
2013 | Conference Paper | LibreCat-ID: 56539
S. Goetz, J. Mendez, V. Thost, and A.-Y. Turhan, “OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context,” in Proceedings of the 10th International Workshop on {OWL:} Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), Montpellier, France, May 26-27, 2013, 2013, vol. 1080.
LibreCat
 
[33]
2013 | Conference Paper | LibreCat-ID: 56536
B. Zarrieß and A.-Y. Turhan, “Most Specific Generalizations w.r.t. General EL-TBoxes,” in IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, 2013, pp. 1191–1197.
LibreCat
 
[32]
2012 | Conference Paper | LibreCat-ID: 56544
K. Lehmann and A.-Y. Turhan, “A Framework for Semantic-Based Similarity Measures for \textdollar\textbackslashmathcalELH\textdollar -Concepts,” in Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, 2012, vol. 7519, pp. 307–319, doi: 10.1007/978-3-642-33353-8_24.
LibreCat | DOI
 
[31]
2012 | Conference Paper | LibreCat-ID: 56551
A. Ecke and A.-Y. Turhan, “Role-depth Bounded Least Common Subsumers for EL+ and ELI,” in Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012, 2012, vol. 846.
LibreCat
 
[30]
2012 | Conference Paper | LibreCat-ID: 56545
A. Ecke and A.-Y. Turhan, “Optimizations for the Role-Depth Bounded Least Common Subsumer in EL+,” in Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012, 2012, vol. 849.
LibreCat
 
[29]
2011 | Conference Paper | LibreCat-ID: 56546
J. Mendez, A. Ecke, and A.-Y. Turhan, “Implementing Completion-Based Inferences for the EL-family,” in Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, 2011, vol. 745.
LibreCat
 
[28]
2011 | Conference Paper | LibreCat-ID: 56548
A.-Y. Turhan, “Description logic reasoning for semantic web ontologies,” in Proceedings of the International Conference on Web Intelligence, Mining and Semantics, WIMS 2011, Sogndal, Norway, May 25 - 27, 2011, 2011, p. 6, doi: 10.1145/1988688.1988696.
LibreCat | DOI
 
[27]
2011 | Conference Paper | LibreCat-ID: 56547
R. Peñaloza and A.-Y. Turhan, “A Practical Approach for Computing Generalization Inferences in \emphEL\textbackslashmathcalEL,” in The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I, 2011, vol. 6643, pp. 410–423, doi: 10.1007/978-3-642-21034-1_28.
LibreCat | DOI
 
[26]
2010 | Conference Paper | LibreCat-ID: 56550
R. Peñaloza and A.-Y. Turhan, “Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities,” in Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010, 2010, vol. 613.
LibreCat
 
[25]
2010 | Journal Article | LibreCat-ID: 56549
F. Baader, C. Lutz, and A.-Y. Turhan, “Small is Again Beautiful in Description Logics,” Künstliche Intell., vol. 24, no. 1, pp. 25–33, 2010, doi: 10.1007/S13218-010-0004-8.
LibreCat | DOI
 
[24]
2010 | Conference (Editor) | LibreCat-ID: 56553
T. Lukasiewicz, R. Peñaloza, and A.-Y. Turhan, Eds., Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010, vol. 613. CEUR-WS.org, 2010.
LibreCat
 
[23]
2010 | Conference Paper | LibreCat-ID: 56552
A.-Y. Turhan, “Reasoning and Explanation in 𝓔𝓛 and in Expressive Description Logics,” in Reasoning Web. Semantic Technologies for Software Engineering, 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures, 2010, vol. 6325, pp. 1–27, doi: 10.1007/978-3-642-15543-7_1.
LibreCat | DOI
 
[22]
2009 | Journal Article | LibreCat-ID: 56554
T. Springer and A.-Y. Turhan, “Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations,” J. Ambient Intell. Smart Environ., vol. 1, no. 3, pp. 235–259, 2009, doi: 10.3233/AIS-2009-0032.
LibreCat | DOI
 
[21]
2007 | Dissertation | LibreCat-ID: 56555
A.-Y. Turhan, On the computation of common subsumers in description logics. Dresden University of Technology, Germany, 2007.
LibreCat
 
[20]
2007 | Conference Paper | LibreCat-ID: 56557
A.-Y. Turhan and Y. Bong, “Speeding up Approximation with Nicer Concepts,” in Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007, 2007, vol. 250.
LibreCat
 
[19]
2007 | Conference (Editor) | LibreCat-ID: 56558
D. Calvanese et al., Eds., Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007, vol. 250. CEUR-WS.org, 2007.
LibreCat
 
[18]
2007 | Journal Article | LibreCat-ID: 56556
F. Baader, B. Sertkaya, and A.-Y. Turhan, “Computing the least common subsumer w.r.t. a background terminology,” J. Appl. Log., vol. 5, no. 3, pp. 392–420, 2007, doi: 10.1016/J.JAL.2006.03.002.
LibreCat | DOI
 
[17]
2006 | Conference Paper | LibreCat-ID: 56559
S. Bechhofer et al., “DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners,” in Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006, 2006, vol. 216.
LibreCat
 
[16]
2004 | Conference Paper | LibreCat-ID: 56564
F. Baader, B. Sertkaya, and A.-Y. Turhan, “Computing the Least Common Subsumer w.r.t. a Background Terminology,” in Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, 2004, vol. 3229, pp. 400–412, doi: 10.1007/978-3-540-30227-8_34.
LibreCat | DOI
 
[15]
2004 | Conference Paper | LibreCat-ID: 56561
A.-Y. Turhan and C. Kissig, “Sonic - Non-standard Inferences Go OilEd,” in Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, 2004, vol. 3097, pp. 321–325, doi: 10.1007/978-3-540-25984-8_22.
LibreCat | DOI
 
[14]
2004 | Conference Paper | LibreCat-ID: 56562
F. Baader, B. Sertkaya, and A.-Y. Turhan, “Computing the Least Common Subsumer w.r.t. a Background Terminology,” in Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, 2004, vol. 104.
LibreCat
 
[13]
2004 | Conference Paper | LibreCat-ID: 56563
A.-Y. Turhan and C. Kissig, “Sonic: System Description,” in Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, 2004, vol. 104.
LibreCat
 
[12]
2003 | Conference Paper | LibreCat-ID: 56567
S. Brandt, A.-Y. Turhan, and R. Küsters, “Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles,” in Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings, 2003, vol. 2850, pp. 122–136, doi: 10.1007/978-3-540-39813-4_8.
LibreCat | DOI
 
[11]
2003 | Conference Paper | LibreCat-ID: 56566
S. Brandt and A.-Y. Turhan, “Computing Least Common Subsumers for FLE\(^\mbox+\),” in Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003, 2003, vol. 81.
LibreCat
 
[10]
2002 | Conference Paper | LibreCat-ID: 56569
F. Baader and A.-Y. Turhan, “On the Problem of Computing Small Representations of Least Common Subsumers,” in KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, 2002, vol. 2479, pp. 99–113, doi: 10.1007/3-540-45751-8_7.
LibreCat | DOI
 
[9]
2002 | Conference Paper | LibreCat-ID: 56568
S. Brandt, R. Küsters, and A.-Y. Turhan, “Approximating ALCN-Concept Descriptions,” in Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, 2002, vol. 53.
LibreCat
 
[8]
2002 | Conference Paper | LibreCat-ID: 56570
S. Brandt, R. Küsters, and A.-Y. Turhan, “Approximation and Difference in Description Logics,” in Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, 2002, pp. 203–214.
LibreCat
 
[7]
2001 | Conference Paper | LibreCat-ID: 56571
V. Haarslev, R. Möller, and A.-Y. Turhan, “Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics,” in Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, 2001, vol. 2083, pp. 61–75, doi: 10.1007/3-540-45744-5_6.
LibreCat | DOI
 
[6]
2001 | Conference Paper | LibreCat-ID: 56572
F. Baader and A.-Y. Turhan, “TBoxes do not Yield a Compact Representation of Least Common Subsumers,” in Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, 2001, vol. 49.
LibreCat
 
[5]
2001 | Conference Paper | LibreCat-ID: 56573
A.-Y. Turhan and R. Molitor, “Using Lazy Unfolding for the Computation of Least Common Subsumers,” in Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, 2001, vol. 49.
LibreCat
 
[4]
2000 | Conference Paper | LibreCat-ID: 56574
A.-Y. Turhan and V. Haarslev, “Adapting Optimization Techniques to Description Logics with Concrete Domains,” in Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000, 2000, vol. 33, pp. 247–256.
LibreCat
 
[3]
1999 | Conference Paper | LibreCat-ID: 56575
V. Haarslev, R. Möller, A.-Y. Turhan, and M. Wessel, “On Terminological Default Reasoning about Spatial Information: Extended Abstract,” in Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999, 1999, vol. 22.
LibreCat
 
[2]
1998 | Conference Paper | LibreCat-ID: 56577
V. Haarslev, R. Möller, and A.-Y. Turhan, “Implementing an ALCRP(D) ABox Reasoner - Progress Report,” in Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, 1998, vol. 11.
LibreCat
 
[1]
1998 | Conference Paper | LibreCat-ID: 56576
V. Haarslev, R. Möller, and A.-Y. Turhan, “HAM-ALC,” in Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, 1998, vol. 11.
LibreCat
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed

98 Publications

Mark all

[98]
2024 | Conference Paper | LibreCat-ID: 56488
R. Peñaloza and A.-Y. Turhan, “Reasoning in Rough Description Logics with Multiple Indiscernibility Relations,” in Rules and Reasoning - 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings, 2024, vol. 15183, pp. 142–158, doi: 10.1007/978-3-031-72407-7_11.
LibreCat | DOI
 
[97]
2024 | Conference Paper | LibreCat-ID: 56158
O. F. Gil, F. Patrizi, G. Perelli, and A.-Y. Turhan, “Optimal Alignment of Temporal Knowledge Bases (Extended Abstract),” in Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, 2024, vol. 3739.
LibreCat
 
[96]
2024 | Conference Paper | LibreCat-ID: 56159
R. Peñaloza and A.-Y. Turhan, “Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations,” in Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, 2024, vol. 3739.
LibreCat | Files available
 
[95]
2023 | Journal Article | LibreCat-ID: 52861
O. F. Gil, F. Patrizi, G. Perelli, and A.-Y. Turhan, “Optimal Alignment of Temporal Knowledge Bases,” CoRR, vol. abs/2307.15439, 2023, doi: 10.48550/ARXIV.2307.15439.
LibreCat | DOI
 
[94]
2023 | Conference Paper | LibreCat-ID: 52913
A.-Y. Turhan, “Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk),” in Proceedings of the 36th International Workshop on Description Logics {(DL} 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning {(KR} 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023, 2023, vol. 3515.
LibreCat
 
[93]
2023 | Conference Paper | LibreCat-ID: 56096
O. F. Gil, F. Patrizi, G. Perelli, and A.-Y. Turhan, “Optimal Alignment of Temporal Knowledge Bases,” in ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023), 2023, vol. 372, pp. 708–715, doi: 10.3233/FAIA230335.
LibreCat | DOI
 
[92]
2023 | Book Chapter | LibreCat-ID: 52859
I. de Camargo e Souza Câmara and A.-Y. Turhan, “Deciding Subsumption in Defeasible 𝓔𝓛𝓘⊥ with Typicality Models,” in Logics in Artificial Intelligence, Cham: Springer Nature Switzerland, 2023.
LibreCat | DOI
 
[91]
2022 | Journal Article | LibreCat-ID: 52862
A.-Y. Turhan, “A Double Take at Conferences: The Hybrid Format,” KI - Künstliche Intelligenz, vol. 36, no. 1, pp. 1–4, 2022, doi: 10.1007/s13218-022-00758-6.
LibreCat | DOI
 
[90]
2022 | Conference Paper | LibreCat-ID: 52923
I. de Camargo e Souza Câmara and A.-Y. Turhan, “Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI\(\perp\),” in Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022, 2022, vol. 3197, pp. 159–162.
LibreCat
 
[89]
2022 | Conference (Editor) | LibreCat-ID: 52925
G. Governatori and A.-Y. Turhan, Eds., Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings, vol. 13752. Springer, 2022.
LibreCat | DOI
 
[88]
2022 | Conference Paper | LibreCat-ID: 52924
S. Tirtarasa and A.-Y. Turhan, “Computing generalizations of temporal ϵL concepts with next and global,” in SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, 2022, pp. 903–910, doi: 10.1145/3477314.3507136.
LibreCat | DOI
 
[87]
2022 | Journal Article | LibreCat-ID: 52918
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner,” Theory Pract. Log. Program., vol. 22, no. 2, pp. 162–192, 2022, doi: 10.1017/S1471068421000466.
LibreCat | DOI
 
[86]
2022 | Conference Paper | LibreCat-ID: 52920
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract),” in Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, 2022, vol. 3263.
LibreCat
 
[85]
2022 | Conference Paper | LibreCat-ID: 52921
S. Tirtarasa and A.-Y. Turhan, “A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract),” in Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, 2022, vol. 3263.
LibreCat
 
[84]
2022 | Conference Paper | LibreCat-ID: 52922
R. Peñaloza and A.-Y. Turhan, “User-aware Explications of Ontology Consequences: Levelling Technicality,” in Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022, 2022, vol. 3242, pp. 90–101.
LibreCat
 
[83]
2021 | Conference Paper | LibreCat-ID: 52927
O. F. Gil and A.-Y. Turhan, “Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics,” in Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, 2021, pp. 6340–6348, doi: 10.1609/AAAI.V35I7.16787.
LibreCat | DOI
 
[82]
2021 | Journal Article | LibreCat-ID: 52926
C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Enhancing Probabilistic Model Checking with Ontologies,” Formal Aspects Comput., vol. 33, no. 6, pp. 885–921, 2021, doi: 10.1007/S00165-021-00549-0.
LibreCat | DOI
 
[81]
2021 | Conference Paper | LibreCat-ID: 52928
C. Alrabbaa, W. Hieke, and A.-Y. Turhan, “Counter Model Transformation for Explaining Non-Subsumption in EL,” in Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021, 2021, vol. 2961, pp. 9–22.
LibreCat
 
[80]
2020 | Journal Article | LibreCat-ID: 52930
F. Baader, S. Borgwardt, P. Koopmann, V. Thost, and A.-Y. Turhan, “Semantic Technologies for Situation Awareness,” Künstliche Intell., vol. 34, no. 4, pp. 543–550, 2020, doi: 10.1007/S13218-020-00694-3.
LibreCat | DOI
 
[79]
2020 | Conference Paper | LibreCat-ID: 56490
W. Hieke and A.-Y. Turhan, “Towards Model Transformation in Description Logics - Investigating the Case of Transductions,” in Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), Online / Bamberg, Germany, September 22, 2020, 2020, vol. 2680, pp. 69–82.
LibreCat
 
[78]
2020 | Conference Paper | LibreCat-ID: 52936
C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification,” in Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, 2020, vol. 2663.
LibreCat
 
[77]
2020 | Conference Paper | LibreCat-ID: 56489
O. F. Gil and A.-Y. Turhan, “Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract),” in Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, 2020, vol. 2663.
LibreCat
 
[76]
2019 | Journal Article | LibreCat-ID: 56491
C. Bourgaux, P. Koopmann, and A.-Y. Turhan, “Ontology-mediated query answering over temporal and inconsistent data,” Semantic Web, vol. 10, no. 3, pp. 475–521, 2019, doi: 10.3233/SW-180337.
LibreCat | DOI
 
[75]
2019 | Conference Paper | LibreCat-ID: 56493
C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, and F. Wolter, “A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction,” in Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, 2019, vol. 11560, pp. 1–14, doi: 10.1007/978-3-030-22102-7_1.
LibreCat | DOI
 
[74]
2019 | Conference Paper | LibreCat-ID: 56498
C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Ontology-Mediated Probabilistic Model Checking,” in Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, 2019, vol. 11918, pp. 194–211, doi: 10.1007/978-3-030-34968-4_11.
LibreCat | DOI
 
[73]
2019 | Conference Paper | LibreCat-ID: 56496
C. Alrabbaa, P. Koopmann, and A.-Y. Turhan, “Practical Query Rewriting for DL-Lite with Numerical Predicates,” in GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019, 2019, vol. 65, pp. 15–27, doi: 10.29007/GQLL.
LibreCat | DOI
 
[72]
2019 | Conference Paper | LibreCat-ID: 56499
A.-C. N. Ngomo, F. Conrads, M. Pensel, and A.-Y. Turhan, “Congenial Benchmarking of RDF Storage Solutions,” in Proceedings of the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019, 2019, pp. 213–221, doi: 10.1145/3360901.3364429.
LibreCat | DOI
 
[71]
2019 | Conference (Editor) | LibreCat-ID: 56502
C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, and F. Wolter, Eds., Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, vol. 11560. Springer, 2019.
LibreCat | DOI
 
[70]
2019 | Conference Paper | LibreCat-ID: 56500
F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient TBox Reasoning with Value Restrictions - Introducing the \(\mathscrF\)_o \textbackslashtextitwer Reasoner,” 2019.
LibreCat
 
[69]
2018 | Conference (Editor) | LibreCat-ID: 56508
T. Lukasiewicz, R. Peñaloza, and A.-Y. Turhan, Eds., Proceedings of the Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness co-located with the 9th International Joint Conference on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018, vol. 2157. CEUR-WS.org, 2018.
LibreCat
 
[68]
2018 | Conference (Editor) | LibreCat-ID: 56509
F. Trollmann and A.-Y. Turhan, Eds., KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings, vol. 11117. Springer, 2018.
LibreCat | DOI
 
[67]
2018 | Conference Paper | LibreCat-ID: 56507
R. Peñaloza, V. Thost, and A.-Y. Turhan, “Query Answering for Rough EL Ontologies,” in Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018, 2018, pp. 399–408.
LibreCat
 
[66]
2018 | Journal Article | LibreCat-ID: 56503
M. Pensel and A.-Y. Turhan, “Reasoning in the Defeasible Description Logic \(ϵ\)\(\mathscrL\) - computing standard inferences under rational and relevant semantics,” Int. J. Approx. Reason., vol. 103, pp. 28–70, 2018, doi: 10.1016/J.IJAR.2018.08.005.
LibreCat | DOI
 
[65]
2018 | Conference Paper | LibreCat-ID: 56504
M. Pensel and A.-Y. Turhan, “Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot,” in Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018, 2018, vol. 2211.
LibreCat
 
[64]
2017 | Journal Article | LibreCat-ID: 56510
T. Lukasiewicz, R. Peñaloza, and A.-Y. Turhan, “Preface to the Special Issue on Reasoning about Preferences, Uncertainty, and Vagueness,” FLAP, vol. 4, no. 7, 2017.
LibreCat
 
[63]
2017 | Conference Paper | LibreCat-ID: 56516
C. Bourgaux and A.-Y. Turhan, “Temporal Query Answering in DL-Lite over Inconsistent Data,” in The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I, 2017, vol. 10587, pp. 121–137, doi: 10.1007/978-3-319-68288-4_8.
LibreCat | DOI
 
[62]
2017 | Conference Paper | LibreCat-ID: 56514
M. Pensel and A.-Y. Turhan, “Making Quantification Relevant Again - the Case of Defeasible EL_\textbackslashbot,” in Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland, July 3, 2017, 2017, vol. 1872, pp. 44–57.
LibreCat
 
[61]
2017 | Conference Paper | LibreCat-ID: 56515
M. Pensel and A.-Y. Turhan, “Including Quantification in Defeasible Reasoning for the Description Logic EL\(_\mbox\(\perp\)\),” in Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, 2017, vol. 10377, pp. 78–84, doi: 10.1007/978-3-319-61660-5_9.
LibreCat | DOI
 
[60]
2017 | Conference Paper | LibreCat-ID: 56513
P. Koopmann, M. Hähnel, and A.-Y. Turhan, “Energy-Efficiency of OWL Reasoners - Frequency Matters,” in Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings, 2017, vol. 10675, pp. 86–101, doi: 10.1007/978-3-319-70682-5_6.
LibreCat | DOI
 
[59]
2017 | Conference Paper | LibreCat-ID: 56512
F. Baader, P. Koopmann, and A.-Y. Turhan, “Using Ontologies to Query Probabilistic Numerical Data,” in Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, 2017, vol. 10483, pp. 77–94, doi: 10.1007/978-3-319-66167-4_5.
LibreCat | DOI
 
[58]
2017 | Conference Paper | LibreCat-ID: 56511
F. Baader, P. Koopmann, and A.-Y. Turhan, “Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract),” in Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017, 2017, vol. 1879.
LibreCat
 
[57]
2017 | Conference (Editor) | LibreCat-ID: 56517
Z. Wang, A.-Y. Turhan, K. Wang, and X. Zhang, Eds., Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings, vol. 10675. Springer, 2017.
LibreCat | DOI
 
[56]
2016 | Journal Article | LibreCat-ID: 52803
S. Borgwardt, T. Mailis, R. Peñaloza, and A.-Y. Turhan, “Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies,” Journal on Data Semantics, vol. 5, no. 2, pp. 55–75, 2016, doi: 10.1007/s13740-015-0055-y.
LibreCat | DOI
 
[55]
2016 | Conference Paper | LibreCat-ID: 52796
C. Carapelle and A.-Y. Turhan, “Description Logics Reasoning w.r.t. General TBoxes is decidable for Concrete Domains with the EHD-property,” 2016, doi: 10.3233/978-1-61499-672-9-1440.
LibreCat | DOI
 
[54]
2015 | Journal Article | LibreCat-ID: 56518
A. Ecke, R. Peñaloza, and A.-Y. Turhan, “Similarity-based relaxed instance queries,” J. Appl. Log., vol. 13, no. 4, pp. 480–508, 2015, doi: 10.1016/J.JAL.2015.01.002.
LibreCat | DOI
 
[53]
2015 | Conference Paper | LibreCat-ID: 56521
T. P. Mailis, A.-Y. Turhan, and E. Zenker, “A pragmatic approach to answering CQs over fuzzy DL-Lite-ontologies - introducing FLite,” in Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015, 2015, vol. 1350.
LibreCat
 
[52]
2015 | Conference Paper | LibreCat-ID: 56519
S. Borgwardt, T. P. Mailis, R. Peñaloza, and A.-Y. Turhan, “Conjunctive Query Answering with Finitely Many Truth Degrees,” in Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015, 2015, vol. 1350.
LibreCat
 
[51]
2015 | Conference Paper | LibreCat-ID: 56520
A. Ecke, M. Pensel, and A.-Y. Turhan, “Elastiq: Answering Similarity-threshold Instance Queries in EL,” in Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015, 2015, vol. 1350.
LibreCat
 
[50]
2015 | Conference Paper | LibreCat-ID: 56522
A.-Y. Turhan and E. Zenker, “Towards Temporal Fuzzy Query Answering on Stream-based Data,” in Proceedings of the 1st Workshop on High-Level Declarative Stream Processing co-located with the 38th German AI conference (KI 2015), Dresden, Germany, September 22, 2015, 2015, vol. 1447, pp. 56–69.
LibreCat
 
[49]
2014 | Conference Paper | LibreCat-ID: 56526
T. P. Mailis and A.-Y. Turhan, “Employing DL\textbackslashtext -Lite_R -Reasoners for Fuzzy Query Answering,” in Semantic Technology - 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers, 2014, vol. 8943, pp. 63–78, doi: 10.1007/978-3-319-15615-6_5.
LibreCat | DOI
 
[48]
2014 | Conference Paper | LibreCat-ID: 56525
R. Peñaloza, V. Thost, and A.-Y. Turhan, “Certain Answers in a Rough World,” in Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014, 2014, vol. 1193, pp. 709–712.
LibreCat
 
[47]
2014 | Conference Paper | LibreCat-ID: 56524
A. Ecke, R. Peñaloza, and A.-Y. Turhan, “Mary, What’s Like All Cats?,” in Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014, 2014, vol. 1193, pp. 526–529.
LibreCat
 
[46]
2014 | Journal Article | LibreCat-ID: 56523
A. Ecke, R. Peñaloza, and A.-Y. Turhan, “Completion-based generalization inferences for the Description Logic ELOR with subjective probabilities,” Int. J. Approx. Reason., vol. 55, no. 9, pp. 1939–1970, 2014, doi: 10.1016/J.IJAR.2014.03.001.
LibreCat | DOI
 
[45]
2014 | Conference Paper | LibreCat-ID: 56530
T. P. Mailis, R. Peñaloza, and A.-Y. Turhan, “Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics,” in Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, 2014, vol. 8741, pp. 124–139, doi: 10.1007/978-3-319-11113-1_9.
LibreCat | DOI
 
[44]
2014 | Conference Paper | LibreCat-ID: 56527
D. Merz, R. Peñaloza, and A.-Y. Turhan, “Reasoning in \emphALC with Fuzzy Concrete Domains,” in KI 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings, 2014, vol. 8736, pp. 171–182, doi: 10.1007/978-3-319-11206-0_17.
LibreCat | DOI
 
[43]
2014 | Conference Paper | LibreCat-ID: 56529
M. Hähnel, J. Mendez, V. Thost, and A.-Y. Turhan, “Bridging the application knowledge gap: using ontology-based situation recognition to support energy-aware resource scheduling,” in Proceedings of the 13th Workshop on Adaptive and Reflective Middleware, ARM@Middleware 2014, Bordeaux, France, December 8-12, 2014, 2014, p. 3:1–3:6, doi: 10.1145/2677017.2677020.
LibreCat | DOI
 
[42]
2014 | Conference (Editor) | LibreCat-ID: 56531
T. Lukasiewicz, R. Peñaloza, and A.-Y. Turhan, Eds., Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness, PRUV 2014, co-located with 7th International Joint Conference on Automated Reasoning (IJCAR 2014), Vienna, Austria, July 23-24, 2014, vol. 1205. CEUR-WS.org, 2014.
LibreCat
 
[41]
2014 | Conference Paper | LibreCat-ID: 56528
A. Ecke, R. Peñaloza, and A.-Y. Turhan, “Answering Instance Queries Relaxed by Concept Similarity,” in Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014, 2014.
LibreCat
 
[40]
2013 | Conference Paper | LibreCat-ID: 56534
A. Ecke, R. Peñaloza, and A.-Y. Turhan, “Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals,” in Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, 2013, vol. 1014, pp. 670–688.
LibreCat
 
[39]
2013 | Conference Paper | LibreCat-ID: 56532
A.-Y. Turhan and B. Zarrieß, “Computing the lcs w.r.t. General EL+-TBoxes,” in Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, 2013, vol. 1014, pp. 477–488.
LibreCat
 
[38]
2013 | Conference Paper | LibreCat-ID: 56542
R. Peñaloza and A.-Y. Turhan, “Instance-Based Non-standard Inferences in \textdollar\textbackslashmathcalEL\textdollar with Subjective Probabilities,” in Uncertainty Reasoning for the Semantic Web II, International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers, 2013, vol. 7123, pp. 80–98, doi: 10.1007/978-3-642-35975-0_5.
LibreCat | DOI
 
[37]
2013 | Conference Paper | LibreCat-ID: 56541
A.-Y. Turhan, “Introductions to Description Logics - A Guided Tour,” in Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings, 2013, vol. 8067, pp. 150–161, doi: 10.1007/978-3-642-39784-4_3.
LibreCat | DOI
 
[36]
2013 | Conference Paper | LibreCat-ID: 56538
A. Ecke, R. Peñaloza, and A.-Y. Turhan, “Computing Role-Depth Bounded Generalizations in the Description Logic,” in KI 2013: Advances in Artificial Intelligence - 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings, 2013, vol. 8077, pp. 49–60, doi: 10.1007/978-3-642-40942-4_5.
LibreCat | DOI
 
[35]
2013 | Conference Paper | LibreCat-ID: 56540
W. Dargie, J. Mendez, C. Möbius, K. Rybina, V. Thost, and A.-Y. Turhan, “Situation recognition for service management systems using OWL 2 reasoners,” in 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, PERCOM 2013 Workshops, San Diego, CA, USA, March 18-22, 2013, 2013, pp. 31–36, doi: 10.1109/PERCOMW.2013.6529452.
LibreCat | DOI
 
[34]
2013 | Conference Paper | LibreCat-ID: 56539
S. Goetz, J. Mendez, V. Thost, and A.-Y. Turhan, “OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context,” in Proceedings of the 10th International Workshop on {OWL:} Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), Montpellier, France, May 26-27, 2013, 2013, vol. 1080.
LibreCat
 
[33]
2013 | Conference Paper | LibreCat-ID: 56536
B. Zarrieß and A.-Y. Turhan, “Most Specific Generalizations w.r.t. General EL-TBoxes,” in IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, 2013, pp. 1191–1197.
LibreCat
 
[32]
2012 | Conference Paper | LibreCat-ID: 56544
K. Lehmann and A.-Y. Turhan, “A Framework for Semantic-Based Similarity Measures for \textdollar\textbackslashmathcalELH\textdollar -Concepts,” in Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, 2012, vol. 7519, pp. 307–319, doi: 10.1007/978-3-642-33353-8_24.
LibreCat | DOI
 
[31]
2012 | Conference Paper | LibreCat-ID: 56551
A. Ecke and A.-Y. Turhan, “Role-depth Bounded Least Common Subsumers for EL+ and ELI,” in Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012, 2012, vol. 846.
LibreCat
 
[30]
2012 | Conference Paper | LibreCat-ID: 56545
A. Ecke and A.-Y. Turhan, “Optimizations for the Role-Depth Bounded Least Common Subsumer in EL+,” in Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012, 2012, vol. 849.
LibreCat
 
[29]
2011 | Conference Paper | LibreCat-ID: 56546
J. Mendez, A. Ecke, and A.-Y. Turhan, “Implementing Completion-Based Inferences for the EL-family,” in Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, 2011, vol. 745.
LibreCat
 
[28]
2011 | Conference Paper | LibreCat-ID: 56548
A.-Y. Turhan, “Description logic reasoning for semantic web ontologies,” in Proceedings of the International Conference on Web Intelligence, Mining and Semantics, WIMS 2011, Sogndal, Norway, May 25 - 27, 2011, 2011, p. 6, doi: 10.1145/1988688.1988696.
LibreCat | DOI
 
[27]
2011 | Conference Paper | LibreCat-ID: 56547
R. Peñaloza and A.-Y. Turhan, “A Practical Approach for Computing Generalization Inferences in \emphEL\textbackslashmathcalEL,” in The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I, 2011, vol. 6643, pp. 410–423, doi: 10.1007/978-3-642-21034-1_28.
LibreCat | DOI
 
[26]
2010 | Conference Paper | LibreCat-ID: 56550
R. Peñaloza and A.-Y. Turhan, “Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities,” in Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010, 2010, vol. 613.
LibreCat
 
[25]
2010 | Journal Article | LibreCat-ID: 56549
F. Baader, C. Lutz, and A.-Y. Turhan, “Small is Again Beautiful in Description Logics,” Künstliche Intell., vol. 24, no. 1, pp. 25–33, 2010, doi: 10.1007/S13218-010-0004-8.
LibreCat | DOI
 
[24]
2010 | Conference (Editor) | LibreCat-ID: 56553
T. Lukasiewicz, R. Peñaloza, and A.-Y. Turhan, Eds., Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010, vol. 613. CEUR-WS.org, 2010.
LibreCat
 
[23]
2010 | Conference Paper | LibreCat-ID: 56552
A.-Y. Turhan, “Reasoning and Explanation in 𝓔𝓛 and in Expressive Description Logics,” in Reasoning Web. Semantic Technologies for Software Engineering, 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures, 2010, vol. 6325, pp. 1–27, doi: 10.1007/978-3-642-15543-7_1.
LibreCat | DOI
 
[22]
2009 | Journal Article | LibreCat-ID: 56554
T. Springer and A.-Y. Turhan, “Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations,” J. Ambient Intell. Smart Environ., vol. 1, no. 3, pp. 235–259, 2009, doi: 10.3233/AIS-2009-0032.
LibreCat | DOI
 
[21]
2007 | Dissertation | LibreCat-ID: 56555
A.-Y. Turhan, On the computation of common subsumers in description logics. Dresden University of Technology, Germany, 2007.
LibreCat
 
[20]
2007 | Conference Paper | LibreCat-ID: 56557
A.-Y. Turhan and Y. Bong, “Speeding up Approximation with Nicer Concepts,” in Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007, 2007, vol. 250.
LibreCat
 
[19]
2007 | Conference (Editor) | LibreCat-ID: 56558
D. Calvanese et al., Eds., Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007, vol. 250. CEUR-WS.org, 2007.
LibreCat
 
[18]
2007 | Journal Article | LibreCat-ID: 56556
F. Baader, B. Sertkaya, and A.-Y. Turhan, “Computing the least common subsumer w.r.t. a background terminology,” J. Appl. Log., vol. 5, no. 3, pp. 392–420, 2007, doi: 10.1016/J.JAL.2006.03.002.
LibreCat | DOI
 
[17]
2006 | Conference Paper | LibreCat-ID: 56559
S. Bechhofer et al., “DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners,” in Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006, 2006, vol. 216.
LibreCat
 
[16]
2004 | Conference Paper | LibreCat-ID: 56564
F. Baader, B. Sertkaya, and A.-Y. Turhan, “Computing the Least Common Subsumer w.r.t. a Background Terminology,” in Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, 2004, vol. 3229, pp. 400–412, doi: 10.1007/978-3-540-30227-8_34.
LibreCat | DOI
 
[15]
2004 | Conference Paper | LibreCat-ID: 56561
A.-Y. Turhan and C. Kissig, “Sonic - Non-standard Inferences Go OilEd,” in Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, 2004, vol. 3097, pp. 321–325, doi: 10.1007/978-3-540-25984-8_22.
LibreCat | DOI
 
[14]
2004 | Conference Paper | LibreCat-ID: 56562
F. Baader, B. Sertkaya, and A.-Y. Turhan, “Computing the Least Common Subsumer w.r.t. a Background Terminology,” in Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, 2004, vol. 104.
LibreCat
 
[13]
2004 | Conference Paper | LibreCat-ID: 56563
A.-Y. Turhan and C. Kissig, “Sonic: System Description,” in Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, 2004, vol. 104.
LibreCat
 
[12]
2003 | Conference Paper | LibreCat-ID: 56567
S. Brandt, A.-Y. Turhan, and R. Küsters, “Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles,” in Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings, 2003, vol. 2850, pp. 122–136, doi: 10.1007/978-3-540-39813-4_8.
LibreCat | DOI
 
[11]
2003 | Conference Paper | LibreCat-ID: 56566
S. Brandt and A.-Y. Turhan, “Computing Least Common Subsumers for FLE\(^\mbox+\),” in Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003, 2003, vol. 81.
LibreCat
 
[10]
2002 | Conference Paper | LibreCat-ID: 56569
F. Baader and A.-Y. Turhan, “On the Problem of Computing Small Representations of Least Common Subsumers,” in KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, 2002, vol. 2479, pp. 99–113, doi: 10.1007/3-540-45751-8_7.
LibreCat | DOI
 
[9]
2002 | Conference Paper | LibreCat-ID: 56568
S. Brandt, R. Küsters, and A.-Y. Turhan, “Approximating ALCN-Concept Descriptions,” in Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, 2002, vol. 53.
LibreCat
 
[8]
2002 | Conference Paper | LibreCat-ID: 56570
S. Brandt, R. Küsters, and A.-Y. Turhan, “Approximation and Difference in Description Logics,” in Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, 2002, pp. 203–214.
LibreCat
 
[7]
2001 | Conference Paper | LibreCat-ID: 56571
V. Haarslev, R. Möller, and A.-Y. Turhan, “Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics,” in Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, 2001, vol. 2083, pp. 61–75, doi: 10.1007/3-540-45744-5_6.
LibreCat | DOI
 
[6]
2001 | Conference Paper | LibreCat-ID: 56572
F. Baader and A.-Y. Turhan, “TBoxes do not Yield a Compact Representation of Least Common Subsumers,” in Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, 2001, vol. 49.
LibreCat
 
[5]
2001 | Conference Paper | LibreCat-ID: 56573
A.-Y. Turhan and R. Molitor, “Using Lazy Unfolding for the Computation of Least Common Subsumers,” in Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, 2001, vol. 49.
LibreCat
 
[4]
2000 | Conference Paper | LibreCat-ID: 56574
A.-Y. Turhan and V. Haarslev, “Adapting Optimization Techniques to Description Logics with Concrete Domains,” in Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000, 2000, vol. 33, pp. 247–256.
LibreCat
 
[3]
1999 | Conference Paper | LibreCat-ID: 56575
V. Haarslev, R. Möller, A.-Y. Turhan, and M. Wessel, “On Terminological Default Reasoning about Spatial Information: Extended Abstract,” in Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999, 1999, vol. 22.
LibreCat
 
[2]
1998 | Conference Paper | LibreCat-ID: 56577
V. Haarslev, R. Möller, and A.-Y. Turhan, “Implementing an ALCRP(D) ABox Reasoner - Progress Report,” in Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, 1998, vol. 11.
LibreCat
 
[1]
1998 | Conference Paper | LibreCat-ID: 56576
V. Haarslev, R. Möller, and A.-Y. Turhan, “HAM-ALC,” in Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, 1998, vol. 11.
LibreCat
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed