Archive for the ‘reasoner’ Category

Instance Store

Wednesday, March 22nd, 2006

Instance Store is a

> Java application for performing efficient and scalable Description Logic (DL) reasoning over individuals

What does this mean? It’s an attempt to build a system that can reason (using OWL, for instance) across a large set of instances.

Apparently it stores individuals in a RDBMS, such as MySQL or Oracle. It then connects that store to a reasoner, such as Racer or FaCT++. I haven’t tried it yet, but I will soon, so I’m storing this here for future reference.

Would be interesting to see if plugging this directly into Oracle 10g’s RDF store provides any benefits.

I should note that a quick glance at the code indicates that it hasn’t been touched in about two years.

Posted in reasoner, rdf, owl, semantic web | No Comments »

JTP: An Object Oriented Modular Reasoning System

Monday, February 27th, 2006

JTP: An Object Oriented Modular Reasoning System

> JTP is an object-oriented modular reasoning system developed by Gleb Frank in Knowledge Systems Laboratory of Computer Science Department in Stanford University. JTP is based on a very simple and general reasoning architecture. The modular character of the architecture makes it easy to extend the system by adding new reasoning modules (reasoners), or by customizing or rearranging existing ones.

> The system is implemented in Java. The reason for this choice is that Java is ideally suited for easy integration of object-oriented systems, which facilitates both extending JTP’s functionality and embedding JTP in other systems. The abundance of supplementary software available in Java also helps.

Posted in reasoner, ontology, semantic web | No Comments »