ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Ontology modules and namespaces

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Ian Bailey" <ian@xxxxxxxxxxxxxxxx>
Date: Tue, 27 Oct 2009 16:35:10 -0000
Message-id: <01ed01ca5723$7446a860$5cd3f920$@com>
Hi John,    (01)

I don't think that was the topic of the original question, unless I
misunderstood ? I agree having multiple representations of the ontology is
vital, but I think a more sophisticated approach is required to deal with
multiple communities and systems using different names and identifiers for
things.     (02)

Getting back to your message...I suspect IDEAS can tick most of your boxes
already:    (03)

1) We develop IDEAS in UML, strictly profiled to the IDEAS ontic categories
2) We can export the UML model into RDFS/OWL, XSDs (for the US DoD) and
RDBMS    (04)

We've not had any requirement for CL. I'm not really convinced that logic
notations are the best way to express ontologies. Personally, I find them
incomprehensible...but I realise logicians love their squiggles and AI folks
love their parentheses.     (05)

Cheers
--
Ian    (06)


-----Original Message-----
From: John F. Sowa [mailto:sowa@xxxxxxxxxxx] 
Sent: 27 October 2009 15:49
To: ian@xxxxxxxxxxxxxxxx; [ontolog-forum]
Cc: 'SIOC-Dev'; 'Simon Reinhardt'
Subject: Re: [ontolog-forum] Ontology modules and namespaces    (07)

Ian,    (08)

Any language with the goals required for the IDEAS ontology or any
similar project should have three parts:    (09)

  1. A formally defined notation with a precise semantic foundation
     that can be automatically translated to and from all currently
     used declarative notations.  That includes the notations in use
     or proposed for the Semantic Web, various logics, specification
     languages, agent command and control languages, etc.    (010)

  2. A humanly readable notation that can be automatically translated
     to and from #1.    (011)

  3. Ability to map #1 to and from a wide range of graphic notations
     that are currently in use or likely to be proposed for the
     future.    (012)

Fortunately, there is an ISO/IEC standard for #1 that satisfies
all three requirements:  24707 for Common Logic.    (013)

For a survey of the range of languages and notations supported by
Common Logic and the IKL extensions, see the following slides:    (014)

    http://www.jfsowa.com/talks/cnl4ss.pdf
    Controlled Natural Languages for Semantic Systems    (015)

As a starting point, the participants in the IDEAS project should
study those slides and related material.  The slides contain the
URLs for the various systems that are surveyed and discussed.    (016)

John    (017)


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

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