[Top] [All Lists]

Re: [ontolog-forum] Fwd: [New post] The Newest from SOA: The SOA Ontolog

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Fri, 24 Dec 2010 12:47:01 -0600
Message-id: <AA518805-B44E-4078-9F71-27E97CFD85C0@xxxxxxxx>
On Dec 24, 2010, at 7:15 AM, Chris Partridge wrote:
> Hi Patrick,
> I was not seeing that the issue was with whether the standard had any 
>particular conformance requirements.    (01)

Correct, my post had nothing whatever to do with conformance requirements.    (02)

> It was more about whether the individuals drafting it had the requisite 
>training in the right areas.    (03)

Right.    (04)

> The original issue was that there was a confusion between classes 
>(types/universals) and individuals (elements/particulars).  This seems to me a 
>confusion about what things actually exist in the real world  in the domain 
>being modelled ...    (05)

In the case in question, I'd call it a confusion about how things in the domain 
being modeled are to be classified.    (06)

>  and is unhealthy. If people had the right training they would be much less 
>likely to make this kind of mistake.
> This seems to me a separate issue from whether formal logic should be made a 
>requirement for standards.    (07)

Indeed.    (08)

> PD> there isn't some abstract requirement that all modeling projects conform 
>to formal logic.
> Agreed - and very few do at the moment.
> Also, I would argue (and I think ChrisM does below as well) that having 
>merely a good grounding in formal logic by itself is insufficient to build up 
>the competence to avoid these kinds of errors - hence ChrisM's long list.    (09)

-chris    (010)

>> -----Original Message-----
>> From: Patrick Durusau [mailto:patrick@xxxxxxxxxxx]
>> Sent: 24 December 2010 12:34
>> To: mail@xxxxxxxxxxxxxxxxxx; [ontolog-forum]
>> Subject: Re: [ontolog-forum] Fwd: [New post] The Newest from SOA: The SOA
>> Ontology Technical Standard
>> -1.
>> Chris,
>> The question is whether SOA or any other modeling effort has conformance
>> to the dictates of formal logic as a requirement?
>> If not, and the modeling effort meets the needs of its community, I don't see
>> a problem.
>> Or to put it differently, there isn't some abstract requirement that all
>> modeling projects conform to formal logic. Some will, some won't, most will
>> fall somewhere in between.
>> Hope you are having a great holiday season!
>> Patrick    (011)

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    (012)

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