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

Incremental Consistency

From: Cristiano Longo <cristiano.longo@tvblob.com>
Date: Wed, 23 Apr 2008 09:09:50 +0200
Message-ID: <480EE0BE.2090302@tvblob.com>
To: semantic-web@w3.org

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
Received on Wednesday, 23 April 2008 07:09:03 UTC

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