[Versa] Versa issue: drawing the line on entailments

[Michael Olson]

My opinion on this is that Versa should not require any entailment  
beyond simple entailment.  Then, whenever the spec bumps into  
entailment issues we differ to the model.

There will be exceptions.  One example is in the traverse function, if  
you specify the transitive option then the implementation would be  
required to simulate support for entailment related to  
owl:TransitiveProperty.


Mike


On Aug 12, 2005, at 6:26 PM, Uche Ogbuji wrote:

> http://lists.fourthought.com/pipermail/ril/2004-September/000354.html
------------------------------------------------------------------------ 
-----------------
Mike Olson                                                Principal  
Consultant
mike.olson at fourthought.com                +1 720 253 4662
Fourthought, Inc.                                       
http://Fourthought.com
PO Box 270590,                                       http://4Suite.org
Louisville, CO 80027-5009, USA
XML strategy, XML tools, knowledge management