Anni-Yasmin Turhan

MaRDI QIDQ465594zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Theory and Practice of Logic Programming	2023-12-12	Paper
Enhancing probabilistic model checking with ontologies Formal Aspects of Computing	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 International Journal of Approximate Reasoning	2019-02-20	Paper
scientific article; zbMATH DE number 6902582 (Why is no real title available?)	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 Uncertainty Reasoning for the Semantic Web II	2016-12-19	Paper
Similarity-based relaxed instance queries Journal of Applied Logic	2015-12-23	Paper
Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities International Journal of Approximate Reasoning	2014-10-23	Paper
A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -Concepts Logics in Artificial Intelligence	2012-09-21	Paper
Extensions of non-standard inferences to description logics with transitive roles	2010-02-24	Paper
Automated Reasoning Lecture Notes in Computer Science	2007-09-25	Paper
Computing the least common subsumer w.r.t. a background terminology Journal of Applied Logic	2007-07-25	Paper
Logics in Artificial Intelligence Lecture Notes in Computer Science	2006-10-25	Paper
scientific article; zbMATH DE number 1948991 (Why is no real title available?)	2003-07-14	Paper
scientific article; zbMATH DE number 1765662 (Why is no real title available?)	2002-07-10	Paper

Research outcomes over time

This page was built for person: Anni-Yasmin Turhan