[Top] [All Lists]

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

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Fri, 5 Jun 2009 10:21:29 -0500
Message-id: <417841F2-D6E2-4AEF-B473-898C5E55862C@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)

<Prev in Thread] Current Thread [Next in Thread>