To fully appreciate WSMO, it is important to look at the underlying
semantics of the modeling language.
WSMO's semantics are defined in WSML, a draft of which is here: (01)
http://www.wsmo.org/TR/d16/d16.1/v0.2/ (02)
One could compare WSMO/WSML with alternative proposals such as SWSF (03)
http://www.daml.org/services/swsf/
http://www.daml.org/services/swsf/1.1 (04)
Turns out both WSMO and SWSF have many conceptual similarities. (05)
- first-order logic (FOL)
- logic programming (F-LOgic)
- a rule language (06)
However, there are some important differences lurking below.
For example, SWSF's semantics follows a very rigorous axiomatic
approach similar to the PSL ontology --
http://www.mel.nist.gov/psl/ontology.html
This is very good w.r.t. formal reasoning purposes. (07)
WSMO's semantic approach seems to follow the OWL distinction (Lite, DL,
Full)
and provides enough overlap between the logic-programming aspects of
rule-based
inferencing and deductive reasoning to explore various tool-based
strategies for
automatic reasoning and verification. However, this comes at the price
of deferring
some aspects of the semantics for WSML-Full. (08)
There is a brief comparison w/ WSMO and SWSL here: (09)
http://www.w3.org/Submission/WSMO-related/ (010)
and here: (011)
http://www.daml.org/services/swsf/1.1/overview/ (012)
-- Nicolas. (013)
Duane Nickull wrote: (014)
> Anyone have any comments or thoughts on this:
>
> http://www.w3.org/Submission/2005/SUBM-WSMO-20050603/
>
> Might be an idea to extend an invite for a presentation.
>
> Duane Nickull
>
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Subscribe/Unsubscribe/Config:
> http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/ To Post:
> mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>
> (015)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Unsubscribe/Config:
http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (016)
|