|From:||Simon Spero <sesuncedu@xxxxxxxxx>|
|Date:||Mon, 9 Jul 2012 17:15:09 -0400|
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.
_________________________________________________________________ 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)
|<Prev in Thread]||Current Thread||[Next in Thread>|