Ontology for Constraint Satisfaction Problem

• Mail folder: Ontolingua Mail
• Next message: James Rice: "RE: Ontology for Constraint Satisfaction Problem"
• Previous message: Luc YRIARTE: "1-bug 2-translator"
• Reply: James Rice: "RE: Ontology for Constraint Satisfaction Problem"

From: HeeCheol Jeon <jhc@cdr.stanford.edu>
Message-id: <199503061650.IAA03645@finch.Stanford.EDU>
Subject: Ontology for Constraint Satisfaction Problem
To: ontolingua@HPP.stanford.edu
Date: Mon, 6 Mar 1995 08:50:54 -0800 (PST)
X-Mailer: ELM [version 2.4 PL24]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 688       

Hi

  I am a student in Mechanical Engineering. 

  I want to build ontology for Constraint Satisfaction Problem(CSP) for 
  collaborative design.

  Constraint Ontology in Ontolingua(parametric-constraint) is not just fit 
  my purpose because the parametric-constraint is based on objects, not
  on the problem solving. I made more classes,functions,relations for
  my purpose based on parametric-constraint but I want to check whether
  there is ongoing work for CSP or ontology other than parametric-constraint.

  Also I do not believe my work is complete, there must be numerous errors.
  How can I check them out? Are there any debugging tools?

Thank you.

Heecheol Jeon
03/06/95