Re: Incremental Consistency

Hi Cristiano,

I have previously done some work on this problem while at the
Universtiy of Maryland. You can find the results of these efforts in
[1,2]. Additionally, there is an implementation of the incremental
consistency checking technique discussed in these papers in the open
source OWL DL reasoner Pellet [3]. You can find a few more details
about this feature of Pellet in [4].

Hope this helps.


[1] Christian Halaschek-Wiener, Bijan Parsia, and Evren Sirin.
Description Logic Reasoning with Syntactic Updates, In the 5th
International Conference on Ontologies, Databases, and Applications of
Semantics (ODBase2006), 2006.

[2] Christian Halaschek-Wiener. Expressive Syndication on the Web
Using a Description Logic Based Approach, PhD Thesis, University of
Maryland, College Park, 2007.

[3] Pellet Homepage:


Christian Halaschek-Wiener, Ph.D.
Web page:

On Wed, Apr 23, 2008 at 12:09 AM, Cristiano Longo
<> wrote:
> Morning, I'm looking for works about checking consistency in a incremental
> way, that is "Given a consistent ABox A (w.r.t. a cyclic terminology) and an
> assertio a then the ABox A' obtained putting a into A is consistent iff ?"
> thank you in advance,
> Cristiano Longo

Christian Halaschek-Wiener, Ph.D.
Web page:

Received on Wednesday, 23 April 2008 13:35:14 UTC