SWSA Committee:
Research Resources

WSMO Status Briefing to SWSA, May 4, 2004

Required Reading

• D. Fensel, C. Bussler: The Web Service Modeling Framework (WSMF)
  White paper.
• Web Services Activity
  A general page for Web services at W3C.
• The WS Activity's Web Services Architecture WG home page and resource links.
  See current working drafts and usage scenarios, in particular.
• DAML Services (DAML-S)
  Ontologies, Examples, Papers on DAML-S.
• Web Ontology Language (OWL) Guide Version 1.0
  The outcome of the DAML + OIL joint effort. Now heading for W3C standardization.
• Web Service Choreography Interface (WSCI)
  A W3C attempt to define a workflow specification language for Web services. Notably, IBM and Microsoft are absent.
• Business Process Execution Language for Web Services
  Process specification model from from IBM, Microsoft, BEA.

WSDL, SOAP, etc.

• Web Services Description Language (WSDL) 1.1
  An industry standard for specifying invocation signatures for Web services.
• Simple Object Access Protocol (SOAP) 1.1
  Think of it as RPC over the Web.
• XML Protocol Working Group
  A W3C effort to improve and standardize SOAP.

Semantic Web: General

• SemanticWeb.org
  Wealth of information of everything Semantic and Web.
• W3C Semantic Web Activity
  Similar activities under the W3C wing.
• Ontoknoledge.org
  European semantic Web activities.
• KAON
  Ontology management infrastructure targeted for business applications. Includes a comprehensive tool suite allowing easy ontology creation and management, as well as building ontology-based applications.
  Open source. Karlsruhe University.
• Prot�g� Project Home Page
  An ontology editor and a knowledge-base editor. Provides an extensible architecture for the creation of customized knowledge-based tools.
  Open source. Stanford.
• The Semantic Web: An Introduction (recommended by Michael K).
  A nice intro to the Semantic Web.
• The Semantic Web: 1-2-3 (recommended by Michael K).
  Another nice intro.

Inferencing for the Semantic Web

• Inferencing for the Semantic Web
  Some links related to rule-based reasoning for the Semantic Web.
• RuleML
  An effort to XML-ize rules. Tries to cover different kinds of rules, from Datalog, to Prolog, to triggers, to production rules, to object-oriented style rules (like F-logic).
• DAML Rules
  Similar to RuleML, but under DARPA auspices.
• Jess
  A popular Java based rule engine. It is production rule based, not Prolog based.
• XSB
  A very efficient Prolog-like language, which also supports "tabling". This makes it much more declarative, as the notorious dependence of rule ordering and predicate ordering is no longer a killer. Widely used for experimentation with Semantic Web.
  Open source. Stony Brook University.

• SWSL Committee Home Page
• SWSA Committee Home Page