nonmon mapping and punning

• From: Jeremy Carroll <jjc@hpl.hp.com>
• Date: Wed, 23 Jan 2008 14:34:53 +0000
• To: "Web Ontology Language ((OWL)) Working Group WG" <public-owl-wg@w3.org>
• Message-ID: <4797508D.4070201@hpl.hp.com>

ISSUE-68 nonmonontonic mapping is one of the places where punning causes 
a triple based implementation significant difficulty.

An implementation of RDF and OWL that is based on SW principles, such as 
Jena, may well have already made various design decisions such as:

- triple based
- triples can be more easily added than removed (monotonicity as a 
general design)
- adding triples does not side-effect in deletion of other triples.


The non-mon mapping rules, which deal with ObjectProperty/DataProperty 
punning issues, break these invariants, and cause significant difficulty 
for such implementations.

Notice this has clear business impact for HP, and is in no way an 
'ideological' perspective.

Jeremy

Received on Wednesday, 23 January 2008 14:35:27 UTC