Dear PatH and PatC, (01)
PatH wrote: (02)
> Suppose we are developing the ontology and we notice something
> missing. Perhaps we have introduced a distinction between occurrents
> and continuants, but had not noticed that one of our high-level
> classes now needs to be subdivided into two categories, an old axiom
> which quantifies over the union needs to be rewritten as two axioms
> using distinct styles of atomic statements involving the temporal
> parameter. This involves deleting an axiom and replacing it with two
> others. The set of entailments changes, fortunately, as the axioms
> before this change implied (inadvertently, but they did in fact imply)
> that the high-level class in question was empty. The axioms had a bug
> in them, and we have now fixed that bug. (03)
MW: Right. And there is no reasonable chance that we can create an ontology
that is right first time, or that at any time after does not have some
mistake or improvement that can be made. The best we can hope for is that as
it is used and reused, more of the bugs are discovered. (04)
MW: Fortunately, the relatively straightforward technique of version
management comes to our aid. This may be something that needs to be added to
a lattice of theories repository that holds the versioning meta-data between
different theories that represent the different stages of development. The
downside is that change in the core of the FO may have an impact on the
mappings to the FO, which has a cost. The real danger is that the cost of
changing those mappings leads to the improvements being rejected. (05)
MW: I don't see a better strategy though. (06)
Regards (07)
Matthew West
Information Junction
Tel: +44 560 302 3685
Mobile: +44 750 3385279
matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
http://www.informationjunction.co.uk/
http://www.matthew-west.org.uk/ (08)
This email originates from Information Junction Ltd. Registered in England
and Wales No. 6632177.
Registered office: 2 Brookside, Meadow Way, Letchworth Garden City,
Hertfordshire, SG6 3JE. (09)
_________________________________________________________________
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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (010)
|