SWSL Committee:
Research Resources
Requirements
Choreography Standardization
Discovery Standardization
Ontology Standardization
-
Web Ontology Language (OWL) Guide Version 1.0
The outcome of the DAML + OIL joint effort. Now heading for W3C
standardization.
- RDF
A base-level language for specifying semantic information. Somewhat ad
hoc and one cannot do much with it. However, it has been
standardized by W3C and other efforts (such as OWL) try to reuse as much of
RDF as possible.
WSDL, SOAP, etc.
Process Modeling Formalisms
-
Ontoweb Process Content
Standards for the Semantic Web
(recommended by Austin)
Includes OntoWeb deliverable 3.1, which provides a state-of-the-art report
produced in November 2001. Also available are short descriptions of
relevant contributory standards written by those involved in their creation
and relevant web links for further information.
- NIST Process Specification Language
(PSL)
(recommended by Austin)
A standardized framework for general process representation.
- Issues - Activities
(Nodes) - Constraints - Annotations (I-N-C-A)
(recommended by Austin)
Representation of processes (and other synthesized artifacts). A simple
abstraction to underpin any process representation and which can be built
upon to meet all requirements. Rated as providing "best coverage" of the
requirements when NIST PSL was being studied. This might be suitable as
the underlying process model of SWSL and to allow for future
flexibility.
-
Concurrent Transaction Logic (CTR)
(recommended by Michael K)
A logic for representing, reasoning about, and executing concurrent
processes. Has been successfully applied in modeling and reasoning about
workflows, planning, robotics, etc.
-
Transaction Logic
(recommended by Michael K)
A non-concurrent version of the above. This paper has many more examples
and explanations, and is generally a better starting point for
understanting CTR.
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.
Logics for Modeling Ontologies
-
Description Logics
(recommended by Michael K)
Enrico Franconi's course on description logics. Has wealth of links.
-
F-logic
(recommended by Michael K).
An object-oriented logic for describing ontologies. Integrates rules,
objects, etc. Widely used to describe ontologies and other semantic info.
Ontoprise GmbH
bases its OntoBroker product on their proprietary F-logic engine.
The above JACM 1995 paper is 100pp long.
A faster way to jump in are these tutorials:
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.
-
F-logic
based systems and languages.
-
FLORA-2
An F-logic based system that also supports
HiLog and much of Transaction Logic (albeit not
Concurrent Transaction Logic).
Still in development, but already very usable.
Open source. Stony Brook University.
-
TRIPLE
Inspired by F-logic. Targets integration of information area.
Still in development.
Open source. Stanford and ISI.
-
XPathLog
A successor to FLORID, which was one of the early implementations of
F-logic. XPathLog can be characterized as "F-logic for XML documents."
Integrates XPath into the framework.
Free, but does not seem to be open source.
Freiburg University.