Danny Ayers made a request for comments on the state of the semantic web a few weeks ago. I’ll preface this post by saying the state of the semantic web is very good by which I mean some very good design decisions were made early on that ensured a vibrant academic research base, a broad marketplace for technology transfer and an eager community of technology providers to realize the vision of a web of meaning. I’m personally very positive overall on the state of the semantic web. The semantic web is now pretty close to the best of all possible worlds. (ha, ha, ha) All that being said it’s time to sharpen my pencil a bit and offer a critique on a few of the finer points of the state of the semantic web: representation and realism.
Tags:
alfred tarski,
barry smith,
biomedical ontologies,
chris menzel,
classification,
concepts and reality,
defeasibility,
description logic,
formal language,
formal semantics,
formally correct,
fully interpreted,
john sowa,
material adequacy,
mechanism,
meta language,
model theory,
modus ponens,
object language,
ontolog forum,
ontology,
pat hayes,
possible worlds,
rdf model theory,
realism,
realization,
representation,
resolution,
semantic conception of truth,
semantic web,
semiotics,
skolemization,
standard reasoning services,
subsumption consistency checking,
theorem prover,
theoretical foundation of semantics,
theory of meaning,
unification,
web of meaning 9 Comments |
Read the rest of this entry »
If you’re interested in the categories ontology mentioned in my post called “On a New List of Categories” and you’re looking for some background, check out Joseph Goguen’s work on algebraic semiotics. As described by Goguen in “On Notation” Peirce’s semiotics forms the basis for a relational theory of meaning for algebraic specifications.
Tags:
alfred tarski,
algebra,
algebraic semiotics,
charles sanders peirce,
correspondency theory of meaning,
Jospeh Goguen,
LBase,
meaning,
model interpretation,
model structure,
model theory,
ontology,
RDF/OWL,
relational theory of meaning,
semantic web,
semantics,
semiotics,
semiotis,
tarski,
truth and meaning No Comments |
Read the rest of this entry »
I make available for all to use an OWL ontology of Charles Sander’s Perice’s “On a New List of Categories” under a Creative Commons By license. In this early manuscript (1868), we see the foundations of his semiotics that later matures in MS 478 Sundry Logical Conceptions, MS 450 Nomenclatures and Divisions of Triadic Relations and MS 517 New Elements.