[Top] [All Lists]

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

To: Valentin Zacharias <Zacharias@xxxxxx>
Cc: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>, Juan Sequeda <juanfederico@xxxxxxxxx>, SW-forum list <semantic-web@xxxxxx>, semantic_web@xxxxxxxxxxxxxxxx
From: Ivan Herman <ivan@xxxxxx>
Date: Tue, 31 Jul 2007 11:19:31 +0200
Message-id: <46AEFEA3.6080706@xxxxxx>
Dear all,    (01)

Thanks Valentin: true. The evolution of RIF, how it will develop, is
still subject to lots of discussion, see also    (02)

http://www.w3.org/blog/SW/2007/07/20/rif_wg_agrees_to_basic_logic_and_pr_dial    (03)

Until RIF evolves and make these things clear, we think that the current
layercake is fine by leaving doors open (without trying to read too much
into a figure like that, one _cannot_ express all possible ideas and
issues into a single figure.) At some point in time we may have to look
at this issue again when we have a clearer image on RIF.    (04)

Ivan    (05)

Valentin Zacharias wrote:
> John F. Sowa:
> [...]
>> 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.
> RIF is a format for sharing rules created in different languages (or
> dialects) and - at least according to the documents they have published [1]
> - not all of these dialects are required to have a model theoretic semantic.
> In their own words [1]: "A dialect is a rule language with a well-defined
> syntax and semantics. This semantics must be model-theoretic,
> proof-theoretic, or operational in this order of preference. " 
> Which also is probably the reason for the "misplacement" of the unified
> logic box - there is no (known) unifying logic for the union of these
> formalisms. 
> (maybe change the layer stack and replace "RIF" by "RIF core"?)
> [1]: http://www.w3.org/TR/rif-core/ 
> greetings, 
> valentin
>     (06)

--     (07)

Ivan Herman, W3C Semantic Web Activity Lead
Home: http://www.w3.org/People/Ivan/
PGP Key: http://www.ivan-herman.net/pgpkey.html
FOAF: http://www.ivan-herman.net/foaf.rdf    (08)

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)

<Prev in Thread] Current Thread [Next in Thread>