Towards computer vision with description logics: Some recent progress

Proceedings - Integration of Speech and Image Understanding, ISIU 1999

Volumn , Issue , 1999, Pages 101-115

  Moller, R ^a   Neumann, B ^a   Wessel, M ^a  

^a UNIVERSITY OF HAMBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85054345592     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISIU.1999.824868     Document Type: Conference Paper

References (12)

1. F. Baader and P. Hanschke. A scheme for integrating concrete domains into concept languages. In Twelfth International Conference on Artificial Intelligence, Darling Harbour, Sydney, Australia, Aug. 24-30, 1991, pages 452-457, August 1991.
2. F. Baader and B. Hollunder. Embedding defaults into terminological representation systems. J. Automated Reasoning, 14: 149-180, 1995.
3. F. Baader and B. Hollunder. Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic. J. Automated Reasoning, 15: 41-68, 1995.
4. R. J. Brachman and J. G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, pages 171-216, August 1985.
5. V. Haarslev, C. Lutz, and R. Möller. Foundations of spatioterminological reasoning with description logics. In T. Cohn, L. Schubert, and S. Shapiro, editors, Proceedings of Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, 1998, pages 112-123, June 1998.
6. V. Haarslev, C. Lutz, and R. Möller. A description logic with concrete domains and a role-forming predicate operator. J. of Logic and Computation, 9 (3): 351-384, 1999.
7. D. Koller, A. Levy, and A. Pfeffer. P-Classic: A tractable probabilistic description logic. In Proc. of AAAI 97, pages 390-397, Providence, Rhode Island, 1997.
8. C. Lutz and R. Möller. Defined topological relations in description logics. In M.-C. Rousset et al., editor, Proceedings of the International Workshop on Description Logics, DL'97, Sep. 27-29, 1997, Gif sur Yvette, France, pages 15-19. Universite Paris-Sud, Paris, September 1997.
9. R. Möller and M. Wessel. Terminological default reasoning about spatial information: A first step. In D. M. Mark C. Freksa, editor, Proc. International Conference on Spatial Information Theory, COSIT '99, Stade, Germany, pages 189-204. Springer-Verlag, 1999.
10. B. Neumann and C. Schröder. How useful is formal knowledge representation for image interpretation. In E. Guelch K. Torleg, editor, Photogrammetric Reports Nr. 63, Proceedings of the Joint Workshop of ISPRS WG III/2 and IC WG II/III, August 30-September 1, Stockholm, Sweden, Royal Institute of Technology, Stockholm, 1995.
11. C. Schröder. Bildinterpretation durch Modellkonstruktion: Eine Theorie zur rechnergestützten Analyse von Bildern. Infix-Verlag, 1998.
12. A.-Y. Turhan. Design and implementation of description logic provers for ALC (D) and ALCRP (D) (in German), October 1998. Bachelor Thesis (Studienarbeit), University of Hamburg, Computer Science Department.