Re: ACTION-103 are all OWL 1.0 ontologies representable in RDF

From: "Michael Schneider" <schneid@fzi.de>
Subject: RE: ACTION-103 are all OWL 1.0 ontologies representable in RDF
Date: Wed, 12 Mar 2008 21:36:49 +0100

> [related to ISSUE-100]
> 
> Hi Peter!
> 
> Here is a concrete example expression to check my understanding:
> 
>   ObjectProperty(http://example.org#foo)
> 
>   Class(http://example.org#foo partial 
>         restriction(http://example.org#foo 
>                     value(http://example.org#foo) ) )
> 
> My questions:
> 
> (A) Is this expression syntactically valid in OWL-1.0 Abstract Syntax?

Close enough.  :-)

> (B) Is this expression transformable to RDF by means of the OWL-1.0 RDF
> mapping?

Yes, as every OWL 1.0 DL ontology is transformable.  

> (C) Is this expression a legal OWL-1.0-DL ontology?

If it is syntactically valid, then it is legal.

> Regards,
> Michael

peter