DLForget is an implementation of forgetting in description logics, which computes results of forgetting in ALC TBoxes as well as ALC concept descriptions.
Dynamically management of DL-ontologies is becoming a crucial issue for Semantic Web. Specially, the capability of eliminating undesired concepts and roles from description logic TBoxes has been found increasingly necessary in DL-ontology management. The notion of forgetting is a promising way of equipping DL-ontology editors with such a capability.
DLForget implements a novel declarative approach [Wang et al, 2008] of forgetting in description logic ALC ontologies. It consists of two modules:
(1) CForget: computing the result of forgetting concepts and roles from an ALC concept description;
(2) Forget: computing the result of forgetting concepts and roles from an ALC TBox.
The motivation for developing this system is to provide reasoning support for managing DL-ontologies as well as using the system for studying theoretic properties of forgetting in description logics. However, the current implementation is still quite preliminary. In particular, we are working on improving the efficiency of the system including simplifying the outputs.
Download and Instructions
Related Technical Reports
 K. Wang, Z. Wang, R. Topor, J. Z. Pan and G. Antoniou. Eliminating Concepts and Roles from Ontologies in Description Logic. 2009. http://www.cit.gu.edu.au/~kewen/Papers/alc_forget_long.pdf
 Wang, Z. Wang, R. Topor, J. Z. Pan and G. Antoniou. Uniform Interpolation for ALC Revisited. 2007. http://www.cit.gu.edu.au/~kewen/Papers/alc_forget_concept_description.pdf