This is the homepage of DAMLJessKB. DAMLJessKB is a description
logic reasoner for the DARPA Agent Markup Language. The
semantics of the language is implemented using Jess, the Java Expert
System Shell. DAMLJessKB is slowly being migrated
to the W3C Ontology Web Language (OWL) as
OWLJessKB. There are
no plans to build OWL support into OWLJessKB and no plans to build
DAML support into DAMLJessKB.

This page is the current location of DAMLJessKB. Older material
is still available online:

The rewrite was triggered by a desire to use a better RDF parser, namely ARP.
This enabled faster parsing and support of the
rdf:parseType="daml:collection" syntax element. The recent versions of
DAMLJessKB contain significantly more functionality than the previous
versions, including a wide range of subsumption and classification
inferences.

Functionality
Roughly speaking,
DAMLJessKB currently supports subsumption and classification for the
description logic ALEN (conjunction, disjunction, value restriction,
full existential quantification, and number restrictions).
It also
provides some additional support for other elements of DAML, e.g.
forward chaining of transitive
properties as well as subsumption of and classification on datatypes
defined using XML Schema Part 2: Datatypes.
This constitutes support for the bulk of the DARPA Agent Markup Language.

Download
The following downloads are available (in reverse
chronological order). Archives are jar files. DAMLJessKB should work
from inside the jar or can be extracted to retrieve source code.

You will also need to download a few libraries upon which
DAMLJessKB is dependent; they're listed in the following section.

Dependencies
As noted above, DAMLJessKB uses both the Jena and Jess libraries. Both are
required in order to use DAMLJessKB. We do not currently package these libraries
with the DAMLJessKB distribution in order to avoid licensing and installation
issues. Both may be acquired from the following links:Jena - HP Lab's Semantic Web tools, including ARP and Jena.Jess - Java expert system shell; supported by Sandia National Laboratories

Links
At some point I might try and collect links to projects using
DJKB. For now, these are some links to significant tool-oriented DJKB
related development:daml4jess - A rewrite of DJKB to add in a bunch of new features and remove some. Some of these ideas and improvements may make their way into OJKB.

Documentation
Javadocs for DAMLJessKB are available here. A detailed article about DAMLJessKB
including simple example applications is available here [ pdf ]. A short article on
DAMLJessKB was recently published in IEEE Intelligent Systems. This
should be used as the current reference for DAMLJessKB. The
bibliography is as follows:

Licensing
All materials developed under this project are released under the
GNU General Public License (GPL). A local copy of the full text of
this license may be found here [txt].
An HTML version with links to additional resources can be found
at the official GNU GPL site here
[html].

Acknowledgements
This work was supported in part by National Science Foundation (NSF),
Knowledge and Distributed Intelligence in the Information Age (KDI)
Initiative Grant CISE/IIS-9873005, CAREER Award CISE/IRIS-9733545 and
ONR Grant N00014-01-1-0618.
Further work on this project was supported
by the National Institute of Standards and Technology under the
Summer Undergraduate Research Fellowship program.

Any opinions, findings, and conclusions or recommendations expressed
in this material are those of the author(s) and do not necessarily
reflect the views of the National Science Foundation,
National Institute of Standards and Technology, or the other
supporting government and corporate organizations.