[Top] [All Lists]

Re: [ontolog-forum] How de facto standards are created

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: John F Sowa <sowa@xxxxxxxxxxx>
Date: Wed, 19 Jun 2013 11:32:51 -0400
Message-id: <51C1CF23.5090508@xxxxxxxxxxx>
On 6/19/2013 9:23 AM, Kingsley Idehen wrote:
> How do you put Aristotle's semantics into a structured document that's
> web-like, and optionally scalable to the World Wide Web?    (01)

Aristotle's semantics can be expressed in any notation you prefer.
It is a subset of OWL that can be (and *has* been) implemented much
more efficiently than OWL.  Following are the basics:    (02)

  1. A hierarchy of types (which correspond to OWL classes) that can
     support multiple inheritance and/or single inheritance.    (03)

  2. Four simple statements that can be expressed in English or any
     other natural language.  You can also express them in Venn diagrams.
     Or you can use four words:  subtype, supertype, overlap, disjoint.    (04)

  3. Syllogisms, which are patterns of sentences that express the same
     kinds of inferences that are permissible in OWL.    (05)

If you want a compact linear notation that can be embedded in documents
and is more readable, more flexible, and more efficient than OWL, I
recommend Common Logic.  The XCL dialect uses XML, and it can be
embedded in documents in the same way as RDF.  But you can also use
the tried and true method for embedding JavaScript, JSON, PHP, and
other notations in HTML:  tags like <script> and </script>.    (06)

By the way, you can map any N3 triple A B C to ("B" "A" "C") in CLIF
or CGIF.  But you also have the option of using much more logic,
if you need it.  For the kinds of inferences performed by OWL, you
can use the same algorithms with CL notation that you use with OWL 
notation.  The main difference is that CL notation is less bloated
and therefore more efficient than native OWL processors.    (07)

For examples of syllogisms and their mapping to Venn diagrams, see
slides 23 to 33 of http://www.jfsowa.com/talks/kdptut.pdf    (08)

John    (09)

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    (010)

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