Part-Whole Reasoning in an Object-Centered Framework
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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
2 Description Logics
3 Composite Objects
4 Partof in Description Logics
5 A Framework for Partof Reasoning in Description Logics
6 Extending the Framework
7 Comparison of the Framework with Other Approaches
8 Domain Modeling in an AgentOriented Application
9 Document Management
Other editions - View all
Abox aggregate algorithm allows allp application approach atleastp atmostp m1 background knowledge chapter CLASSIC completion composes composite individuals composite objects compositional extension compositional inclusion hierarchy compositionally included Concept definitions concept description concept-descr constraints constructs contains defined Deﬁnition delivery describe description logic system different kinds direct dMARS domain example extended description logic fillers folder framework hierarchy for individuals implementation individual belonging individual-name information retrieval instance instantiate introduce is-a item-number kinds of part-whole knowledge base T,A knowledge representation logic for composite logical structure Mereology module-fills modules n-part nephron notion occur offspring ontologies order-constraint pallet pallet-p parcel parcel-card part-attribute paths part-fills part-name part-name-name part-of hierarchy part-of relation part-whole relations particular possible pp-constraint project-name propagation properties query language represent respect role-name roles same-filler section-p semantics set of individuals speciﬁc standard-family strict partial order subsumes Tbox terminological tion transitive transitive closure transitive relation types