Constructive Description Logics : what , why and how

@inproceedings{Paiva2006ConstructiveDL,
  title={Constructive Description Logics : what , why and how},
  author={Valeria de Paiva},
  year={2006}
}
This note discusses possible conceptions of constructive description logics. We discuss why different communities should be interested in constructive description logics, why so little work has been done on this before and why we think it is important. Our goal is a system of constructive contexteddescription logic, whose contexts are inspired by Guha-McCarthy’s ideas along the lines of the system described in [BCC+05]. In this note we only lay down the fundamentals of constructive description… CONTINUE READING
Highly Cited
This paper has 26 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

References

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

Many - Dimensional Modal Logics : Theory and Applications

  • D. Gabbay, A. Kurucz, F. Wolter, M. Zakharyaschev
  • Studies in Logic and the Foundations of…
  • 2003

Categor - ical and Kripke Semantics for Constructive Modal Logics

  • M. Mendler N. Alechina, V. de Paiva, E. Ritter
  • Computer Science Logic ( CSL ’ 01 ) , Paris…
  • 2001

vol

  • J. van Benthem. Modal Logic in Two Gestalts. In Modal Logic
  • II, eds. M. de Rijke, H. Wansing and M…
  • 1998
2 Excerpts

Contexts: A Formalization and Some applications

  • R. Guha
  • Ph.D Thesis, Stanford University,
  • 1995

Similar Papers

Loading similar papers…