A Dynamic Description Logic for Representation and Reasoning About Actions

@inproceedings{Chang2007ADD,
  title={A Dynamic Description Logic for Representation and Reasoning About Actions},
  author={Liang Chang and Fen Lin and Zhongzhi Shi},
  booktitle={KSEM},
  year={2007}
}
We present a dynamic description logic for representation and reasoning about actions, with an approach that embrace actions into the description logic ALCO@. With this logic, description logic concepts can be used for describing the state of the world, and the preconditions and effects of atomic actions; Complex actions can be modeled with the help of standard action operators, such as the test, sequence, choice, and iteration operators; And both atomic actions and complex actions can be used… CONTINUE READING
Highly Cited
This paper has 27 citations. REVIEW CITATIONS

Citations

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

References

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

Int . Workshop on Description Logics

  • D. Calvanese, G. De Giacomo, +7 authors S. Tessaris
  • CEUR - WS
  • 2007

Similar Papers

Loading similar papers…