Michele Pasin / Quotes

Search engines don't use formal semantics

The ability of the agent to infer something about the meaning of fuel-pump depends on the existence of a formal semantics for ontology language such as DAML+OIL. The language semantics also allow the agent to infer the meaning of complex expressions built up using language primitives. The semantics of the language are not machine processible; they are written for humans only. People use them to write inference engines or other software to correctly interpret and manipulate expressions in the language. Note that today’s spectacularly impressive search engines by and large do not use formal semantics approaches. Overall it remains an unproven conjecture that such approaches will enhance search capabilities, or have significant impact anywhere else on the Web.

Saved 26 February 2013 / dl.acm.org ↗

#language #semantics #meaning #engine

Syntax is not semantics

The distinction between syntax and semantics is so important for the rest of the argument of this book that I want to say a little more about it here. In…

Mind: A Brief Introduction (John R. Searle) #syntax #semantics #meaning #language

The model-theoretic semantics of RDF

RDF statements also have a formal meaning which determines, with mathematical precision, the conclusions (or entailments) that machines can draw from a given…

Rdf Primer #meaning #language #semantics

XML workflows outlived the Semantic Web

Certainly there are niche applications, in taxonomy design for example, but there is no tidal wave of change. Search is the application with most to gain from…

Triple Bypass – What Does The Death Of The Semantic Web Mean For Publishers? - Semantico #metadata #RDF #semantics #engine #workflow

Physicalism and how neurons create meaning

Physicalism in its most general form is the belief that the only things in the universe that are observer-independent are physical. This is also what…

Beyond Zero and One (Andrew Smart) #materialism #ontology #meaning #consciousness #semantics

Substitution and existential inference

Formally we can put this as follows: 1. [(a=b) & Fa]Fb. If a is identical with b and a has property F, then b has property F. Thus from 2. Caesar crossed…

Mind: A Brief Introduction (John R. Searle) #logic #semantics #language

Externalism and the stagnation of philosophy of language

Finally, more controversially, I think the philosophy of language has reached a period of relative stagnation because of certain common mistakes that surround…

Mind: A Brief Introduction (John R. Searle) #externalism #meaning #language