Loading...
Please wait, while we are loading the content...
Similar Documents
M.: Towards computer vision with description logics: Some recent progress
| Content Provider | CiteSeerX |
|---|---|
| Author | Möller, Ralf Neumann, Bernd Wessel, Michael |
| Description | A description logic (DL) is a knowledge representation formalism which may provide interesting inference services for diverse application areas. This paper first gives an overview of the benefits which a DL may provide for Computer Vision. The main body of the paper presents recent work at Hamburg University on extending DLs to handle spatial reasoning and default reasoning. 1: Why is Description Logic Interesting for Computer Vision? This contribution discusses the merits of description logics (DLs) for Computer Vision (CV) and reports about some recent work on DL extensions at Hamburg University. Our goal is to make DLs more useful for diverse applications, in particular those involving concrete real-life phenomena which play a part in diagnosis, configuration and – last not least – in CV. This work extends results previously published in [9]. DL is the family name of object-based knowledge-representation formalisms in the spirit of KL-ONE which have been introduced 20 years ago [4] with the main purpose of providing formal semantics for semantic nets, thus providing the logical foundations for knowledge-based inferences. A particular DL typically realizes a particular subset of First Order Predicate Logic (FOPL). Much |
| File Format | |
| Language | English |
| Publisher Institution | In: in Proc. Workshop on Integration of Speech and Image Understanding, Corfu |
| Access Restriction | Open |
| Subject Keyword | Recent Progress Main Body Concrete Real-life Phenomenon Knowledge-based Inference Semantic Net Logical Foundation Spatial Reasoning Hamburg University Description Logic Formal Semantics Family Name Main Purpose Recent Work Knowledge Representation Formalism Particular Dl Diverse Application Area Inference Service First Order Predicate Logic Towards Computer Vision Dl Extension Particular Subset Default Reasoning Object-based Knowledge-representation Formalism Description Logic Interesting Diverse Application Computer Vision |
| Content Type | Text |
| Resource Type | Article |
