Part-Whole Reasoning in an Object-Centered Framework

• Κύριος συγγραφέας: Lambrix, Patrick (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Έκδοση: 1st ed. 2000.
• Σειρά: Lecture Notes in Artificial Intelligence ; 1771
• Θέματα: Computer programming.; Artificial intelligence.; Mathematical logic.; Software engineering.; Programming Techniques.; Artificial Intelligence.; Mathematical Logic and Formal Languages.; Software Engineering.

 In this book, the author develops an object-centered framework with specialized support of the part-of relation based on description logics. These logics are a family of object-centered knowledge representation languages tailored for describing knowledge about concepts and is-a hierarchies of these concepts. In addition to the representation and reasoning facilities provided by description logics for is-a, representation and reasoning facilities are introduced for part-of. Finally, the feasibility and the usefulness of the approach is demonstrated by applying the framework to various areas including domain modeling, agent-oriented scenarios, document management and retrieval, and composite concept learning. 

 Background -- Description Logics -- Composite Objects -- Part-of in Description Logics -- Theory -- A Framework for Part-of Reasoning in Description Logics -- Extending the Framework -- Comparison of the Framework with Other Approaches -- Application Areas -- Domain Modeling in an Agent-Oriented Application -- Document Management -- Learning Composite Concepts -- Application -- Document Search Using Content, Structure and Properties -- Conclusion -- Conclusion.