Part-Whole Reasoning in an Object-Centered Framework [electronic resource] /
Lambrix, Patrick.author.
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.
Bibliographic Level Mode of Issuance: Monograph
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.
Computer programming.
Artificial intelligence.
Mathematical logic.
Software engineering.
Programming Techniques.
Artificial Intelligence.
Mathematical Logic and Formal Languages.
Software Engineering.