Useful deprecation

• From: Alan Ruttenberg <alanruttenberg@gmail.com>
• Date: Thu, 24 Jan 2008 13:12:56 -0500
• To: "Web Ontology Language ((OWL)) Working Group WG" <public-owl-wg@w3.org>
• Message-Id: <03C7684C-F76C-4341-AAAC-F926B9724D2F@gmail.com>

One thing related to deprecation that *would* be useful would be to  
be able to mark a class or property as being deprecated, and have the  
effect be as follows:

All axioms involving the class/property are ignored by a reasoner.

In ontology development in OBI for instance, and in OBO, in general,  
although one deprecates or obsoletes a class, one doesn't remove the  
term from the ontology (by policy). In order to do this, one must  
manually remove axioms. If one were able to leave the axioms in  
place, but make them null and void it would be easier to both  
deprecate as well as allow one to easily keep useful history, in the  
form of the logical definition, around.

-Alan

Received on Thursday, 24 January 2008 18:13:11 UTC