The Semantic Web Services Language (SWSL) is used to specify formal characterizations of Web service concepts and descriptions of individual services. More specifically, SWSL is a general-purpose logical language, with certain features to make it usable with the basic languages and infrastructure of the Web. These features include URIs, integration of XML built-in types, and XML-compatible namespace and import mechanisms. (Contacts, Deborah L. McGuinness, Sheila McIlraith).

OWL-S supplies Web service providers with a core set of markup language constructs for describing the properties and capabilities of their Web services in unambiguous, computer-intepretable form. OWL-S markup of Web services will facilitate the automation of Web service tasks including automated Web service discovery, execution, interoperation, composition and execution monitoring. Following the layered approach to markup language development, the current version of OWL-S builds on top of OWL. (Contacts, Deborah L. McGuinness, Sheila McIlraith).

The TAP project is building a Semantic Web of data by providing query interfaces, publishing models, semantic negotiation techniques, and a large amount of software for publishing and querying the machine-readble web. Special emphasis is placed on utilization of existing Internet data sources, and on defining the minimal constraints that must be placed upon the data to ensure many-to-many connectivity and interoperability.

Inference Web
Inference Web is a framework for explaining Semantic Web reasoning tasks by storing, exchanging, abstracting, combining, annotating, comparing and rendering proofs and proof fragments provided by reasoners embedded in Semantic Web applications and facilities.

JTP Theorem Prover.
JTP is a java implementation of a model elimination theorem prover for full first order logic as well as context logic. This is a small, but fairly efficient theorem prover based on Stickel's PTTP (prolog technology theorem prover) method. It is easy to extend and easy to embed in a larger application.

Ontolingua Server
Provides a distributed collaborative environment to browse, create, edit, modify, and use ontologies. The server supports over 150 active users, some of whom have provided us with descriptions of their projects.

Chimaera helps you reorganize the taxonomy and resolve name conflicts in a KB - especially useful when merging KBs, but also useful as an ontology browser and ontological sketchpad.

Open Knowledge Base Connectivity (OKBC)
OKBC is an API and reference implementation that allows representation system, platform and language-independent knowledge-level communication. OKBC was developed jointly by the KSL and the AI center at SRI int., to allow knowledge application authors to write representation system-independent tools, and to allow knowledge authors to publish their knowledge.

home | people | software and network services | projects | contact | technical reports | links

Copyright ©2005 Stanford University
All Rights Reserved.

Last modified: Saturday, 02-Jul-2005 20:39:13 PDT