Re: [ontolog-forum] An Ultra High Level Ontology - ISO15926 &Swat that F

[Christopher Menzel <cmenzel@xxxxxxxx>]

On Jun 5, 2009, at 2:51 AM, Ian Bailey wrote:

There are a few OWL versions of 15926 around too. They fall into two categories:

 

1)      OWL Full, using the RDF type-instance relationship for all class memberships in 15926

2)      OWL DL – first order, just treating the 15926 type-instance relationship as a property

OWL DL is weaker than full first-order logic.  And what does it mean to treat a relation as a property?

Chris Menzel

_________________________________________________________________
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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)