Re: [ontolog-forum] Semantic Enterprise Architecture - Example ofBed vs

[Pavithra <pavithra_kenjige@xxxxxxxxx>]

Dr. Sowa,

My point is simple:

For Doug's example,  I was trying to understand the usage and meaning ( yeah semantics that needs reasoning and explanation in this case) of the term Bed for location of a inmate in a prison.  I was analyzing the programmatic issue it may cause with accuracy with reasoning and logic for computer programmers and applications. 

Remember Ontology should be  humans and  computer interpretable?

 When there is a one to one relationship between things, and such terms are used in a interchangeable way, it does not cause any design problem with accuracy .. but need semantic explanation.

There is linguistic semantic theories and axioms and then there are business requirements rules, analysis, of real world terminology for computer systems.   ( The first one deals with correctness of languages, the second one deals with engineering and building systems )

Regards,
Pavithra Kenjige

--- On Sun, 8/29/10, John F. Sowa <sowa@xxxxxxxxxxx> wrote:

From: John F. Sowa <sowa@xxxxxxxxxxx>
Subject: Re: [ontolog-forum] Semantic Enterprise Architecture - Example ofBed vs Cell and reasoning!
To: ontolog-forum@xxxxxxxxxxxxxxxx
Date: Sunday, August 29, 2010, 9:43 AM

Ferenc,

There are many areas where precision has been achieved, and other
areas where nobody has a clue about where to begin.  Remember Socrates?
Philosophers have never found precise definitions to resolve all his
debates for a simple reason:  no definitions can cover all cases.

CM>> Semantics is about meaning, more exactly (though still roughly),
>> the connection between symbols and their interpretations.

FK> It is a pity that we tend to use labels (x is about..) instead
> of definitions...

For some domains, such as mathematics, Chris's statement has been
made very precise with exact definitions.

For domains that involve people, houses, cars, and such things,
the issues are more complex, and it becomes difficult to state
precise definitions with necessary and sufficient conditions.

For example, the Canadian census required every person to have
a "dwelling", but the dwelling didn't have to be in a building
because they also accepted dwellings like igloos and tepees.

But when they found one person who lived in a sewer, they had
to get a ruling from a high government official that a sewer
could be considered a "dwelling".

When you get to domains that include concepts like Money,
Transaction, Contract, Fairness, and Liability, things get
very messy.  Those issues are critical to the world economy,
and lawyers and legislatures try to state definitions that
are as precise as they can make them.  But subtle changes
in circumstances create disputes that different judges and
juries cannot resolve in consistent ways.

FK> - an appropriate semantic theory for a language will provide
> notions of *logical truth* and *entailment* that can be used
> to justify the axioms and inference rules that constitute an
> actual reasoning system.

That is fine for mathematical systems, but that idea doesn't
help a census taker decide whether a sewer can be considered
a dwelling.

For the legal system, the lawyers state definitions that cover
all the "normal" cases that have come up in the past.  But
inevitably, unusual circumstances and new innovations arise
that make the old necessary and sufficient conditions either
unnecessary or insufficient.

Bottom line:  Vagueness and ambiguity are *not* the result of
natural languages, but of the complexity of the world.  Mapping
words to logical symbols cannot resolve all disputes.

John

_________________________________________________________________
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

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