joint-committee Mailing List Archive
By messages with attachments
New Message
Most recent messages
2639 messages sorted by:
[ author ]
[ date ]
[ thread ]
[ subject ]
Mail actions: [ mail a new topic ]
Starting: 12/14/00
Ending: 01/30/06
- Re: Joint Committee telecon today (semantics for domain and range) Peter F. Patel-Schneider (01/09/01)
- semantics.html (8318 bytes)
- Re: Joint Committee telecon today Peter F. Patel-Schneider (01/09/01)
- semantics.html (8174 bytes)
- Re: Ready for release Peter F. Patel-Schneider (01/11/01)
- semantics.html (9067 bytes)
- DAML+OIL and FIPA Frank van Harmelen (04/24/01)
- f-wp-ontology3a.pdf (31845 bytes)
- Shoes [email protected] (05/01/01)
- shoes.jpg (29235 bytes)
- Ontologies Containing FOL Axioms Richard Fikes (08/31/01)
- Unitsandmeasures.ppt (43008 bytes)
- Time.ppt (126464 bytes)
- Frameexample.ppt (81920 bytes)
- an RDFS-aware model theory for DAML+OIL Peter F. Patel-Schneider (09/28/01)
- daml_oil-model.html (24322 bytes)
- updated new model theory Peter F. Patel-Schneider (09/29/01)
- daml_oil-model.html (25973 bytes)
- new model theory for DAML+OIL Peter F. Patel-Schneider (10/02/01)
- rdf-new-model.text (10801 bytes)
- daml_oil-newer-model.html (22205 bytes)
- two documents concerning datatypes in RDFS Peter F. Patel-Schneider (10/08/01)
- rdf-newer-model.text (10244 bytes)
- rdf-datatypes.text (3628 bytes)
- EU/NSF meeting Frank van Harmelen (10/09/01)
- EU-NSF-concl-slide.pdf (30927 bytes)
- US/EU Meeting... Stefan Decker (10/09/01)
- infra.ppt (37376 bytes)
- Re: US/EU Meeting... Stefan Decker (10/09/01)
- infra.pdf (98901 bytes)
- UPDATE: new, combined document for SWOL Peter F. Patel-Schneider (12/20/01)
- swol2.text (17646 bytes)
- [Fwd: material on Rules for today's Joint Committee telecon] Mike Dean (01/22/02)
- p2.pdf (161858 bytes)
- demo-publish-v3.doc (27136 bytes)
- [Fwd: Ontologies Containing FOL Axioms] Richard Fikes (03/05/02)
- Unitsandmeasures.ppt (43008 bytes)
- Time.ppt (126464 bytes)
- Frameexample.ppt (81920 bytes)
- Updated DQL Specification Richard Fikes (03/18/02)
- DQL_Summary_3-18-02.doc (77824 bytes)
- New DQL Specification Richard Fikes (05/24/02)
- DQL_Summary_5-24-02.doc (81920 bytes)
- New DQL Spec Richard Fikes (06/24/02)
- DQL_Summary_6-24-02.doc (93696 bytes)
- Re: telecon today? pat hayes (07/17/02)
- DQL_spec_version2.html (17234 bytes)
- Re: DQL Deborah McGuinness (08/20/02)
- DQL_Summary_6-24-02.doc (46592 bytes)
- new draft of "Description Rules: Combining Logic Programs with Description Logic" Benjamin Grosof (08/23/02)
- wp5-brief.pdf (190381 bytes)
- current version of Description Logic Programs paper and talk slides Benjamin Grosof (10/27/02)
- dlp-wp-v7-brief.pdf (98638 bytes)
- talk-DescriptionLogicPrograms-brief-10-02.pdf (135000 bytes)
- slides "Introduction to RuleML" for today's Joint Committee telecon Benjamin Grosof (10/29/02)
- talk-ruleml-jc-ovw-102902-main.pdf (156011 bytes)
- talk-ruleml-jc-ovw-102902-additional.pdf (170037 bytes)
- more slides on RuleML intro -- syntax examples and details -- for today's JC telecon Benjamin Grosof (10/29/02)
- talk-ruleml-jc-ovw-102902-examples_syntaxDetails.pdf (322869 bytes)
- Slides "RuleML Meets RDF" for today's Joint Committee telecon Boley, Harold (11/05/02)
- ruleml-rdf.ppt (297984 bytes)
- RE: Slides "RuleML Meets RDF" for today's Joint Committee telecon Boley, Harold (11/05/02)
- ruleml-rdf.pdf (9071538 bytes)
- ruleml-rdf.ppt (212992 bytes)
- Bubo - Implementing OWL in rule-based systems Stefan Decker (11/26/02)
- bubo.pdf (202068 bytes)
- RuleML abstract syntax and DTD documents for April 22 2003 JC telecon presentation Benjamin Grosof (04/22/03)
- ruleml-abstract-syntax-defn-excerpts-042203.txt (16002 bytes)
- ruleml-hornlog_ur_roli_queryelt-monolith.dtd.txt (4648 bytes)
- ruleml-sclp_queryelt-monolith-dtd.txt (16685 bytes)
- corrected version of RuleML abstract syntax and DTD documents for April 22 2003 JC telecon presentation Benjamin Grosof (04/24/03)
- ruleml-abstract-syntax-defn-excerpts-042303.txt (16558 bytes)
- comments please: Approaches to Negation in RuleML Benjamin Grosof (04/25/03)
- negation-approach-msg1-v12.txt (10091 bytes)
- spec-courteous-lp_queryelt-v08-monolith-v12.txt (14773 bytes)
- spec-normal-lp_queryelt-v08-monolith-v12.txt (10440 bytes)
- some suggestions on roadmap for Rules (inline'd and attached too) Benjamin Grosof (05/06/03)
- rules-roadmap-suggs-v1.txt (2941 bytes)
- RuleML's Horn logic program semantics: draft (inline'd and attached) Benjamin Grosof (05/09/03)
- semantics-of-horn-lp-v4.txt (13490 bytes)
- revised version: some suggestions on roadmap for Rules (inline'd and attached too) Benjamin Grosof (05/09/03)
- rules-roadmap-suggs-v2.txt (4704 bytes)
- RE: simple rule examples and RuleML Datalog impl [email protected] (05/13/03)
- simplerules.ruleml.xml (5590 bytes)
- my notes from today's 5/13/03 Joint Committee telecon -- please contribute edits Benjamin Grosof (05/13/03)
- notes-jc-051303.txt (5424 bytes)
- my notes from today's JC telecon (inline'd and attached) Benjamin Grosof (05/27/03)
- notes-jc-052703.txt (839 bytes)
- updated rules roadmap suggestions (inline'd and attached) -- this is now the 3rd version Benjamin Grosof (05/27/03)
- rules-roadmap-suggs-v3.txt (5593 bytes)
- DRAFT: List of Built-ins Said Tabet (05/28/03)
- RuleML_DAML_Rules_Builtins_DRAFT_1.txt (2684 bytes)
- my notes from today's JC telecon Benjamin Grosof (06/03/03)
- notes-jc-060303.txt (3084 bytes)
- notes from today's JC telecon about built-ins in rules language Benjamin Grosof (06/10/03)
- notes-jc-061003.txt (4126 bytes)
- my notes from today's JC telecon Benjamin Grosof (06/17/03)
- notes-jc-061703.txt (1896 bytes)
- notes from today's JC telecon on rules roadmap and explicit equality and semantics Benjamin Grosof (06/24/03)
- notes-jc-062403.txt (5406 bytes)
- my notes from today's JC telecon on rule test cases and integration with OWL Benjamin Grosof (07/01/03)
- notes-jc-070103.txt (2840 bytes)
- comments invited: draft of axiomatization of explicit equality for LP rules language Benjamin Grosof (07/01/03)
- axiomatization-1.txt (1922 bytes)
- daml rules document strawman v1 Benjamin Grosof (07/08/03)
- daml-rules-draft-v1.txt (31454 bytes)
- notes from today's JC telecon on DAML Rules strawman and plans Benjamin Grosof (07/08/03)
- notes-jc-telecon-070803.txt (5584 bytes)
- notes from today's JC telecon on requirements and basic approach to layering rules on top of OWL Benjamin Grosof (07/29/03)
- notes-jc-072903.txt (5117 bytes)
- notes by Benjamin from today's JC telecon on Rules Lite requirements, expressiveness, work items, action plans, schedule Benjamin Grosof (08/05/03)
- notes-jc-080503.txt (5564 bytes)
- notes from today's JC telecon: Rules Lite work items and expressiveness (inline'd and attached) Benjamin Grosof (08/12/03)
- notes-jc-081203.txt (3752 bytes)
- my notes from 8/19/03 JC telecon Benjamin Grosof (08/19/03)
- notes-jc-081903.txt (3381 bytes)
- my notes from today's JC telecon; agenda was on rules and news Benjamin Grosof (09/09/03)
- notes-jc-090903.txt (2763 bytes)
- my notes from today's JC telecon on Rules draft, DAML PI Mtg plans, OMG Benjamin Grosof (10/07/03)
- notes-jc-100703.txt (4637 bytes)
- revised draft of warning label section Benjamin Grosof (10/14/03)
- warning-label-shortened-v3-by-BGrosof.txt (12458 bytes)
- notes from 10/14/03 JC telecon on OWL Rules and prep for DAML PI Meeting Benjamin Grosof (10/14/03)
- notes-jc-101403.txt (2274 bytes)
- slightly revised "long" version of warning label section for OWL Rules draft Benjamin Grosof (10/16/03)
- warning-label-v4-posted-to-jc-by-BGrosof.txt (12471 bytes)
- short version of "warning label" section for OWL Rules document Benjamin Grosof (10/16/03)
- warning-label-very-short-v6.txt (2594 bytes)
- DAML PI Meeting JC Rules Update -- Discussion materials: slides and summary notes of discussion Benjamin Grosof (10/17/03)
- rules-warning_discussion-v3.pdf (123339 bytes)
- notes-rules-discussion-v1.txt (4708 bytes)
- rules document Peter F. Patel-Schneider (10/29/03)
- rules.tar (197632 bytes)
- notes from 11/11/03 JC telecon on Rules and preparing W3 Note Benjamin Grosof (11/12/03)
- notes-jc-111103.txt (4030 bytes)
- directions for SWRL Benjamin Grosof (12/02/03)
- rules-roadmap-suggs-v3.txt (5593 bytes)
- swrl-directions-v1.txt (1137 bytes)
- notes from today's JC telecon 12/2/03 Benjamin Grosof (12/02/03)
- notes-jc-120203.txt (2703 bytes)
- updated document with possible directions for SWRL Benjamin Grosof (12/02/03)
- swrl-directions-v2.txt (1225 bytes)
- notes from today's 12/09/03 JC telecon Benjamin Grosof (12/09/03)
- notes-jc-120903.txt (2339 bytes)
- my notes from today's JC telecon 1/3/04 Benjamin Grosof (01/13/04)
- notes-jc-011304.txt (4128 bytes)
- RE: Joint Committee telecon today 3 February Mike Dean (02/03/04)
- builtins.html (20513 bytes)
- notes from today's JC telecon Benjamin Grosof (02/03/04)
- notes-jc-020304.txt (2186 bytes)
- HI [email protected] (02/06/04)
- nbbeuwltn [email protected] (02/07/04)
- (no subject) [email protected] (02/08/04)
- HI [email protected] (02/10/04)
- notes from today's JC telecon 2/10/04 Benjamin Grosof (02/10/04)
- notes-jc-021004.txt (3656 bytes)
- Hello [email protected] (02/11/04)
- my notes from today 3/9/04 JC telecon Benjamin Grosof (03/09/04)
- notes-jc-030904.txt (4005 bytes)
- SWRL to CLIPS/JESS implementation experience Mike Dean (03/23/04)
- swrl2clips.xsl (2383 bytes)
- Fwd: CFP: Workshop on Principles and Practice of Semantic Web Reasoning - St Malo, France Benjamin Grosof (04/13/04)
- a5df64fd.jpg (633 bytes)
- a5df6507.jpg (633 bytes)
- notes from 6/1/04 JC telecon -- including ACTION plan for FOL Benjamin Grosof (06/03/04)
- notes-jc-060104.txt (3893 bytes)
- V0.1 strawman of FOL extension of SWRL Benjamin Grosof (06/04/04)
- spec-fol-supersuming-rulemlV08-by-BG_ST-v1.txt (28932 bytes)
- rather drafty draft of SCL 1.0 Pat Hayes (06/07/04)
- SCLJune2004.html (123330 bytes)
- SCL 1.0 try again Pat Hayes (06/07/04)
- SCLJune2004.html (123322 bytes)
- my notes from today's JC telecon 6/8/04 Benjamin Grosof (06/08/04)
- notes-jc-060804.txt (5069 bytes)
- current draft of SWSL Rules design doc Benjamin Grosof (07/27/04)
- language-v11-by-mk.txt (35812 bytes)
- overview slides on SWSL Rules Benjamin Grosof (07/27/04)
- SWSL-Rules-Overview-for-JointCommittee-072704-v1.pdf (14494 bytes)
- notes from today's 8/10/04 Joint Committee telecon on SWRL-FOL spec and workplans, and future of JC Benjamin Grosof (08/10/04)
- notes-081004.txt (2850 bytes)
- notes from (most of) today's 8/24/2004 Joint Committee telecon on FOL and SWSL and built-ins Benjamin Grosof (08/24/04)
- notes-jc-082404.txt (2856 bytes)
- notes from today's 9/14/04 JC telecon on FOL RuleML design and PPSWR04 report Benjamin Grosof (09/14/04)
- notes-jc-091404.txt (3955 bytes)
- notes from today's 10/12/04 JC telecon on SWRL-FOL and FOL-RuleML Benjamin Grosof (10/12/04)
- notes-jc-101204.txt (1809 bytes)
- markup tagnames for negation: consensus formulation and notes from RuleML SC telecon 10/28/04 Benjamin Grosof (10/28/04)
- notes-on-negation-ruleml-telecon-102804-v1.txt (3053 bytes)
- my notes from today's 11/16/04 JC telecon Benjamin Grosof (11/16/04)
- notes-jc-111604.txt (1171 bytes)
- SWRL (FOL) n-ary relations Mike Dean (12/07/04)
- swbpd-nary.swrlx (2946 bytes)
- RE: SWRL (FOL) n-ary relations Wagner, G.R. (12/07/04)
- EKAW-2004_LNCS_3257.pdf (322516 bytes)
- suggested edits on SWRL-FOL document (I think they're high-priority) Benjamin Grosof (12/21/04)
- edits-by-benj-122104-v1.txt (2022 bytes)
- f0Otage can ruin y0ur marriage Walker Marrero (03/05/05)
- caesar95.gif (13204 bytes)
- FwD: Your email was blocked [email protected] (05/02/05)
- error-mail_info.zip (53728 bytes)
- Your email was blocked [email protected] (05/03/05)
- error-mail_info.zip (53728 bytes)
- FwD: Re: [email protected] (05/04/05)
- our_secret.zip (53728 bytes)
- Your email was blocked [email protected] (05/05/05)
- mail_info.zip (53728 bytes)
Last message date: 01/30/06
Archived on: 01/30/06 EST
2639 messages sorted by:
[ author ]
[ date ]
[ thread ]
[ subject ]
Mail actions: [ mail a new topic ]
This archive was generated by hypermail 2.1.4
: 01/30/06 EST