Re: [ontolog-forum] Visual Notation for OWL Ontologies (VOWL)

[Simon Spero <sesuncedu@xxxxxxxxx>]

[For simplicity, assume no abnormal squid]

In Cyc you can say:

(implies  (isa ?S Squid) 

   (thereExistExactly 10 ?T 

   (and (isa ?T Tentacle) (anatomicalParts ?S ?T))))

In OWL you can write:

 SubClassOf(:Squid 

  ObjectExactCardinality(10 

                     :anatomicalParts :Tentacle))

Could you show what this looks like graphical form?

Simon

On Mon, May 12, 2014 at 6:53 PM, John F Sowa <sowa@xxxxxxxxxxx> wrote:

On 5/12/2014 12:13 PM, Piotr Nowara wrote:
> I believe you will find this effort interesting, at the very least :-)

Yes.  I agree that it's interesting.  It shows something profound
about the OWL mentality -- and not in a favorable sense.

First, I recommend an intro to Peirce's existential graphs (EGs):

    http://www.jfsowa.com/talks/egintro.pdf

The first 10 slides are a self-contained intro to FOL plus metalanguage.
The remaining slides get into advanced topics in language and logic.
Then compare that to the intro to VOWL notation in

    http://vowl.visualdataweb.org/v2/

By contrast, this hugely complex document admits that "Familiarity with
OWL and other Semantic Web technologies is required to understand this
specification."

John

_________________________________________________________________
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

_________________________________________________________________
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)