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

Ontology Extraction for Large Ontologies via Modularity and Forgetting

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

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

View all (89)

Activities

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

Journal of Artificial Intelligence Research (Journal)

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

View all (18)

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

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)