Dear Markus, (01)
We seem to be converging. Just a few comments: (02)
> I have not much to add. I completely agree that there is a lot left
> to be done towards maximally useful KR approaches (for the Web and
> otherwise). (03)
Yes. That is why I liked Tim's original proposal, which was much
broader than the DAML final report. What is missing from current
SW publications are the three words that Tim emphasized repeatedly
in the proposal: diversity, heterogeneity, and interoperability. (04)
> In Oxford, we are getting some really encouraging feedback about
> user experiences with OWL, especially in science applications. But
> we also know (maybe better than most) that OWL is not the universal
> solution of all KRR problems. (05)
DLs have proved to be useful for a variety of applications. The most
fruitful combinations are hybrids: a DL for the T-box combined with
other systems -- logic-based, procedural, or heterogeneous. (06)
For the SMW, a much simpler T-Box would be more flexible, especially
one that could derive a consistent multiple-inheritance hierarchy
automatically. Have you considered FCA (Formal Concept Analysis)?
Following is the FCA home page: (07)
http://www.upriss.org.uk/fca/fca.html (08)
As examples, look at the use of FCA for automatically deriving
sublattices for any word in WordNet or Roget's Thesaurus: (09)
http://www.ketlab.org.uk/wordnet.html (010)
http://www.ketlab.org.uk/roget.html (011)
It's interesting to type the same word to each of them and compare
the lattices. Their default example is 'explore'. Other examples
are 'happy' and 'happiness'. (012)
The FCA software is available as open source. For any page in the SMW
it could display a sublattice of ancestors, descendants, and cousins.
(I put Uta Priss, who maintains the FCA Home Page, on the cc list.) (013)
John (014)
_________________________________________________________________
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 (015)
|