?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Ontology+and+Formal+Semantics+-+Integration+Overdue&rft.creator=Saba%2C+Walid&rft.subject=Computational+Linguistics&rft.subject=Semantics&rft.subject=Artificial+Intelligence&rft.description=In+this+note+we+suggest+that+difficulties+encountered+in+natural+language+semantics+are%2C+for+the+most+part%2C+due+to+the+use+of+mere+symbol+manipulation+systems+that+are+devoid+of+any+content.+In+such+systems%2C+where+there+is+hardly+any+link+with+our+common-sense+view+of+the+world%2C+and+it+is+quite+difficult+to+envision+how+one+can+formally+account+for+the+considerable+amount+of+content+that+is+often+implicit%2C+but+almost+never+explicitly+stated+in+our+everyday+discourse.+%0D%0AThe+solution%2C+in+our+opinion%2C+is+a+compositional+semantics+grounded+in+an+ontology+that+reflects+our+commonsense+view+of+the+world+and+the+way+we+talk+about+it+in+ordinary+language.+In+the+compositional+logic+we+envision+there+are+ontological+(or+first-intension)+concepts%2C+and+logical+(or+second-intension)+concepts%2C+and+where+the+ontological+concepts+include+not+only+Davidsonian+events%2C+but+other+abstract+objects+as+well+(e.g.%2C+states%2C+processes%2C+properties%2C+activities%2C+attributes%2C+etc.)+%0D%0AIt+will+be+demonstrated+here+that+in+such+a+framework%2C+a+number+of+challenges+in+the+semantics+of+natural+language+(e.g.%2C+metonymy%2C+intensionality%2C+metaphor%2C+etc.)+can+be+properly+and+uniformly+addressed.%0D%0A&rft.date=2007-12-01&rft.type=Other&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.identifier=http%3A%2F%2Fcogprints.org%2F5876%2F1%2FSaba_2007_OFS.pdf&rft.identifier=++Saba%2C+Walid++(2007)+Ontology+and+Formal+Semantics+-+Integration+Overdue.+++++(Unpublished)++&rft.relation=http%3A%2F%2Fcogprints.org%2F5876%2F