Anni-Yasmin Turhan

Available identifiers

zbMath Open turhan.anni-yasminMaRDI QIDQ465594

List of research outcomes

Publication	Date of Publication	Type
Deciding subsumption in defeasible \(\mathcal{ELI}_\bot\) with typicality models	2024-05-29	Paper
Ontology-mediated probabilistic model checking	2024-04-19	Paper
Efficient TBox Reasoning with Value Restrictions—Introducing the $$\mathcal {F\!L}_{o}{} \textit{wer}$$ Reasoner	2024-03-14	Paper
Efficient TBox Reasoning with Value Restrictions using the wer Reasoner	2023-12-12	Paper
Enhancing probabilistic model checking with ontologies	2022-01-11	Paper
A tour of Franz Baader's contributions to knowledge representation and automated deduction	2020-06-04	Paper
Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics	2019-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q4576256	2018-07-12	Paper
Using ontologies to query probabilistic numerical data	2018-01-04	Paper
Including quantification in defeasible reasoning for the description logic \(\mathcal{EL}_{\bot}\)	2017-09-05	Paper
Instance-Based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities	2016-12-19	Paper
Similarity-based relaxed instance queries	2015-12-23	Paper
Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities	2014-10-23	Paper
A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -Concepts	2012-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q3408134	2010-02-24	Paper
Automated Reasoning	2007-09-25	Paper
Computing the least common subsumer w.r.t. a background terminology	2007-07-25	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q4412237	2003-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q4539598	2002-07-10	Paper

Research outcomes over time

This page was built for person: Anni-Yasmin Turhan