ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Two ontologies that are inconsistent but both needed

To: "Smith, Barry" <phismith@xxxxxxxxxxx>
Cc: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>, Pierre Grenon <pierre.grenon@xxxxxxxxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Fri, 8 Jun 2007 16:39:35 -0500
Message-id: <p06230913c28f3a44ed9e@[10.100.0.14]>
>An example is described here:
>
>http://ontology.buffalo.edu/smith/articles/persistence.pdf
>
>Barry    (01)

Hey, nice survey. Utterly wrong in its 
conclusions, but nice :-). I'm happy to welcome 
you to this debate which many of us have been 
involved in for quite a long time. (see for 
example
http://www.ihmc.us/users/phayes/Endurantism&PerdurantismDebate2002.pdf )    (02)

But you come to the wrong conclusion. These two 
'irreconcilable' ontologies ARE reconcilable, if 
one does things right. The basic error is to 
assume that what a philosopher means by 'exists' 
has to be rendered into the logical existential 
quantifier. That is good form, perhaps good 
doctrine, when the game is to use formal logic to 
sharpen philosophical debate; but that is not (or 
at any rate should not be) what we are trying to 
do here. The only sensible engineering attitude 
to take towards the logical existential 
quantifier is that it means "is an entity which 
can be referred to", i.e. an entity which is the 
denotation of a logical term; which as long as we 
are using a reasonably classical logic is 
essentially vacuous, of course. In a pluralistic 
ontological framework, this cannot usually be 
interpreted as any philosopher's notion of 
existence. Those notions have to be treated as 
classes or properties. Yes, existence IS a 
predicate, when there are many notions of 
existence to be considered. It has to be in any 
logic which is intended to support 
interoperability. (See the regrettably brief 
discussion at 
http://www.ihmc.us:16080/users/phayes/IKL/GUIDE/GUIDE.html#panoptic 
. Sorry, I know that to say this to a philosopher 
is like farting in church.)    (03)

After thinking and arguing about endurance and 
perdurance for longer than I care to remember, I 
have come a rather mundane conclusion which can 
be summed up as follows: the continuant/occurrent 
distinction is basically a distinction between 
*how we use names* when talking about 
spatiotemporal entities. It should not be seen as 
a fundamental ontological distinction: it is 
merely a linguistic distinction between modes of 
expression. Things we call continuants are things 
for which we tend to use the same name at 
different times, so it is natural to encode 
changes to their properties by attaching the 
temporal parameter to their properties and 
relations rather than to them: we write things 
like    (04)

(inside Fritz Bratwurst Morning)    (05)

but we don't tend to talk of Fritz having 
temporal parts. Special terminologies are used to 
distinguish these temporally-sensitive relations 
and properties: "fluents", "roles".    (06)

Occurrents, on the other hand, are things that we 
do tend to speak of as having temporal parts or 
'episodes', so it is natural to formalize 
temporally-relative talk of those entities by 
attaching the temporal qualifier to the name 
itself. If Fritz and the Bratwurst were 
occurrents, we might write    (07)

(inside (episode Morning Fritz)(episode Morning Bratwurst))    (08)

instead.    (09)

If one puts all philosophical discussion aside 
for a moment and asks for a purely formal, 
syntactic, way of distinguishing these ways of 
describing things, what it seems to amount to is 
where to attach a temporal parameter to a 
time-free assertion. One might pose it as a 
challenge: given that    (010)

(inside Fritz Bratwurst)    (011)

is true during a time-interval    (012)

Morning    (013)

invent a systematic way of encoding that fact by 
incorporating the temporal parameter into the 
logical expression. There are basically three 
places it can go: attached to the entire 
expression (the 'ist' version:    (014)

(ist Morning (that (inside Fritz Bratwurst)))    (015)

using the paraphernalia of context logic), or 
attached to the relation symbol (the first 
option) or attached to one or more of the 
argument terms (the second option). These 
correspond respectively to the 
hybrid/context-logical, continuant and occurrent 
ways of treating time.    (016)

So, can these co-exist? Yes, of course. One can 
use both (in fact, all three) modes of expression 
in a single ontology, and in a reasonably 
expressive logic (like IKL) can even write axioms 
which relate them systematically. One does need 
to use some discipline, to keep things straight. 
One has to use even more discipline to use them 
both (or all) in ways that respect the 
philosophical prejudices of all users. For 
example, if someone insists, as you do, that it 
is incoherent or irrational to talk of temporal 
parts of a continuant, then one will probably 
need some kind of mechanical check to ensure that 
no entity is ever spoken of in both temporal 
styles. Such code could be written, but I 
personally see no practical use for it, and large 
amounts of harm caused by insisting upon the 
distinction it would be there to check.    (017)

The continuant/occurrent distinction seems to be 
of no actual value in real ontology 
engineering[1]: on the contrary, in fact, recent 
discussions on this very list and on 
public-semweb-lifesci@xxxxxx seem to illustrate 
what I have always found to be the case, that as 
soon as one gets away from nice homely examples 
like Fritz' bratwurst, the distinction becomes 
more and more tenuous, intuitions regarding it 
dissolve, and the insistence on its being a basic 
distinction rapidly becomes more trouble than it 
is worth, causing long and pointless debates and 
tending, if anything, to produce new, artificial 
barriers to interoperability rather than help 
with our practical goal. The real world is full 
of entities which are both 'continuant' and 
'occurrent', both thing and process: ocean waves, 
storms, weather fronts, the Olympic flame, a 
cumulus cloud, the interior of a Bessemer 
furnace, the Krebs cycle, a tomato ripening on a 
sunny windowsill, a cell expanding because the 
sodium pumps in its membrane are insufficient to 
oppose the osmotic pressure. The list goes on and 
on: and the Brentano/Chisholm doctrine of mutual 
incompatibility forces one to make all these 
pointless and harmful ontological distinctions 
between things and their lifespans, distinctions 
which arise solely from the artificiality of this 
doctrine of ontological apartheid.    (018)

Ive never seen any convincing pragmatic or 
engineering argument for insisting on this as a 
rigid distinction. There are plenty of purely 
philosophical arguments, but then there are also 
plenty of purely philosophical arguments in the 
other direction. As you know, there are almost no 
uncontroversial, universally accepted positions 
in philosophy. Academic philosophy has no "normal 
science", does not come to widely accepted 
conclusions, and does not progress by a kind of 
accumulation of evidence, where the task of each 
new theory or argument is to account for 
everything that earlier theories have done, but 
to do so better. Philosophy is an ongoing 
argument, where professional competence is 
demonstrated by the ability to find a new flaw in 
someone else's argument (which itself might be 
the finding of a flaw in someone else's argument, 
and so on for many layers). This means that while 
almost any nontrivial philosophical position can 
be bolstered by a long list of impressive 
references, it can also can be attacked by an 
equally long list of authorities who have argued 
the opposite. This is why I have often said that 
while philosophy can be of use to ontological 
engineering, the appropriate attitude to take 
towards a philosopher should be rather like one 
adopts to a pet dog: they need to be housebroken, 
properly trained and fed well, but it is most 
important not to let them feel that they have the 
upper hand. (I personally find the 
'intuition-pump' (in Dennett's phrase) that your 
paper obliquely uses, which I tend to attribute 
to Simon's definition of "continuant" as 
something which, when present, is wholly present, 
quite unpersuasive because it is circular. If I 
have temporal parts, then I am NOT wholly present 
now. So am I wholly present now? In a sense yes, 
in another sense no. I can run my intuition 
either way.)    (019)

One pragmatic argument I have heard is that the 
distinction provides a kind of conceptual 
scaffolding, an ontological discipline which 
helps users render their intuitions more clearly 
by requiring them to think more clearly, 
basically. While this general idea certainly has 
some merit (as for example in the successful 
"Ontoclean" notions) it seems to have no real 
purchase when applied to the continuant/occurrent 
distinction, since the only purpose of making 
this distinction is to maintain the distinction 
itself. If one simply denies it then nothing is 
thereby lost: the only result is that 
distinctions, equally artificial, which have been 
produced by this splitting (such as the required 
distinction between Fritz and Fritz's lifespan) 
are themselves no longer needed. The resulting 
wave of simplification and unification rolls 
through the ontology like a kind of global 
relaxation into a simpler, and yet ironically 
more expressive, ontological framework. So the 
'discipline' which this framework requires serves 
only to maintain the framework itself: it is like 
a parade-ground exercise of marching in step.    (020)

I don't mean to argue that the intuitive 
categories of 'enduring thing' and 'event' are 
vacuous or useless. To the extent that they fit 
with ontological intuitions, and with linguistic 
usage, they are useful and important. But one can 
admit all that, and even include them as 
categories in a formal framework, without 
requiring that they constitute a rigid taxonomy, 
so that every physical thing MUST be in exactly 
one of the two categories and as a matter of 
logical necessity CANNOT be in both. Things can 
be in both, and there is no need to be concerned 
about this or try to forbid it. One can be 
noncommittal about the category. Sometimes it is 
useful to speak of temporal parts of 
continuant-like entities. I had red hair as a 
child. Why should one not be able to render that 
by speaking of the child-temporal-part of me, and 
attributing the color 'red' to its hair? If that 
treats me as a process, I am perfectly happy to 
be regarded as a process when that is useful. For 
some purposes, indeed, it is difficult to see me 
any other way than as a process (as for example 
when we learnt that I lose and gain cells at what 
might otherwise be an alarming rate.) The logical 
sky does not fall when a temporal parameter is 
attached to a continuant-like name. It is 
perfectly clear what it means, even to those who 
feel that it ought to be meaningless. One can (in 
CL) even state conditions which translate this 
form of logical description to the more 
continuant-like form:    (021)

(forall (r (x Continuant)(t TemporalInterval))(if (r (x t)) (r x t) ))    (022)

Perfectly consistent, with a clear meaning, and it works.    (023)

(BTW, I suspect that nothing in the case which 
started this thread comes anywhere close to this 
degree of complexity or intensity of 
philosophical debate.)    (024)

Pat    (025)

[1] PS. I know that your framework and Dolce both 
use it, and are both used by real people in real 
settings. But that in itself is not evidence that 
a similar but simpler framework which does not 
have this distinction in it might not be even 
more use.    (026)

PPS. Although I am doing all this emailing on 
borrowed time, this issue is important enough 
that I will make the following challenge. If 
anyone has two actual ontologies (of a reasonable 
size, in a reasonable formalism) which satisfy 
Waclaw's **criterion** below for the reasons 
outlined by Barry and Pierre, then please send 
them to me and I will undertake to produce a 
single ontology, written in CL or at worst IKL, 
which is consistent but into which they can both 
be translated so as to preserve entailments. That 
is, my ontology may (will :-) require one or both 
of them to be rendered into a different form, but 
that re-rendering will not break any inferences, 
if used uniformly. I may need a week or two.    (027)

>
>At 08:34 AM 6/8/2007, Waclaw Kusnierczyk wrote:
>>The discussion would certainly be made clearer if one could support the
>  >claims with a simple example;  e.g., **two ontologies that taken together
>>are inconsistent, which cannot be reduced to a single consistent
>>ontology, and which both are necessary to cover the needs for all
>  >involved in modeling the domain.**
>>
>>As in mathematics, illustrative examples help in understanding dry
>>theories.  I sympathize with Bill, and would like to see a
>>counterexample to what he says.
>>
>>vQ
>>
>>Bill Andersen wrote:
>>  > Hi John...
>>  >
>>  > On Jun 8, 2007, at 01:42 , John F. Sowa wrote:
>>  >
>>  >> Those are two important points, but they don't exhaust all the
>>  >> options.  There are many cases where the ontologies happen to have
>>  >> some features that create inconsistencies, but with some revisions
>>  >> those inconsistencies could be eliminated by redefining some of
>>  >> the terms.  There are also many cases where the same thing is
>>  >> viewed at different levels of granularity or from different
>>  >> perspectives.  Any inconsistencies caused by such methods
>>  >> could also be eliminated, in principle.
>>  >>
>>  >> However, the job of eliminating every one of the inconsistencies
>>  >> that could arise could take an enormous amount of effort.  Instead
>>  >> of striving for a global consistency of everything, it might be
>  > >> better to adopt methods that don't require global consistency.
>>  >
>>  > What I was more trying to get at was the notion of identity (or
>>  > perhaps unity) for "ontologies".  In Sean's original note, he said
>>  > something like "a single ontology cannot be used".  You just gave us
>>  > a recipe for how to make (IMO) a single ontology from Sean's
>>  > "inconsistent" pieces, via the use of reformulation of his pieces to
>>  > make them consistent, or via use of some kind of paraconsistency.
>>  >
>>  > That was what I was trying to get to in my original note  loose talk
>>  > of "one single ontology for X can't ..." is usually based on equally
>>  > loose understanding of the terms "ontology" and "can't".   Sorry I
>>  > wasn't more explicit about this in my original note.
>>  >
>>  >       .bill
>>  >
>>  > _________________________________________________________________
>>  > 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
>>  >
>>
>>--
>>Wacek Kusnierczyk
>>
>>------------------------------------------------------
>>Department of Information and Computer Science (IDI)
>>Norwegian University of Science and Technology (NTNU)
>>Sem Saelandsv. 7-9
>>7027 Trondheim
>>Norway
>>
>>tel.   0047 73591875
>>fax    0047 73594466
>>------------------------------------------------------
>>
>>_________________________________________________________________
>>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
>>
>
>
>
>_________________________________________________________________
>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
>    (028)


-- 
---------------------------------------------------------------------
IHMC            (850)434 8903 or (650)494 3973   home
40 South Alcaniz St.    (850)202 4416   office
Pensacola                       (850)202 4440   fax
FL 32502                        (850)291 0667    cell
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes    (029)


_________________________________________________________________
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    (030)

<Prev in Thread] Current Thread [Next in Thread>