By Patrick Lambrix
In this publication, the writer develops an object-centered framework with really good help of the part-of relation in response to description logics. those logics are a relations of object-centered wisdom illustration languages adapted for describing wisdom approximately strategies and is-a hierarchies of those options. as well as the illustration and reasoning amenities supplied through description logics for is-a, illustration and reasoning amenities are brought for part-of. eventually, the feasibility and the usefulness of the process is tested via utilising the framework to numerous parts together with area modeling, agent-oriented eventualities, rfile administration and retrieval, and composite thought learning.
Read or Download Part-Whole Reasoning in an Object-Centered Framework PDF
Similar information theory books
Krippendorff introduces social scientists to details idea and explains its software for structural modeling. He discusses key issues comparable to: the way to be certain a knowledge concept version; its use in exploratory learn; and the way it compares with different techniques corresponding to community research, course research, chi sq. and research of variance.
The on-demand financial system is reversing the rights and protections employees fought for hundreds of years to win. traditional net clients, in the meantime, maintain little keep watch over over their own facts. whereas promising to be the good equalizers, on-line systems have frequently exacerbated social inequalities. Can the web be owned and ruled otherwise?
- Geometries, Codes and Cryptography
- Algorithms and Complexity (Internet edition, 1994)
- The Method of Weighted Residuals and Variational Principles: With Application in Fluid Mechanics, Heat and Mass Transfer
- Quantum Computation and Quantum Communication:: Theory and Experiments
- Signal processing noise
Extra resources for Part-Whole Reasoning in an Object-Centered Framework
In chapter 6 we describe another relation with part-of intuition that includes our part-of relation. 2 A Basis for Part-of Representation 29 Thus, we also have that a direct part is a part. Further, it is easy to see that ¡∗ is transitive. 8 Clearly, with this assumption an object cannot be a direct part of itself. The assumption also implies that there are no cycles in the part-of relation. Further, together with the transitivity of part-of, the assumption implies the antisymmetry of part-of. Assumption 1.
R(a,b) holds iff ∀ x: (≥(a,x) ∧ C(x)) → (∃ s: ≥(s,x) ∧ R(s,b)). Sing) (beatles,yesterday). The ¡ ¡ and ££ quantifiers represent the group reading of a relation. They specify that a relation possibly holds for some part of a certain type. R(a,b) holds iff ∃ x: (≥(a,x) ∧ C(x) ∧ R(x,b)). Playin)(beatles,london) represents the fact that the Beatles played in London, but it is actually unknown whether the group that played in London was actually composed of all the members of the Beatles. A plural operator is defined as P(a) iff ∀ x: ≥(a,x) → (∃ y: P(y) ∧ (≥(x,y) ∨ ≥(y,x))) This operator allows for the construction of plural collective entities having singular objects of a certain type as their parts.
Although the authors have listed these requirements for composite objects, they argue that many of them are also useful in other situations. Therefore, their approach is to incorporate support for these requirements into the data model and they do not restrict their use to part-of. A similar approach is followed by POSTGRESS [SK91]. An object-oriented system that provides much support for part-of is ORION. Parts of a composite object in ORION are classified with respect to two properties. First, the parts of a composite object can be dependent or independent.