ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Quote for the day -- KR and KM

To: "sowa@xxxxxxxxxxx \"[ontolog-forum] \"" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pavithra <pavithra_kenjige@xxxxxxxxx>
Date: Fri, 7 Jan 2011 17:23:32 -0800 (PST)
Message-id: <874564.45676.qm@xxxxxxxxxxxxxxxxxxxxxxxxxxx>
Dr. Sowa,

In response to my link about Ontology spectrum,  you did mention about axioms in an earlier thread.   Logic is expressed in the form of axioms.   UML and ER design techniques incorporate logic as you have indicated.   I am not sure about the need  to incorporate axioms in addition to that. 

Again, Ontology in my opinion should be generic and must support multiple design and implementation techniques for it to gain polarity and wide usage and interoperability.  When Ontology  is design and implementation specific, like RDF graph and OWL .. its usage becomes limited to those groups.      I do think that one can develop ERD or UML diagrams if  RDF graphs and RDFs (schema)  are available.  So that does support interoperability.   But they are different design techniques that compliment one another.  .  I have not seen too many OWL 2 implementations yet..

Regards,
Pavithra



--- On Fri, 1/7/11, sowa@xxxxxxxxxxx <sowa@xxxxxxxxxxx> wrote:

From: sowa@xxxxxxxxxxx <sowa@xxxxxxxxxxx>
Subject: Re: [ontolog-forum] Quote for the day -- KR and KM
To: edbark@xxxxxxxx, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
Date: Friday, January 7, 2011, 10:32 AM




Ed,

I'm traveling now, and I don't have time to respond
in
detail -- but I'd like to make one observation.

> I find it
much easier to agree that it is possible to
> construct a formal
semantics for a conceptual schema
> language, and not to be deeply
concerned about its
> relationship to a first-order semantics.

Consider OWL as an example:

 1. OWL (and other DLs) are
subsets of FOL and supersets
    of Aristotle's syllogisms.

 2. The Aristotelian subset has proved to be useful for
   
specifying hierarchies for two and a half millennia,
    and it's
still the most widely used subset of all DLs
    (The BFO ontology,
for example, does not use any
    feature of OWL beyond the
Aristotelian subset.)

 3. There is no conflict of any kind
between any language
    and its supersets and subsets.

 4. The reason why some subsets are *sometimes* easier to
    use
than the supersets is that they focus the user's attention
    on
particular details and support useful guidelines and
   
methodologies.

 5. Those guidelines and methodologies have a
strong similarity
    to the "design patterns" by the
"Gang of Four".  I would
    call them *Knowledge Design
Patterns* (KDP).
 
 6. Any KDP used with a subset can *always*
be used in exactly
    the same way with any superset.  The superset
language  
    just supports more of them, and it can use *all* of
them
    together in an integrated fashion.

 7. KDP's (or
their equivalent) can enable a knowledge engineer
    to use a large
language with the same ease of use as a small
    language.  But a
larger language provides *greater* ease of
    use, because it
enables the option of mixing, matching, and
    integrating *all*
design patterns within a common framework.

In fact, one reason
why I like UML diagrams is that each diagram
supports a small number
(sometimes just one) KDP.  But all the
UML diagrams taken together
support a wide range KDPs for FOL.
When using UML, the users never
need to worry about the underlying
FOL, but it is always there if
they need it.  (OCL isn't an ideal
escape to full FOL, and I'd
recommend controlled NLs.)

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



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