DL Question

Dear List,

Don't know of this is correct place to ask this, but....

I'm trying to describe a technique for deciding if we prefer one rule to 
another. All the terms in the rules are literals (i.e. are in the ABox 
in  an ontology). The rules are of the form:

Source -> (Body -> Head)

I'm trying to express the fact that if some element of Source or Head 
has a particular value, then we should prefer the rule. E.g. We might 
prefer (denoted >>) rules with a source which has a date >2000 rather 
than <=2000.

I'm _really_ quite stuck on trying to do this, and I'm not clear why (I 
don't think it's that hard). I _think_ the best way to do it is to 
introduce some classes (i.e. T Box terms) that are defined, and then 
'rank' those classes. So to continue our example, the user might say:

Post2000_Paper \equiv Paper & has_date >2000
PreEq2000_Paper \equiv Paper & has_date <=2000
Post2000_Paper >> PreEq2000_Paper

(I also _think_ that these class definitions would require OWL1.1, but 
that's a different issue)

Could someone make some comments on this? Does it make sense? Any 
obvious problems?

Thanks,
Matt




-- 
Dr. M. Williams MRCP(UK)
Clinical Research Fellow,
Cancer Research UK
+44 (0)7834 899570

Received on Thursday, 6 April 2006 08:20:27 UTC