Instance Store / News: Recent posts

Among the largest challenges facing development of scalable ABox reasoners is the lack of realistic data for testing. We have found very few ontologies in the OWL-DL languages which include large numbers of related individuals.

Any potential users with such ontologies, or with application datasets which might be usefully transformed to such an OWL-DL ontology in order to perform DL reasoning and querying, are encouraged to get in touch with Rob Shearer.

A new version of Instance Store (currently referred to as Instance Store 3) is currently under development at the University of Manchester. The primary goal of this new version is to remove Instance Store's restriction to non-relational ABox data: role relations between individuals will be supported in iS3.

The initial release of iS3 is expected to support the description logic SHf, which is a subset of the SHOIN logic underlying OWL-DL. Future releases may target a larger fragment of the OWL language.

For the past year, work on scalable ABox reasoning, including the Instance Store project, has been led by Rob Shearer.

http://www.cs.manchester.ac.uk/img/people/#rs

He will now be maintaining and administering the Instance Store project within SourceForge.