semantic nets vs first-order logic

From: alex goldman (hello_at_spamm.er)
Date: 03/11/05 

Date: Fri, 11 Mar 2005 04:56:14 -0800

Even after reading up a bit on the subject, I'm still not very sure about
how semantic nets are related to first-order logic, and I have a few
questions (I'm more familiar with FOL than with SNs)

Is FOL strictly more expressive than SNs?

Can FOL be limited so that the result will be isomorphic to SNs, and if so,
what would be the isomorphism?

FOL is to Prolog, as SN is to ... ?

Relevant Pages

  • Re: semantic nets vs first-order logic
    ... > how semantic nets are related to first-order logic, ... > questions (I'm more familiar with FOL than with SNs) ... Some, like KL-ONE, are much weaker than full FOL (IIRC, KL-ONE ...
    (comp.theory)
  • Re: semantic nets vs first-order logic
    ... > how semantic nets are related to first-order logic, ... > questions (I'm more familiar with FOL than with SNs) ... Some, like KL-ONE, are much weaker than full FOL (IIRC, KL-ONE ...
    (sci.logic)
  • Re: semantic nets vs first-order logic
    ... > questions (I'm more familiar with FOL than with SNs) ... > what would be the isomorphism? ... description logics can be regarded as ...
    (comp.lang.prolog)
  • semantic nets vs first-order logic
    ... how semantic nets are related to first-order logic, ... Is FOL strictly more expressive than SNs? ... what would be the isomorphism? ...
    (comp.theory)
  • semantic nets vs first-order logic
    ... how semantic nets are related to first-order logic, ... Is FOL strictly more expressive than SNs? ... what would be the isomorphism? ...
    (comp.lang.prolog)