Dear Matthew and Peter, (01)
MW:
> ... my forthcoming book “Developing High Quality Data Models”. Substitute
> ontology for data model and the same argument applies. The benefits come
> from improving and automating decision making through fit-for-purpose
> information to support those decisions. (02)
I very strongly agree. Software engineers have been doing ontology
(avant la lettre, as they say) for a very long time. And much of that
work has been very good -- sometimes much better than what people are
doing with so-called ontology languages. (03)
PY:
> Most importantly, please made sure you [Bradley] are in a position to openly
>share
> the content or technology you are contributing (ref. our Open IPR Policy... (04)
I agree that the Open IPR policy is important, but I noticed that
Bradley's slides showed that they have also been using the Sesame
technology by the OpenRDF organization: (05)
http://www.openrdf.org/related.jsp (06)
I don't know what other technology Bradley & Co. are using, but there
are some interesting features of Sesame that go beyond the current
W3C recommendations. (07)
In particular, their query language SerQL seems to be much nicer
than SPARQL. I haven't used that technology, and I'd like to ask
anybody who has what they think about it. (08)
This also raises another question about OWL, which has dominated
many of the discussions. I certainly admit that OWL has been
used for many ontologies, but many of them (BFO, for example)
use only the most trivial aspects -- which don't go beyond what
Aristotle specified two and a half millennia ago. (09)
There is also much more to ontology than OWL, and many people,
such as Adam Pease, have been extremely negative about it.
(I'm always happy to have somebody make my criticisms sound
moderate, by comparison.) (010)
My three major criticisms about OWL are (a) it's too limited,
(b) it's too big, and (c) it keeps growing. (011)
One might think that (a) and (b) are contradictory, but my point
is that the type hierarchy is only one component. The original
DLs from the 1970s and '80s were designed to be parts of a hybrid
system, not the whole reasoning system. In fact, that is how
Leo said they use OWL at Mitre. (012)
Using a DL as part of a hybrid system is a very flexible and
open-ended way of designing a system. No matter how many features
are thrown into the OWL pot, it is deliberately designed to be
highly restricted. That means it can *never* become the whole
system. Most applications that use some version of OWL also use
other kinds of reasoning. (013)
But the OWL developers have almost completely dominated the logic
part of the Semantic Web. There is a box labeled RIF, but the
OWL developers have included their own rule-like notation for
the (still very limited) OWL semantics. That seems like a ploy
to strangle the competition before it can get off the ground. (014)
I keep mentioning Cyc because it shows that there is a better
way: you don't need to restrict the user's language in order
to support DL-style reasoning. Instead, you can allow the
knowledge engineers or subject matter experts to state what
they know in whatever form they find convenient. (015)
Then for any particular problem or question, the system can
*automatically* select whichever reasoning method is appropriate
for that task. If a DL reasoning style is sufficient, Cyc uses
it. But it also has a wide range of other options. (016)
At our company VivoMind, we have a different approach to support
a wide range of formal and informal methods. But the point is
that we can use DL-style reasoning, when appropriate, without
forcing the users to abide by a tightly constrained notation. (017)
In short, the OWL mindset is putting a stranglehold on ontology.
But ontologies can be, should be, and have been used in a much
wider range from Aristotle's syllogisms to Cyc and to open
ended mixtures of formal and informal methods. (018)
I don't believe that we should deprecate OWL, but we have to
educate people that ontology is much, much bigger (and often
much, much simpler) than OWL. (019)
John (020)
_________________________________________________________________
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/OntologySummit2010/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2010
Community Portal: http://ontolog.cim3.net/wiki/ (021)
|