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

From: OWL Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Wed, 9 Apr 2008 12:34:19 +0000 (GMT)
To: public-owl-wg@w3.org
Message-Id: <20080409123419.79A40C6DBC@barney.w3.org>

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:34:58 UTC