Back to Software DAMLJessKB

       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:

   DAMLJessKB (2001) - Previous version of DAMLJessKB, developed Summer 2001.
   DAMLJessKB (2001) Servlet - Servlet demonstrating the older DAMLJessKB library.

    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.

   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.

   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.

   Mon Jun 9 17:49:31 EDT 2003 --- damljesskb20030609.jar
   Thu Nov 7 00:53:14 EST 2002 --- damljesskb20021107.jar
   Wed Oct 9 17:48:11 EDT 2002 --- damljesskb20021009.jar
   Tue Sep 3 11:55:07 EDT 2002 --- damljesskb20020903.jar

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

   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

   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.

Mailing List
   A mailing list for users and developers of DAMLJessKB has recently been created. More information and subscription instructions are available at

   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:
     title   = {{DAMLJessKB}: A Tool for Reasoning with the Semantic Web},
     author  = {Joseph Kopena and William Regli},
     journal = {IEEE Intelligent Systems},
     pages   = {74-77},
     year    = {2003},
     month   = {May/June},
     volume  = {18},
     number  = {3}
    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].

GICL 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. - Joe Kopena updated://monday/10-27-03?21.43.10