W3C home > Mailing lists > Public > semantic-web@w3.org > April 2008

Re: Incremental Consistency

From: Chris Halaschek <chalaschek@gmail.com>
Date: Wed, 23 Apr 2008 06:33:49 -0700
Message-ID: <b576fffe0804230633r6c5d16bdq1ef47c1a8115356e@mail.gmail.com>
To: "Cristiano Longo" <cristiano.longo@tvblob.com>
Cc: semantic-web@w3.org

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: http://pellet.owldl.org/

[4] http://pellet.owldl.org/features/#incremental

Christian Halaschek-Wiener, Ph.D.
Web page: http://www.mindswap.org/~chris

On Wed, Apr 23, 2008 at 12:09 AM, Cristiano Longo
<cristiano.longo@tvblob.com> 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: http://www.mindswap.org/~chris
Received on Wednesday, 23 April 2008 13:35:14 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:47:37 UTC