Best Reasoner Available?

We have some applications that are screaming out for a semantic web solution. I'm having a hard time finding the right tools to put together a demo to convince management this is the way to go.

Oracle 10g seems to have the best RDF storage engine around. We license and use Oracle heavily, so this isn't a problem.

The real selling point is the inferencer or reasoner. I haven't found a good, solid OWL and rules reasoner out there. Certainly nothing that can scale to the millions of triples, which any application we build would require (at a minimum).

This leads me to wonder if a good semantic web application should even expect to use an inferencer. The larger question here is, What is the tool stack and information process flow for a semantic web application?

For traditional relational applications, this is well known. For instance, you need a database, some sort of object/relational mapping layer, and a set of classes that implement your business logic. The key here is that your business logic is encapsulated in your object model.

With a semantic web application, much of the business logic is encapsulated in the Ontology and the rules. Where does that logic become executed? Would it be executed by a stand alone rule/inference engine? Or does the Ontology simply provide hints to the domain model?

I'd be very curious to see where the inference engine sits in the overall application. Is it a stand alone process, or is it integrated into the domain model?

Then, what inference engine is out there and capable of working with millions and millions of triples and in a OLAP environment (high read/write situations)?

I'd love to deploy OWL, RDF, and some inference engine for some of these data rich applications. Any tips or pointers would be most welcome.

Popular posts from this blog

The 29 Healthiest Foods on the Planet

The 29 Healthiest Foods on the Planet > The following is a "healthy food hot list" consisting of the 29 food that will give you the biggest nutritional bang for you caloric buck, as well as decrease your risk for deadly illnesses like cancer, diabetes and heart disease.
Read more

Lists and arrays in Dart

(This is Part 3 in a series about Dart. Check out Part 2, Function in Dart .) Warning : We expect the Dart libraries to undergo potentially sweeping changes before Dart goes to alpha. This document is relevant as of 2011-12-22. Intro Dart is a "batteries included" effort to help app developers build modern web apps. An important "battery" is the bundled core Dart libraries, providing common and rich functionality. Dart is building a solution for large, complex web apps, and providing well tested, integrated, and common libraries is key to helping a web app developer be more productive out of the box. The Collection libraries are a crucial set of APIs that Dart developers get for free. Much more than simple arrays and maps, the Collection library includes standard ways to filter, iterate, inspect, compose, and sort your data. This post specifically looks at List<E> , Dart's ordered, indexable collection of objects. Aside: The Dart project is lucky...
Read more

Converting Array to List in Scala

Now, this has to have a built-in somewhere in Scala , because it just seems too common. So, how to convert an Array to a List in Scala? Why do I need this? I needed to drop to Java for some functionality, which in this case returns an Array. I wanted to get that Array into a List to practice my functional programming skillz. **Update**: I figured out how to convert Arrays to Lists the Scala way. Turns out it's a piece of cake. val myList = List.fromArray(Array("one", "two", "three")) or val myList = Array("one","two","three").elements.toList The call to elements returns an Iterator , and from there you can convert to a List via toList . Nice. Because my first version wasn't actually tail recursive, what follows is a true tail recursive solution, if I were to implement this by hand. The above, built in mechanism is much better, though. object ArrayUtil { def toList[a](array: Array[a]): List[a] = { d...
Read more