Dr Renate Schmidt

Reader

Affiliations:
Links:
Full contact details
ORCID: 0000-0002-6673-3333
View graph of relations

Research Networks and Beacons

Related information

Publications

Signature-Based Abduction for Expressive Description Logics

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

A Practical Approach to Forgetting in Description Logics with Nominals

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

Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution

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

View all (96)

Activities

Artificial Intelligence Journal (Journal)

Activity: Publication peer-review and editorial work › Editorial work

Dagstuhl Seminar "SAT and Interactions"

Activity: Participating in or organising event(s) › Participating in a conference, workshop, exhibition, performance, inquiry, course etc

Member of EPSRC ICT Prioritisation Panel

Activity: Consultancy, spin-outs, CPD & licensing › Consultancy & Services

View all (19)

Datasets

Data and tools for: Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach

Dataset

SPASS-Yarralumla

Dataset

View all (2)

Student Theses

An Interval Approach for Stability Analysis

UoM administered thesis: Phd

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

View all (8)