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

Extending Forgetting-Based Abduction Using Nominals

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

FAME(Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions

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

View all (88)

Activities

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

CADE SKolem Award Committee (External organisation)

Activity: Membership › Membership of committee

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)