W3C home > Mailing lists > Public > public-owl-dev@w3.org > October to December 2010

Re: OWL 2 profiles

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Wed, 24 Nov 2010 02:06:24 +0000
Message-Id: <22EE3917-5060-4927-B6C9-A019A6692E4E@cs.man.ac.uk>
To: Cristian Cocos <cristi@ieee.org>, public-owl-dev@w3.org
On 23 Nov 2010, at 19:08, Pat Hayes wrote:

> On Nov 23, 2010, at 11:46 AM, Cristian Cocos wrote:
>>> But do not confuse the OWL 2 RL syntactic profile (which in fact is a
>>> syntactic fragment of OWL 2 DL) with the OWL 2 RL/RDF rules
>> Thank you. The RL profile I'm talking about is this:
>> http://goo.gl/PLXRe, which I assume is what you call "OWL 2 RL
>> syntactic profile," right?
>>> The syntax of OWL 2 Full is the RDF abstract syntax [1], i.e. any RDF graph
>>> is a valid OWL 2 Full ontology.
>> Thanks, though not being an RDF aficionado, it would help me more if
>> you used (the binary-relation restriction of) FOL as a term for
>> comparison. I seem to vaguely recall that via the reification
>> mechanism, RDF goes beyond FOL,
> RDF does not go beyond FOL.

Not all RDF graphs under the standard semantics can be regarded as notation variants of classic (i.e., name separated) FOL formulae.

For example, ":a rdf:type :C" does not exactly correspond to C(a) (in a classic, introduction to symbolic logic style FOL).

However, it does not do so primarily via the reification *vocabulary*, but  via 1) some syntactic liberality (e.g., the signature is not sorted by syntactic role, but the set of  constants and predicates may overlap and, indeed, coincide) and 2) additional semantic conditions.

However, at least through OWL Full, the particularly ways of doing this do not result in a logic which is e.g., non-compact. It, thus, may be completely defined in (classic, standard) FOL. Thus, it can be (and should be) regarded as a kind of first order logic even though it's not exactly classic, Principa style FOL.

Note that the mere addition of comments can be regarded, reasonably, as a deviation from standard FOL.

I need a name for this. I'll call the specific kind of FOL you find in Introduction to Symbolic Logic text books "Good Old-Fashioned FOL" GOFFOL. Anything that deviates from that slightly, but remains first order (in a general sense; e.g., can be axiomitized by a finite GOFFOL theory with maybe some axiom schemas) is "New Fangled FOL" or NFFOL. RDF is definitely a NFFOL, but so is OWL DL at least on the point of having annotations. SHOIN, SROIQ, etc. are clearly GOFFOL. Adding datatypes  is a bit NFFOL, but in a fairly standard way (e.g., of the satisfiability modulo theory sort) (well, except for reals). Adding punning is NFFOL.

> There is no reification 'mechanism' in RDF, and the RDF semantics of reification are so minimal as to pose no threat to FO expressivity. 

It's NFFOL but not GOFFOL.

> Pat Hayes
>> hence OWL 2 Full also does that. Is
>> that true? If so, I'd be tempted to regard this as the most glaring
>> distinction b/w OWL 2 DL and OWL 2 Full.

You can generally break OWL 2 DL/Full expressivity differences (causing, e.g., undecidability) into several parts:

1) OWL Full encompasses a larger (undecidable) fragment of GOFFL. Basically, all the syntactic restrictions to keep e.g., the combination of counting quantifiers and transitive decidable are lost. Similarly, you can have aribitrary patterns of BNodes which gets entailment problem to encompass conjunctive query answering with cycles + transitivity + (in)equalities (also undecidable). etc.
2) OWL Full has Hilog semantics, which, in the absence of a Unique Role Assumption breaks decidability. This is pretty cheap for OWL Full because the may way that works is by making detecting simplicity of roles impossible to do syntactically. But see 1.
3) OWL Full has general syntactic reflection, that is, it doesn't just pun names, but it puns arbitrary (e.g., class) expressions. This can be very dangerous. That is, not only can "C" be both a class and an individual, but so can "C & D".
4) OWL Full, wrt general syntactic reflection, allows redefinition of the basic logical vocabulary (in specific ways). See Boris's paper for some consequences.

Hope this helps.

Received on Wednesday, 24 November 2010 02:06:55 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:19 UTC