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

Yizheng Zhao, Renate Schmidt

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

144 Downloads (Pure)

Abstract

In this paper, we describe FAME(Q), a Java-based implementation of a forgetting method developed for eliminating concept and role names from ALCOQH-ontologies. FAME(Q) is presently the only tool for concept forgetting in description logics with qualified number restrictions and nominals, and the only tool for role forgetting in description logics with qualified number restrictions. FAME(Q) can be used as a stand-alone tool or a Java library for forgetting, or related tasks. An evaluation of FAME(Q) on a large corpus of biomedical ontologies shows that the tool is able to compute forgetting solutions in 90\% of the test cases; in most cases, the solutions are computed within a few seconds.
Original languageEnglish
Title of host publicationAutomated Deduction: CADE-27
EditorsPascal Fontaine
PublisherSpringer Nature
Volume11716
DOIs
Publication statusPublished - 2019

Publication series

NameLecture Notes in Computer Science
Volume11716

Fingerprint

Dive into the research topics of 'FAME(Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions'. Together they form a unique fingerprint.

Cite this