From: David Martin ([email protected])
Date: 02/18/05
Hi Peter, and all - Again, thanks for your detailed response to my question. I had pretty much accepted the necessity of keeping our SWRL expressions quoted, but then the Protege folks pointed out a very significant drawback to that approach, from the tool-building perspective (which I won't bother to explain here). Then another idea surfaced: why can't we specify our SWRL expressions in unquoted RDF syntax, but simply tell OWL reasoners to ignore them by using an annotation property? In my example (copied below), we would simply declare hasPrecondition to be an annotation property. (Actually it would be a different property because the example is oversimplified, but that's not important.) At least, as I understand things, that would prevent an OWL reasoner from getting screwed up over our SWRL expressions, because, as I understand things, OWL reasoners are supposed to ignore the values of annotation properties. Regarding what a SWRL reasoner might do - for my money it's reasonable to expect a SWRL reasoner to also ignore the values of annotation properties. Does that sound reasonable? Thanks, David PS - Annotation properties are discussed here: http://www.w3.org/TR/owl-ref/#Header Peter F. Patel-Schneider wrote: > [Speaking for myself, but with some pretensions to know something about the > topic. :-) ] > > From: David Martin <[email protected]> > Subject: SWRL expression in a property instance? > Date: Fri, 11 Feb 2005 18:10:45 -0800 > > >>Greetings Mike and all joint committee folks - >> >>Lest you guys get bored, a bunch of us are grappling with the question >>of how to use a SWRL expression as the value of a property instance, and >>I'd very much appreciate your views on this. > > > You asked, so don't get mad at the answer. :-) > > >>For example, in OWL-S an AtomicProcess has a precondition, which we want >>to express in SWRL. Here's a simplistic example of the kind of thing we >>might like to do: >> >><AtomicProcess> >> <hasPrecondition> >> <ruleml:Imp> >> <ruleml:body> >> <!-- empty body --> >> </ruleml:body> >> <ruleml:head> >> <swrl:IndividualPropertyAtom> >> <swrl:propertyPredicate >> rdf:resource="⪚hasCreditCardOfType"/> >> <swrl:argument1 rdf:resource="#user" /> >> <swrl:argument2 rdf:resource="#VISA" /> >> </swrl:IndividualPropertyAtom> >> </ruleml:head> >> </ruleml:Imp> >> </hasPrecondition> >> .... >></AtomicProcess> >> >>This says that the precondition for the atomic process is that the user >>must have a VISA card (user is a variable that will get bound to some >>kind of user ID, when the process runs). >> >>So here are my questions: >> >>(1) Is this legal to use an Imp instance in this way, as the value of a >>property instance? > > > Your question is not specific enough. Let me provide answers to several > more specific questions. > > (11) Is the above syntactically-valid RDFS? > > No, because it is missing rdf:parseType="Collection" in two places. > > (12) Ignoring that, is the above syntactically-valid RDFS? > > I think so. (Checking RDF by hand is beyond my capabilities.) > > (13) Is the above (modified) semantically-valid RDFS, i.e., non contradictory? > > Yes, of course, as it is very hard to make contradictions in RDFS. > > (14) Is the above (modified) syntactically-valid OWL? > > Yes, although only OWL Full, as it uses collections outside of the DL > syntax. > > (15) Is the above (modified) semantically-valid OWL Full? > > Yes, as there is no use of interesting OWL stuff here. > > (16) Is the above (modified) syntactically-valid SWRL. > > Yes, it appears to be, although the precise characteristics of the RDF > syntax for SWRL are not very well specified. > > (17) Is the above (modified) semantically-valid SWRL. > > Hmm. That depends. The RDF syntax for SWRL is not fully mixable > with other RDF. This goes to the heart of the problem with RDF. > (More below on this.) > > >>(1a) In general, can SWRL classes like Imp and IndividualPropertyAtom be >>instantiated and used in all the same ways that ordinary OWL classes can >>be used in OWL-DL? (Is it even right to think of these as OWL classes?) > > > Good question. > > The answer to all of these is "NO!", or, at least "DON'T DO IT!". You are, > in essence, mixing together facts and code without being able to determine > which is which. In particular, as far as SWRL is concerned you have a > top-level rule there - not a precondition. Any SWRL processor would be > correct in trying to determine the consequences of this rule, which is > certainly not what you want. > > However, if you don't care about SWRL processing, then go right ahead. But > then why worry about the RDF form of the rule - why not just include the > abstract syntax in a string? > > >>(2) If the above example is legit, how about if we omit the Imp and body >>and head elements, and just nest the IndividualPropertyAtom directly >>inside the hasPrecondition tag? > > > If the above considerations didn't matter, then there would be no problem. > Just think of it as any other data. Again, however, why not just use > strings to carry the SWRL rules? > > >>(3) If the answer to (1) or (2) is "no" - is it any different for SWRL-FOL? > > > No. There is no reason that the answer would be less restrictive for > SWRL-FOL. There is no RDF syntax for SWRL FOL, nor will there ever be if I > have anything to say about it. > > [In fact, it is demonstrably impossible to have a viable same-syntax > extension of RDF to unary/binary predicate calculus with equality.] > > >>(4) If the above example is legit, and *if* we forget about RDF >>semantics, will a SWRL reasoner treat the Imp as if it were a non-nested >>assertion, and try to reason with it? Or will it simply record that >>there's an Imp instance related to an AtomicProcess instance? > > > Hmm. A SWRL reasoner probably woudn't work very well at all on a document > of this form. The RDF syntax for SWRL rules isn't really RDF - it is just > a way to get RDF parsers to not choke on SWRL rules. (Why do this? I > plead the fifth!) > > If you want to write SWRL then you should have separate documents for OWL > information and SWRL rules. > > If you want to embed SWRL in something else, then you should probably not > use the RDF syntax. > > >>Thanks! >> >>- David Martin >>(on behalf of various people working on OWL-S and Protege-based OWL editors) > > > Peter F. Patel-Schneider > Bell Labs Research > > > PS: I'm not particularly satisfied with the way this answer turned out. In > particular, there are ways around your problem - but you probably won't > like the answer. This topic really requires an interactive session to give > it full justice. > >
This archive was generated by hypermail 2.1.4 : 02/18/05 EST