03671nam 22006615 450 991014363710332120200702172718.03-540-46440-910.1007/3-540-46440-9(CKB)1000000000211215(SSID)ssj0000325567(PQKBManifestationID)11254412(PQKBTitleCode)TC0000325567(PQKBWorkID)10324296(PQKB)10100557(DE-He213)978-3-540-46440-2(MiAaPQ)EBC3072964(PPN)155189972(EXLCZ)99100000000021121520121227d2000 u| 0engurnn|008mamaatxtccrPart-Whole Reasoning in an Object-Centered Framework /by Patrick Lambrix1st ed. 2000.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2000.1 online resource (XII, 183 p.) Lecture Notes in Artificial Intelligence ;1771Bibliographic Level Mode of Issuance: Monograph3-540-67225-7 Includes bibliographical references.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.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.Lecture Notes in Artificial Intelligence ;1771Computer programmingArtificial intelligenceMathematical logicSoftware engineeringProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Computer programming.Artificial intelligence.Mathematical logic.Software engineering.Programming Techniques.Artificial Intelligence.Mathematical Logic and Formal Languages.Software Engineering.006.3/32Lambrix Patrickauthttp://id.loc.gov/vocabulary/relators/aut753907BOOK9910143637103321Part-whole reasoning in an object-centered framework1516749UNINA