[tmcl-wg] Consistency of TMCL Schemas ?

[Dmitry]

----- Original Message ----- 
From: "Lars Marius Garshol"
To: <tmcl-wg@isotopicmaps.org>
Sent: Tuesday, January 06, 2004 1:59 PM
Subject: Re: [tmcl-wg] Consistency of TMCL Schemas ?

> I think the following might be the best solution:
>
>  - create a TMCL that handles constraints on topic maps, kind of like
>    RDFS and constraint parts of OWL, and
>
>  - reuse the ontology parts of OWL that make sense in topic maps as a
>    separate specification.
>
> The reuse might take the form of expressing OWL in topic maps pretty
> much the way an OWL schema would look if converted to topic maps using
> the Ontopia RDF->TM mapping vocabulary, or it might be reengineered
> somewhat (new URIs, for example), but include a simple and clear
> description of how to map RDF OWL to TM OWL.
>
> My mind isn't really made up on any of this.

If we have general mapping defined between OWL and TMCL (+ may be some
annotations)   we can have "on the fly" or "virtual" mapping.

So we can "include" and "commit to" OWL ontologies (or more precisely TMCL
view on OWL ontologies). And if we have a concept of "partial type
descriptions" we can adjust OWL definitions.

Dmitry