[CL] The rate of adoption of Common Logic
cross at kojeware.com
Mon Aug 2 12:21:49 CDT 2010
Yes. This would indeed be useful.
On Mon, Aug 2, 2010 at 1:18 PM, Chris Mungall <cjm at berkeleybop.org> wrote:
> On Aug 2, 2010, at 12:51 AM, John F. Sowa wrote:
> every formally defined notation that can be mapped to and from
>> the ISO 24707 model theory without loss or distortion.
>> In that sense, the many versions of RDF, RDFS, OWL, SWRL,
>> RuleML, RIF, etc., can be called CL dialects.
> What is a good way to deal with the fact that there be many such mappings
> for any one language such as OWL?
> For example, when mapping OWL to CLIF there different vocabularies that can
> be used in the embedding. For example, for an OWL2 subclass axiom holding
> between two named classes:
>  (SubClassOf foo bar)
>  (subclass-of foo bar)
>  (rdfs:subClassOf foo bar)
> You can also directly translate:
>  (if (foo x) (bar x))
> Translating between different embedding vocabularies is perhaps seen as a
> trivial matter. Nevertheless, for the purposes of interoperability and
> adoption of CL, it would be good to formally or informally bless (or at
> least name) the different mappings. For example,  could be named the OWL2
> functional syntax embedding (after http://www.w3.org/TR/owl2-syntax/).
> The mapping isn't completely trivial as there are constructs in OWL2 such
> as axiom annotations which are a little fiddly in CL.
> There are also at least two sensible embeddings of RDF into CL, depending
> on whether we reify the predicate. Of course it would be possible to
> communicate the OWL-DL subset of CL using an RDF embedding, but a direct
> embedding of the OWL2 syntax may be preferable for ontologies that make use
> of nested class expressions and other things that result in unwieldy
> I think that specifying a preferred embedding could help the adoption of
> CL. This need not be a lot of work, as the OWL2 syntax document has done
> most of the work.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the CL