Valentin, (01)
I am strongly in favor of research on nomonotonic reasoning.
I am also very strongly in favor of technology based on
nonmonotonic methods, such as negation as failure, which has
proved to be extremely valuable in Prolog and SQL. (02)
> What I don't get is that you [Pat] (and John F. Sowa in other
> emails) seem to insist that this must be classic, FOL like,
> monotonic semantic and that all formalisms with different
> semantics (or kinds of reasonings) have no place in the
> Semantic Web. (03)
What I do insist is that if you have any prayer of a hope
of an expectation of interoperability, then you must specify
the semantics precisely: (04)
1. If you mean classical FOL, say so. There are several ISO
standards for different subsets of FOL, such as Z and
the more recent Common Logic, which includes the semantics
of Z, RDF(S), and OWL as subsets. (05)
2. If you mean Prolog, then say so. There is also an ISO
standard for Prolog. (06)
But if you say that the standard will specify the syntax and
leave the semantics up for grabs, you are asking for disaster. (07)
Remember what happened to Visual Basic when Microsoft pulled
the plug on VB6 and gave the world C# semantics with VB syntax.
The result was that no VB6 application would run in VB.Net
without a complete rewrite. If you just standardize the syntax,
you have done *nothing* to promote interoperability. (08)
I could accept the idea of a common notation for if-then rules,
but with two very clearly specified options for the semantics: (09)
1. A purely classical FOL that is compatible with CL and its
subsets, such as Z, RDF(S), and OWL. (010)
2. A negation-as-failure semantics that is compatible with the
ISO standard for Prolog. (011)
If you want that, then say so. But make it very, very clear that
the two semantics are *not* compatible -- and that no attempt to
exchange rules between the two versions of semantics should be
done, except under stringently controlled conditions. (012)
In general, it is possible to import monotonic results from CL
(or its subsets Z, RDF, and OWL) into a Prolog environment. But
it is not possible to take the results of an arbitrary Prolog
conclusion and send it back to CL (or its subsets) without very
carefully specified conditions. (013)
In general, I would emphasize the "Pro" in Prolog, which stands
for "programming". Prolog is a very powerful programming language,
and it is essential to recognize that it is very different from
a classical FOL reasoning system. (014)
John (015)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (016)
|