- From: Sandro Hawke <sandro@w3.org>
- Date: Tue, 24 Jun 2008 15:42:00 -0400
- To: "Boris Motik" <boris.motik@comlab.ox.ac.uk>
- Cc: OWL Working Group WG <public-owl-wg@w3.org>
(This is a peripherally related to ISSUE-131, and is a response to its
opening, but is really about ISSUE-111.)
> It might be beneficial to try and unify OWL-R DL and OWL-R Full into a
> single profile. The main benefit would be that we would not need
> owl:intendedProfile: the profile an ontology is in would be defined by
> the syntactic structure of the axioms in the ontology.
Even for OWL-Full?
To be clear: in OWL 1, test cases are parameterized by the intended
profile. The entailments of an OWL document are not defined unless you
have that parameter in hand. I think we're agreed that this is bad.
You're saying that aside from the split between OWL-R DL and OWL-R Full,
OWL 2 doesn't have this split? Whether one RDF Graph owl2-entails
another or is owl2-consistent is fully defined for every RDF Graph?
-- Sandro
Received on Tuesday, 24 June 2008 19:43:29 UTC