1.
JTP: An Object Oriented Modular Reasoning System
Jan 22, 2008 ... JTP is an object-oriented modular reasoning system developed by Gleb Frank in .... JTP is being used in a variety of projects, including: ...
2.
Ontolingua Home Page
Jan 22, 2008 ... Projects. Click here for a list of KSL Ontology Server Projects. ... Problems or Information? Contact ontology-librarian@ksl.stanford.edu ...
3.
Ontolingua Home Page
Jan 22, 2008 ... Projects. Click here for a list of KSL Ontology Server Projects. ... Problems or Information? Contact ontology-librarian@ksl.stanford.edu ...
4.
User Interface Modelling with UML
File Format: PDF/Adobe Acrobat - View as HTML date for user interface (UI) modelling since it is the standard notation ... developers to design UIs. From the modelling problems we can identify some .... Using UML terminology this means that the actor
5.
$Id: daml+oil-ex.daml,v 1.4 2001/01/11 20:33:52 mdean Exp ...
... Male-child max and min not redefined (max-cardinality child Person 4) (min-cardinality child Person 1) (Subclass-Of Male Person) Test-Cardinality-3-11 ...
6.
RSBrowser (JTP API Documentation)
protected void, createAllVarsView(Proof rs). protected void, createNavigationMenu(). JMenuBar · getMenuBar() ... getMenuBar. public JMenuBar getMenuBar() ...
7.
DAML Project for Stanford Knowledge Systems, AI Laboratory
The first ontology generated for this homework assignment is the UNSPSC Product ... The original UNSPSC ontology format was imported into the Ontolingua ...
8.
Industrial Strength Ontology Management Tools
File Format: PDF/Adobe Acrobat - View as HTML Industrial strength solutions are needed and, in fact, critical for the success and longevity of these applications. We have presented two Vertical Net ...
9.
A Proof Markup Language for Semantic Web Services
File Format: PDF/Adobe Acrobat - View as HTML paper, we describe the Proof Markup Language (PML), an interlingua representation for justifications of results produced by Semantic Web ser- ...
10.
Feature Synopsis for OWL Lite and OWL
A list of current W3C Recommendations and other technical reports is available at http://www.w3.org/TR/. This document is a working document for the use by ...
