Other
- use cases and adoption
- Deb suggested the
DARPA PAL
program (which uses JTP) as a source
- more examples would be helpful
- test cases
- highly desirable to define
- several potential sources identified: CLASSIC wines ontology, Schubert's Steamroller and other Prolog benchmarks, OWL test cases
- coverage tests
- How much of
DAML-Time
not representable in OWL
could be represented in SWRL? SWRL FOL?
- axiomatization of OWL
- DLP sublanguage of OWL
- various groups working on sublanguages
- desirable to get consensus among them
- coordination with EU rule efforts
- standardization
- possible venues: W3C, OASIS, OMG
- enthusiasm of W3C Members critical for W3C Working Group
- perhaps hold our own workshop as a means of generating enthusiasm
- possible rules task force within
Semantic Web Interest Group
- Common Logic
soliciting feedback
prior to February 2005 ISO deadline
- XML syntax
- dialect support
- meta-ontology of KR features for SCL and RuleML