Incremental Consistency

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

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