W3C Workshop on
Panel: What's Next?
Jon Robert Pellant (Pega)
Here are some issues which I find could be beneficial outside of
the obvious- customers demand standards to protect their rule
assets from vendor lock-in.
- Re-application of rulesets
- A rule standard must separate the binding of facts from the rule itself
- Dictionary publishing from author's perspective (OUT)
- Rule templates
- Authoring leveraging semantic web
- Authors can define rules against existing dictionaries (IN)
- External rule authoring (KPI, BRS, BizRules, etc.)
Jean-Francois Abramatic (ILOG)
Q. What should we try to acheive?
A. Develop a rule language that allows the use of rules
in multi-app, multi-platform situations
Q. What is the scope of the language
A. We should start with "simple" rules (see IBM's paper) in order to
guarantee applicability, performance, and deployment
Q. What are the external constraints to the development?
A. The language should be compatible with existing standards (W3C,
OMG) in some form.
Tim Berners-Lee (W3C)
- Simple enough to be widely deployed; Make the minimal language but have a maximal language in mind as a unifying concept
- Use URIs Seriously
- Supports Partial Understanding
Donald Chapin (Business Semantics Ltd)
- Make 'Community' the core notion for 'context' -- people using the
Semantic Web need to identify what community they are interested in for this
use of it.
- Define a framework for rules, and the vocabularies they are defined in
terms of, that extends from a fully business-optimized usage through the
necessary transformations to executable rules.
- Provide the ability to state that different expressions of terms,
facts or rules all mean the same thing.
Kurt Godden (GM)
- A tool-independent OWL-compatible syntax. To borrow a term from translation theorym I would call this an interlingua for representing rules.
- First order expressivity, plus a wish list:
- lambda-binding to associate single domain entities to variables
- quantification over predicates so we could write rules/constraints over the alloowable types of properties
- How about different flavors of rule languages a la OWL so that domain experts might be able to express simple rules themselves with Rule Light and work work a knowledge engineer for Rule Full.
Harold Boley (RuleML)
The three top-level items for a W3 Rules Language
that were discussed as much as possible, in the given time,
with WSMO, SWSL, and RuleML:
- Kernel should be Datalog Horn + NAF;
URI-identified syntactic and semantic extension layers
(a Rules Stack refining the new Layer Cake) should include
- Slotted/Frame syntax
- Webizing as in RDF and N3
- N3/TRIPLE/F-logic-like contexts/modules
- Query sublanguage interoperating with SPARQL
- Prioritized conflict handling
- Production Rules (CA Rules)
- Logical functions (full Horn logic)
- Syntactic sugar for restricted higher-order as in Hilog and SCL
- Human-readable (non-XML) presentation syntax
- Integration of Rules layers and Ontologies (DLP, AL-log, OWL-DL, ...)
- Lot's of previous work in RDF and WebOnt WGs to build on
- Use cases drawn from Semantic Web Services
- Leveraging work on SWSL and WSML
- Policy Annotation
- Web Service Discovery
- Event and Process Modeling --> Extension layer for ECA Rules
Paul Vincent (Fair Isaac - Blaze Advisor)
- Pragmatism: compatibility with other worlds
(eg Object Oriented)
- Role: rules for defining structure vs behavio(u)r
- Use: transmission (with data) across systems for the purposes
of sharing & collaboration
Ed Barkmeyer (NIST)
NIST highest priorities
- exactly one common abstract syntax with one corresponding XML exchange syntax
- one or more well-defined interpretations = one or more semantic models for interpreting (explicit subsets of) the common abstract syntax, with rulesets marked as to their interpretation
- must support basic datalog, n-ary predicates and constrained NAF interpretations
- must support reference to (walled inclusion of) OWL ontologies and other rulesets
- at least one standard surface syntax with mapping to the abstract syntax, explicit permission for other surface syntaxes provided that they are unambiguously mapped to the abstract syntax and a/the standard semantic theory
- prefer a frame style of surface syntax with n-ary predicates