W3C home > Mailing lists > Public > semantic-web@w3.org > July 2007

Re: [ontolog-forum] Current Semantic Web Layer Cake

From: Azamat <abdoul@cytanet.com.cy>
Date: Tue, 31 Jul 2007 21:17:21 +0300
Message-ID: <002901c7d39f$0af09bf0$010aa8c0@homepc>
To: "John F. Sowa" <sowa@bestweb.net>, "Pat Hayes" <phayes@ihmc.us>
Cc: "[ontolog-forum] " <ontolog-forum@ontolog.cim3.net>, "'SW-forum'" <semantic-web@w3.org>, <semantic_web@googlegroups.com>

John, Pat, Tim, and who concerned,

The Real Semantic Web might (or will) have a different framework from your 
expectations: instead of Unifying Logic, it will be a Unifying Ontology (a 
single comprehensive model of reality) integrating as its parts the Web 
general vocabularies and ontologies: RDF, RDFS, RULE RIF, OWL, SPARQL, Proof 
and Trust boxes.

To be short, below a selection from the upcoming book: ''Reality, Universal 
Ontology and Knowledge Systems: Towards the Intelligent World'':
''The Real Web is characterized by the web hierarchical structure anchored 
in the real world environment via the ontological groundwork:



<Global Intelligent Cyberspace, or Real Semantic Web> :: = <Ontological 
Framework, WDF, or RMF> <Semiotics> <the World Wide Web, or the Syntactic 
Web>



<Ontological Framework> :: = <Unified Framework Ontology, WDF, or RMF> 
<Upper Level

Ontologies> <Domain Ontologies>



<Semiotics> :: = <Pragmatics> <Semantics> <Syntax>



<Pragmatics> :: = <Users> <Web Agents> <Intentions> <Actions> 
<Communication> < Proof> <Trust> <Truth>



<Semantics> :: = <Signs, Data Type, Natural Language Expressions> < 
Constructs> <Meanings>



<Syntax> :: = <Logical Framework> <Rules> <OWL Ontology> <RDF Schema> <RDF 
M&S>

< RDF> <XML/SGML> <Namespaces>



<the Web>  ::= <Resources, Representation, Identification, URI, Unicode> 
<Interaction, Software Agents, Hypertext links, Protocols, HTTP> <Formats, 
HTML, XHTML>

The central idea of the Real Web is rather simple: without a common standard 
ontology as a common code of meanings and rules, there is no base and 
foundation for the whole enterprise of ontological semantic technology, 
powerful programming tools and applications employing semantic web 
technologies. To be consistent, its creators should fully appreciate the 
hard truth that the semantic web with its technologies and tools postulate a 
complete foundational ontology of anything, known as a single universal, 
global, or master ontology'.''
The real truth is usually very simple.

Azamat Abdoullaev
EIS Encyclopedic Intelligent System Ltd
Paphos, CYPRUS
Moscow, RUSSIA
http://www.eis.com.cy
PS: For a good reason can't actively participate in any discussion for next 
2/3 weeks.
----- Original Message ----- 
From: "John F. Sowa" <sowa@bestweb.net>
To: "Pat Hayes" <phayes@ihmc.us>
Cc: "[ontolog-forum]" <ontolog-forum@ontolog.cim3.net>; "Ivan Herman" 
<ivan@w3.org>; "Juan Sequeda" <juanfederico@gmail.com>; "SW-forum list" 
<semantic-web@w3.org>; <semantic_web@googlegroups.com>
Sent: Monday, July 30, 2007 11:24 PM
Subject: Re: [ontolog-forum] Current Semantic Web Layer Cake


>
> Pat,
>
> I agree that the proof box is misplaced, but I think
> that the major problem is that the logic box is not
> correctly positioned.
>
> > http://www.w3.org/2007/03/layerCake.png
>
> PH> Hmm, I wonder why the 'Proof' Tetris piece has
> > a connection to Rule without going through Unifying
> > Logic.  That seems like a very bad decision to me
>
> Unifying Logic is the framework that includes the others
> as subsets:  RDF, RDF-S, Rule RIF, OWL, and SPARQL.
>
> Each of these subsets is tailored for a specific kind of
> inference engine and/or a specific range of uses.  What
> unifies them is the common model-theoretic semantics.
> That semantics enables all of them to interoperate on
> shared data and produce consistent results.
>
> My suggestion would be to draw the Unifying Logic box as
> a large container that includes all the others inside:
> RDF, RDF-S, Rule RIF, OWL, and SPARQL.
>
> John
>
> 
Received on Tuesday, 31 July 2007 18:18:04 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:41:58 UTC