Anni-Yasmin Turhan

Available identifiers

zbMath Open turhan.anni-yasminMaRDI QIDQ465594

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Anni-Yasmin Turhan