W3C home > Mailing lists > Public > public-owl-wg@w3.org > March 2008

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)
Message-Id: <20080312.165743.12008488.pfps@research.bell-labs.com>
To: schneid@fzi.de
Cc: public-owl-wg@w3.org

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 12 March 2008 21:00:21 GMT