Leo, (01)
I very strongly agree with your points. (02)
> Unfortunately (or fortunately) it is often not possible to develop
> an ontology that just addresses one problem. (03)
Yes. Any ontology that is intended to support interoperability
will inevitably have to support a wide range of different uses,
which will usually have different requirements for expressive
power and reasoning methods. (04)
> If you need FOL or HOL expressiveness because of your domain
> requirements, and then you model in a less expressive language,
> you are corrupting your requirements. (05)
Yes. That is why the foundational logic must be at least as
expressive as the most expressive logic used in the system.
The CycL language is very expressive, and Cyc was one of the
groups that pushed for the IKL extensions to Common Logic. (06)
But note that they use a wide range of different algorithms
for solving problems that don't need that full power. (07)
> An ontology in a very expressive language can be transformed
> into a range of much simpler runtime representations, depending
> on the problem(s) to be addressed. (08)
Yes. That's what Cyc does, and it's also the primary purpose
of the tools that Andersen et al. developed. (09)
> A sub-part of knowledge compilation is knowledge partitioning,
> partitioning the ontology+KB into sub-graphs, which may individually
> have different expressiveness needs. (010)
Yes. The tools by Andersen et al. used full Cyc to develop new axioms.
Then they extracted only that subset of Cyc that was required to support
the new axioms. And they used reasoning engines that had much less
power than the CycL tools. (011)
John (012)
_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/
Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
Community Files: http://ontolog.cim3.net/file/work/OntologySummit2012/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2012
Community Portal: http://ontolog.cim3.net/wiki/ (013)
|