alphaWorks > Forums > Scalable Highly Expressive Reasoner >

Is it possible to add and remove class (TBox) axioms at runtime?


Search for within

My developerWorks

Welcome, Guest

	Sign in or register

This question is not answered.

Reply to this Thread

Post New Thread

Watch list

Forum settings

Help

	Replies: 1 - Pages: 1 - Last Post: Nov 9, 2008 8:39 PM Last Post By: KavithaSrinivas	Threads: [ Previous \| Next ]

arthurp

Posts: 1
Registered: Oct 17, 2008 05:31:06 PM

Is it possible to add and remove class (TBox) axioms at runtime?
Posted: Oct 17, 2008 05:42:35 PM

Hi,

I'm evaluating SHER for possible use in a research project in my university.

Does SHER support adding and removing class axioms at runtime?
Does it have to preform a reclassification or is any classification required handled at query time?
It is stated in the summery that SHER is fast in the presents of ontology changes, but it was unclear what can be changed and how. Are there any examples that involve runtime ontology changes?

Also can SHER answer TBox queries like "get subclasses of class"?

Thanks a lot.
-Arthur

KavithaSrinivas

Posts: 11
Registered: Jul 30, 2008 09:34:58 AM

Re: Is it possible to add and remove class (TBox) axioms at runtime?
Posted: Nov 09, 2008 08:39:03 PM

in response to: arthurp's post

Not really. The version of Pellet we use does not support incremental reasoning.

Pages: 1

Back to Thread List

Threads: [ Previous | Next ]

Update your My developerWorks profile and start connecting with others.