Re: ISSUE-116 (axiomatictriples): Should Axiomatic Triples added to OWL-R Full? from Jeremy Carroll on 2008-04-09 (public-owl-wg@w3.org from April 2008)

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Wed, 09 Apr 2008 13:37:49 +0100
To: OWL Working Group WG <public-owl-wg@w3.org>
Message-ID: <47FCB89D.4030308@hpl.hp.com>

I second.


OWL Working Group Issue Tracker wrote:
> 
> ISSUE-116 (axiomatictriples): Should Axiomatic Triples added to OWL-R Full?
> 
> http://www.w3.org/2007/OWL/tracker/issues/
> 
> Raised by: Ivan Herman
> On product: 
> 
> The current OWL-R-Full does not include 'axiomatic triples' to be added to the resulting graph. What I mean is to add triples like
> 
> (owl:FunctionalProperty,rdfs:subClassOf,rdf:Property)
> (rdfs:subPropertyOf,rdfs:domain,rdf:Property)
> 
> etc. See for the RDF Semantics for a bunch of those in RDFS, and Horst's paper on pD* for their OWL equivalents. 
> 
> See also the thread of discussion starting at:
> 
> http://lists.w3.org/Archives/Public/public-owl-wg/2008Apr/0098.html
> 
> 
>

Received on Wednesday, 9 April 2008 12:38:44 UTC