- From: Peter Crowther <Peter.Crowther@networkinference.com>
- Date: Wed, 29 Jan 2003 23:46:53 -0000
- To: "Richard Waldinger" <waldinger@ai.sri.com>
- Cc: <www-rdf-logic@w3.org>
> From: Richard Waldinger [mailto:waldinger@ai.sri.com] > Nice pictures. Don't blame me :-). > Does it handle negation or disjunction? Yes and yes respectively. The version that is on our Web site handles: - Named primitive roles; - named primitive concepts, ALL role.concept, SOME role.concept, conjunction, disjunction and negation of concepts; - Role implication and equality, functional and transitive roles; - Concept implication and equality; - Concrete roles and datatype handling (currently integers, floats, strings and ranges of these). In DL terms, the implementation on the Web site is of SHF(D1-). Think FaCT with some datatype support. I've benchmarked the current version at anything between 2x and 100x FaCT speed depending on the knowledge base with significantly lower memory usage. Further enhancements are under development as I type this (depending on who's in the office at this ungodly hour :-). - Peter
Received on Wednesday, 29 January 2003 18:47:27 UTC