Thanks for the suggestions. (02)
> Nice web page. Please consider adding:
> These describe by example a high level interoperation of data from
> diverse sources. (03)
That's a good example of "A Wiki for Executable Open Vocabulary
English with an example semantically linking DOE data." I'll add
the first URL above to my collection of slides on controlled NLs.
See slides 22 to 26 of http://www.jfsowa.com/talks/cnl4ss.pdf (04)
But the number of interesting wikis and systems for LOD is
overwhelming. The web page on Semantics for Interoperable Systems
addresses theoretical issues of logic, ontology, and methodologies.
The four section headings indicate the topics: (05)
1. From the Conceptual Schema to the Semantic Web
2. The IKRIS Project
3. A Foundation for Multiple Logics
4. Supporting an Open-ended Diversity (06)
See the excerpts below for some citations that are central to the
main themes. I'm looking for documents that develop those themes. (07)
First-order theories of individual concepts and propositions, an article
written by John McCarthy in 1979 and updated many times over the years.
This version from 2000 is closely related to nearly all the other
documents mentioned on this web page.
Semantic web development, the original proposal submitted by Tim
Berners-Lee in February 2000. Its central feature was the Semantic Web
Logic Language (SWeLL) as a “unifying language for classical logic.” It
proposed SWeLL as an “augmented language” designed to support “the power
of KR systems.” As examples of the logics that SWeLL must support, the
proposal cited KIF, KQML, Prolog, LOOM, semantic networks, higher-order
logics, nonmonotonic logics, and context logics.
Computational logic: memories of the past and challenges for the future,
by John Alan Robinson in 2000. A wide range of logics considered as
“first order theories, syntactically sugared in notationally convenient
forms.” ... At the end, he stated eight challenges for future research.
Tossing algebraic flowers down the great divide, by Joseph Goguen in
1997. Observations about the “great divide” between research in computer
science and practice in mainstream IT. Goguen emphasized the need for
ontological diversity with “support for multiple evolving ontologies.”
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
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 (013)