@prefix dc: . @prefix : . @prefix psum: . <> dc:source [ = dc:title "2001 Project Summary Semantic Web Development MIT"; _:copiedTo ]. @prefix u: . @prefix ont: . @prefix log: . @prefix arch: . @prefix rm: . #@@ 2001/04/roadmap/vocab doesn't exist! @prefix sc: . # Approach section includes... :OpManip dc:description """structured information manipulations required to maintain the ongoing activities of an organization such as the W3C""". :ACL u:label "access control"; a :OpManip. :collabDev u:label "collaborative development"; a :OpManip. :mtgMgmt u:label "meeting management"; a :OpManip. :FY1 u:label "Recent FY-2001 Accomplishment". :daml_oil a :FY1, rm:external; dc:description """The development of the DAML+OIL language involves effort from many groups including this project. We contributed to the successful release of two public drafts (December 2000 and March 2001) of that language specification."""; u:label "DAML+OIL". :cwm-rules a :FY1; dc:description """Common tools have advanced: Cwm, a general semantic web tool, is available in source form. Cwm is a simple forward reasoner and reformatter with rules and query. The latest version of cwm allows queries to be resolved by going out onto the web and accessing new data. This allows rules to discuss what information is supported by which source. This is important for expressing most real world constraints in military or commercial setting. Cwm's native language, N3, is a prototype extension of DAML to handle rules and query."""; rm:prototypes arch:rules, arch:rdfquery, arch:rules, :infoSource. arch:rules u:label "Rules"; a rm:subgoal. arch:rdfquery u:label "RDF Query"; a rm:subgoal. :infoSource u:label "info source"; a rm:subgoal. :cwm-samples a :FY1; dc:description """We have samples and demonstrations of the use of cwm for analysis and generation of project roadmap diagrams and organizational diagrams, calendar and event information management."""; u:label "cwm samples"; rm:needs :roadmap, :poolGame. :poolGame rm:prototypes sc:schedTrack. :annoMarch01 a :FY1; dc:description """A preliminary version of Annotea was released in November. Annotea was re-released in March with a publicly accessible shared annotation service for test purposes. The March release also included a preliminary read-mode plug-in for the Mozilla browser. A July release of Amaya incorporates early Annotea work on adding a discussion threading capability to shared annotations."""; u:label "Annotea March '01"; rm:needs :annoUI, :annotest, :annozilla. :FY2 u:label "FY-2002 Plan". :remoteQuery a :FY2; dc:description """We plan to extend the cwm tool to delegate certain forms of query to remote systems, hopefully using DAML-Services and XML/Protocols."""; u:label "remote query"; rm:needs :cwm-rules; # alternatives? blindfold? rm:prototypes :DAML-S, sc:rdfXMLP. :DAML-S u:label "DAML-Services"; a rm:external; rm:needs :daml_oil. :wotTools a :FY2; dc:description """By the end of 2002 we would like to have tools which integrate digital signature verification with a reasoner, as a basis for a web of trust. We would like such tools to be instrumented to output and to check simple proofs of the results they have gathered."""; rm:needs :proofRuleEngine, :pfChecker; rm:prototypes arch:trust. arch:trust u:label "Trust"; a rm:subgoal; rm:needs arch:proof, arch:rules, arch:security. arch:security u:label "Security"; a rm:subgoal; rm:needs arch:sig. arch:sig u:label "Signature". #@@XML Signature? :blindfold-xml a :FY2; dc:description """ In addition to cwm, we plan to make more parsing software for alternative representations of DAML.""". :anno-d2002 a :FY2; dc:description """We expect to release a full version of discussion threading support in Annotea and add shared bookmark facilities."""; u:label "Annotea D2"; rm:needs :anno-thread, :sharedBookmarks. :sharedBookmarks u:label "shared bookmark facilities". :anno-thread u:label "thread support". :dynamicAnnotations a :FY2; dc:description """The current Amaya implementation of Annotea does not take full advantage of RDF schemas in the Web to display new property types. We expect to greatly enhance Amaya's use of RDF schemas and subsequently DAML ontologies."""; rm:needs :annoDPO. :w3c-acl-w-pf a :FY2; dc:description """Also during FY2002 we expect to further develop RDF-based rule languages. We expect to test the rules language by implementing a Web server on the W3C site that does access control using proofs expressed in this rule language."""; sc:tests :pfCheckingHTTPServer; rm:prototypes arch:proof. :w3c-acl-w-pf u:label "W3C ACL w/proof"; #@@ rm:needs sc:w3c-acl; sc:tests :pfCheckingHTTPServer. :proofRuleEngine u:label "proof rule engine"; a rm:program; rm:needs :cwm-rules; rm:prototypes arch:proof. arch:proof u:label "Proof"; a rm:subgoal. :ruleModel u:label "rule model". :pfChecker u:label "Proof Checker"; a rm:program; rm:needs arch:sig; rm:prototypes arch:proof, arch:rules. :dsigInt u:label "cwm DSIG module"; a rm:program; rm:prototypes arch:sig. :wotTools u:label "trust tools". :pfGenClient u:label """Proof Generating Client"""; a rm:program; u:comment """An appendage to (internal or external) a web browser which uses a proof proof rule engine to generate a proof and then communicates it by some protocol TBD to the pfCheckingServer to set up authorizes access"""; rm:needs :proofRuleEngine. :pfCheckingHTTPServer u:label "pf checking server"; a rm:program; rm:needs :pfChecker. :cwm-rules u:label "cwm rules engine"; sc:demo ; a rm:program; rm:prototypes arch:rules. #@@ rm:needs :KIFSink, # or at least: contains, if not needs # :list1, :concat :poolGame u:label "scheduling a pool game"; a sc:Scenario, rm:done; rm:needs :cycCalendarOnt, :cycTravelOnt; #daml:imports?? sc:tests :cwm-rules; sc:demo . :cycCalendarOnt u:label "calendar Ont"; a rm:external. :cycTravelOnt u:label "travel On"; a rm:external. :anno-d2002 u:label "Annotea D2". :anno-thread rm:needs :annoUI. :sharedBookmarks rm:needs :annoUI. # import dependencies etc. from our DAML summary... { :says [ log:includes { :s :p :o } ] } log:implies { :s :p :o }. :DAMLFY2 u:label "DAML FY2"; a rm:subgoal; sc:due "2002-08". :FY2 u:subClassOf [ ont:onProperty [ is ont:inverseOf of rm:needs]; ont:hasValue :DAMLFY2 ]. :DAMLFY1 u:label "DAML FY1"; a rm:subgoal, rm:done; sc:due "2001-08". :FY1 u:subClassOf rm:done, [ ont:onProperty [ is ont:inverseOf of rm:needs]; ont:hasValue :DAMLFY1 ]. :dynamicAnnotations u:label "dynamic annotations"; rm:needs :schemabasedicons. :schemabasedicons u:label "schema-based icons"; a rm:program; rm:needs :annoDPO, :annoUI. :annoDPO u:label "DAML+OIL in annotea"; u:comment """getting daml+oil into annotea. written in C. ralph plans to do it. code reviewers/pairs: Art and/or Jose. promised to DARPA in july milestone diagram"""; rm:prototypes :daml_oil. :annoUI u:label "annotation UI"; a :AnnoteaClient; a rm:done; sc:demo . :annozilla u:label "Annotea on Mozilla"; a rm:external, :AnnoteaClient. :anno-js u:label "Annotating via javascript "; a :AnnoteaClient; sc:demo . :annotest u:label "annotest"; a :AnnoteaService; a rm:done; sc:demo . :blindfold-xml u:label "blindfold/xml"; a rm:program; #@@ rm:needs :blindfold-diff . #@@{ :s is g:hasNode of []; # log:resolvesTo [ log:includes { :s u:label :o } ] } # log:implies { :s u:label :o }. :roadmap a rm:done; u:label "W3C Roadmap"; a :CirclesAndArrowsDiagram; rm:needs :listOfWGs; sc:demo ; u:comment "hmm... update this for the 2001-11 AC meeting?". :listOfWGs u:label "W3C WGs in RDF"; a rm:done; sc:demo ; u:seeAlso . :circlesAndArrowsTools u:label "diagram tools"; a rm:done; #hmm... there are a few satisfied users... have I released it to the IG? rm:needs #@@ :graphViz, :cwm-rules; sc:demo [ = ; dc:title "Circles and arrows diagrams using stylesheet rules"]. :CirclesAndArrowsDiagram u:subClassOf [ ont:onProperty sc:tests; ont:hasValue :circlesAndArrowsTools]. # graphing stuff... not sure it belongs... @prefix g: . @prefix howwhy: . <> g:digraph :theGraph. :theGraph g:rankdir "TB"; g:label "$Revision: 1.4 $\\n$Date: 2001/11/15 21:46:30 $"; g:hasNode :DAMLFY2; g:subgraph howwhy:key.