- From: Pat Hayes <phayes@ihmc.us>
- Date: Thu, 9 Aug 2007 11:23:36 -0500
- 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 >*OWL*. 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 Manchester >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 :-) Pat > >Cheers, >Bijan. -- --------------------------------------------------------------------- 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