Re: [ontolog-forum] Truth

[Simon Spero <sesuncedu@xxxxxxxxx>]

On Mon, Jul 9, 2012 at 3:57 PM, Obrst, Leo J. <lobrst@xxxxxxxxx> wrote:

NOTE: In OWL Lite and OWL DL an individual can never be at the same time a class: classes and individuals form disjoint domains (as do properties and data values). OWL Full allows the freedom of RDF Schema: a class may act as an instance of another (meta)class.

This was true for OWL-1, but is changed in OWL-2 (see: http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/#Metamodeling ; http://www.w3.org/TR/2009/REC-owl2-new-features-20091027/#F12:_Punning ).  OWL 2 DL still requires that Object and Data properties remain disjoint, as well as  Datatypes and Classes.    

Since the question can now be posed in OWL DL (one can assert EquivalentClasses and  DifferentIndividuals of the same URIS ). Of course, you can also assert that the two are sameAs, but without an assertion of  EquivalentClasses , you won't get the obvious entailments. 

Simon

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (01)