- From: Ian Horrocks <horrocks@cs.man.ac.uk>
- Date: Thu, 24 Apr 2003 12:22:17 +0100
- To: Daniel Elenius <danel698@student.liu.se>
- Cc: www-rdf-logic@w3.org
What you need are datatype predicates of arity greater than one, e.g., comparisons. This is perfectly possible in theory, but isn't supported by DAML+OIL or OWL. Ian On April 14, Daniel Elenius writes: > > Hi! > > Is there any way of expressing relations like "less than" on numbers > (like xsd:integer) in DAML+OIL, and have an inference engine (like JTP) > deduce that e.g. 3 is less than 5. > > What I want to do is this. I have printer devices, described by > configurations, such as this: > > <printer:printerConfiguration> > <printer:PrinterConfigurationData > rdf:ID="Printer1-PrintConfig1Data"> > <printer:printTechnology rdf:value="LaserJet"/> > <printer:paperSize rdf:value="A4"/> > <printer:paperSize rdf:value="Letter"/> > <printer:resolution rdf:value="300"/> > <printer:resolution rdf:value="600"/> > <printer:resolution rdf:value="1200"/> > <printer:colorCapability rdf:value="false"/> > <printer:OHCapabilityData rdf:value="true"/> > <printer:printSpeedType rdf:value="6.0"/> > </printer:PrinterConfigurationData> > </printer:printerConfiguration> > > > These are loaded into a JTP knowledge base, and I want to query the KB > for e.g. "all printer configurations with print speed greater than 5". > > If the abovementioned reasoning is possible, then perhaps it would be > easiest to express the queries in som DAML+OIL form, and have JTP figure > out the full answers. > > The other (ad-hoc) solution would be to get the values from the KB using > JTP, and compare the numbers in Java code. > > I'd be happy for any thoughts on this. > > Regards > Daniel >
Received on Thursday, 24 April 2003 06:22:07 UTC