The Logic of ILOG ( J ) Configurator : Combining Constraint Programming with a Description Logic

@inproceedings{Junker2003TheLO,
  title={The Logic of ILOG ( J ) Configurator : Combining Constraint Programming with a Description Logic},
  author={Ulrich Junker and Daniel Mailharro},
  year={2003}
}
This paper describes the logic of ILOG (J)Configurator, a powerful configuration system combining constraint programming with a description logic. This combination is based on two key ideas: 1. Constraints are embedded into a logical language and can thus be applied to logical terms formed with the vocabulary of the description logic. 2. When solving the problem, the constructs of description logic are translated into constraints that do the classification while interacting with the other… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-10 of 23 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 15 references

AI-EDAM (Artificial Intelligence for Engineering

  • Markus Stumptner, Gerhard E. Friedrich, Alois Haselböck. Generative constraintbased configuratio systems
  • Design, Analysis and Manufacturing), 12(4):307…
  • 1998
1 Excerpt

AI-EDAM: Special Issue on Configuration

  • Daniel Mailharro. A classification, constraint based framework for configuration
  • 12(4),
  • 1998
2 Excerpts

Generative constraintbased configuration of large technical systems

  • Markus Stumptner, Gerhard E. Friedrich
  • AI - EDAM ( Artificial Intelligence for…
  • 1998

58(1-3):3–20

  • A. K. Mackworth. The logic of constraint satisfaction Intelligence
  • December
  • 1992
1 Excerpt

Similar Papers

Loading similar papers…