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

• From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
• Date: Wed, 12 Mar 2008 16:57:43 -0400 (EDT)
• To: schneid@fzi.de
• Cc: public-owl-wg@w3.org
• Message-Id: <20080312.165743.12008488.pfps@research.bell-labs.com>

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

Received on Wednesday, 12 March 2008 21:00:20 UTC