W3C home > Mailing lists > Public > public-owl-dev@w3.org > July to September 2007

Re: declaredAs

From: Pat Hayes <phayes@ihmc.us>
Date: Thu, 9 Aug 2007 11:23:36 -0500
Message-Id: <p0623090fc2e0ebbf4954@[]>
To: Bijan Parsia <bparsia@cs.man.ac.uk>
Cc: "Michael Schneider" <m_schnei@gmx.de>, public-owl-dev@w3.org, bmotik@cs.man.ac.uk

>This is not quite correct, or at least overstrong. OWL 1.1 is indeed 
>centered on OWL DL but is an attempt to move toward a revision of 

Refocussing OWL on DL's , no doubt.

>Thus the WG will take OWL 1.1 as an input, but, presumably, work to 
>flesh out other OWL Full aspects (punning is, in fact, a move in 
>this direction).

Not really. Im sure it was meant to have this intention, but the 
effect of moving to punning is two-fold: it breaks the OWL Full 
semantics, and it breaks the semantic connection between OWL and RDF. 
Neither of which are desirable, IMO, though both of them are in line 
with a certain perspective that has long been associated with 

>So I wouldn't rule it off topic at all.
>However, I believe you were still correct in your analysis of what 
>types you can infer from those axioms. You were giving "Triggers" 
>roughly, i.e., "if you see a term in the object position of an 
>rdf:type triple, then it must (at least) be a class". However, I 
>suspect in OWL Full something could be *inferred* to be a class 
>without a direct axiom for it

Yes, Im sure that is possible.

>, thus things are more complex than is happy.

Or, you could take the stance that everything is a class. This does 
of course rather drive a truck through the idea that ontologies 
should be "structurally consistent", because they all are, trivially 
(so it doesn't mean anything any more). But it sure does keep things 
simple. I'm very happy with that option, myself. The CL wild west 
syntax idea just keeps getting better and better from where I'm 
standing :-)



IHMC		(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32502			(850)291 0667    cell
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes
Received on Thursday, 9 August 2007 16:23:46 UTC

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