Dr Renate Schmidt

Reader

Affiliations:
Email:
Phone: +44 (0) 161 275 6163
Full contact details
ORCID: 0000-0002-6673-3333
View graph of relations

Research Networks and Beacons

Related information

Publications

ABox Abduction via Forgetting in ALC

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

View all (84)

Activities

CADE SKolem Award Committee (External organisation)

Activity: Membership types › Membership of committee

Automated Forgetting and Uniform Interpolation for Description Logics

Activity: Talk or presentation types › Invited talk

Organisation Committee Dagstuhl Seminar on Deduction (External organisation)

Activity: Membership types › Membership of committee

View all (14)

Student Theses

Automated Semantic Forgetting for Expressive Description Logics

UoM administered thesis: Phd

Path-Functional Dependencies and the Two-Variable Guarded Fragment with Counting

UoM administered thesis: Phd

Practical Uniform Interpolation for Expressive Description Logics

UoM administered thesis: Phd

View all (7)