Monitoring Reasoning Progress using the Pellet Reasoner

Posted by Nico on Stack Overflow See other posts from Stack Overflow or by Nico
Published on 2010-05-07T09:48:49Z Indexed on 2010/05/12 23:24 UTC
Read the original article Hit count: 258

Filed under:

ontology

|

reasoning

|

pellet

|

java

|

semantic-web

I am currently constructing an OWL ontology, which - until very recently classified rapidly using the Pellet reasoner. However, since the introduction of several new classes, the reasoning performance has slowed to a crawl. Although the reasoner completes and the ontology does not contain any unsatisfiable concepts etc, the time the reasoning takes is unacceptable. I am currently trying to track down the offending classes/class that may have led to the slowdown.

Here's my question: is it possible to log the reasoning progreess of Pellet? I.e. is it possible to produce some output that will document how long pellet has spent on certain reasoning tasks/traces how long reasoning over any given class and axiom takes? If so, does anyone have some java code they could post up?

Thanks in advance for your answers!

© Stack Overflow or respective owner

Related posts about ontology

Best approach to convert XML to RDF/XML using an ontology

as seen on Stack Overflow - Search for 'Stack Overflow'
I have an XML which uses the XPDL standard (which has an XML schema). What I'm trying to do now is to convert its content to RDF format (serialized in XML), in terms of a certain ontology. Clearly, there needs to be some sort of mapping here. I would like to do this using PHP. The thing is, I have… >>> More
Are ontology storage engines slower than RDMBS systems?

as seen on Stack Overflow - Search for 'Stack Overflow'
My intuition says that ontology engines like Triplestore or Seseme are going to be slower than a DB, but is that really the case? What is it that would make them so much slower? >>> More
Classes / instances in Ontology

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi, I'm trying to comprehend ontology basics. Here's an example: car (class) 2009 VW CC (sub-class or instance?) My neighbor's 2009 VW CC (instance) My issue is understanding what is "2009 VW CC" (as a car model). If you're making product model a sub-class in the ontology - all of a sudden your… >>> More
how to use camera ontology in ROWLEX

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi I'm mot sure if I'm doing this wrong or not I don't know if I am supposed to add other ontologies If not, what can I do to get a camera ontology working please? Thanks >>> More
Natural language processing and semantic

as seen on Stack Overflow - Search for 'Stack Overflow'
i would like know how to identify the semantic of the user input in NLP. i made a ontology make a relationship.there are 3 categories in my ontology... accommodation, culture,location.i faced some problem with this, how to redirect the user input into the specific area of the ontology? eg: input… >>> More

Related posts about reasoning

Monitoring Reasoning Progress using the Pellet Reasoner

as seen on Stack Overflow - Search for 'Stack Overflow'
I am currently constructing an OWL ontology, which - until very recently classified rapidly using the Pellet reasoner. However, since the introduction of several new classes, the reasoning performance has slowed to a crawl. Although the reasoner completes and the ontology does not contain any unsatisfiable… >>> More
Some Insight on the Field of Knowledge Representations and Reasoning

as seen on Programmers - Search for 'Programmers'
I started following an MS in computer sciences after about two years of work for a software company. I worked primarily in data warehousing and business intelligence related software development during my previous occupation. There is a high chance for me to select a research in knowledge representations… >>> More
Rules engine for spatial and temporal reasoning?

as seen on Stack Overflow - Search for 'Stack Overflow'
I have an application that receives a number of datums that characterize spatial / temporal processes. It then filters these datums and creates actions which are then sent to processes that perform the actions. Rinse and repeat. At present, I have a collection of custom filters that perform a lot… >>> More
perl reasoning based question

as seen on Stack Overflow - Search for 'Stack Overflow'
how can we execute a password protected perl script >>> More
What's the difference between sound and unsound reasoning?

as seen on Stack Overflow - Search for 'Stack Overflow'
In terms of Artificial Intelligent and Logic Knowledge, What is the difference between sound and unsound reasoning? Also, what kind of search Does ID3 algorithm use? Is it Breadth-first search? Thanks >>> More