 SWSL- 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
- 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).
- TAP
- 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
- 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.
|
