[Top] [All Lists]

Re: [ontolog-forum] brainwaves (WAS: to concept or not to concept, is th

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Mon, 17 Dec 2007 22:44:02 -0500
Message-id: <47674202.4060105@xxxxxxxxxxx>
Bill,    (01)

There is another principle:  If you start with contrived axioms,
you're likely to get contrived results:    (02)

> (forall ((x person)) (exists (y) (and (has x y) (not (part y  
> EmpireStateBuilding))))))
> True when every person has something that isn't part of the Empire  
> State Building.  The function introduced in the form you suggest would  
> look pretty contrived -- or at least not so natural as 'fatherOf'.    (03)

I can't imagine why anyone would put that axiom into a knowledge
base that was supposed to serve some useful purpose.    (04)

Can you find any useful axioms of the A-E form whose Skolem functions
would be "contrived"?    (05)

John    (06)

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

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