|Last release:||1.4.1 (July 26 2004)|
|Affiliation:||University of Manchester|
The instance Store (iS) is a Java application for performing efficient and scalable description logig (DL) reasoning over OWL ontologies containing large numbers of individuals. The system makes use of other DL reasoners such as FaCT++ or Racer, and it uses relational databases for efficient storage.
Development of that system has been inactive for some time now. The homepage states that a new version, iS2, is planned, but that announcement is online since 2005 now.