% suggestions on directions for SWRL 12/02/03 % by Benjamin Grosof Here's a quick list of possible directions for SWRL: o expressive features to extend to incorporate: explicit equality sensor built-ins, e.g., datatype comparisons and arithmetic conversions cf. Mike Dean's note some of Lloyd-Topor transformation, e.g., disjunction in the body modules and importing skolemization, existentials, blank nodes: there's a set of issues here more general sensors, e.g., to call databases or knowledge bases via web service protocols effectors, i.e., actions triggered by conclusions negation-as-failure, prioritized conflict handling, scoping for nonmonotonicity classical negation and strong negation o syntax: revise RuleML syntax to update it to superset the simplifications and revisions made in a subset of it for SWRL more on RDF and OWL syntax for SWRL more in direction of FOL, coordinate that with SCL o in document: more on implementation more on design rationale more on warning label more on use cases and examples more on theory of integrating the rules with OWL within FOL / classical logic