By Patrick Lambrix
In this publication, the writer develops an object-centered framework with really expert help of the part-of relation in keeping with description logics. those logics are a kin of object-centered wisdom illustration languages adapted for describing wisdom approximately innovations and is-a hierarchies of those recommendations. 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 method is confirmed through utilizing the framework to numerous components together with area modeling, agent-oriented eventualities, rfile administration and retrieval, and composite inspiration learning.
Read or Download Part-Whole Reasoning in an Object-Centered Framework PDF
Best information theory books
This specific quantity provides a brand new process - the final conception of knowledge - to medical knowing of knowledge phenomena. in keeping with an intensive research of data strategies in nature, expertise, and society, in addition to at the major instructions in info concept, this thought synthesizes current instructions right into a unified approach.
Managing Economies, Trade and International Business
The present section of globalization and the elevated interconnectedness of economies via alternate have prompted the administration and development charges of economies and in addition the aggressive and managerial concerns for corporations. This ebook specializes in 3 major matters – financial development and sustainable improvement; alternate, legislations and legislation; and aggressive and managerial matters in overseas enterprise – from a multidisciplinary, transversal and eclectic viewpoint.
Efficient Secure Two-Party Protocols: Techniques and Constructions
The authors current a entire learn of effective protocols and methods for safe two-party computation – either basic buildings that may be used to safely compute any performance, and protocols for particular difficulties of curiosity. The publication makes a speciality of concepts for developing effective protocols and proving them safe.
Information Theory and Best Practices in the IT Industry
The value of benchmarking within the carrier region is definitely well-known because it is helping in non-stop development in items and paintings methods. via benchmarking, businesses have strived to enforce most sensible practices with the intention to stay aggressive within the product- industry within which they function. in spite of the fact that reports on benchmarking, really within the software program improvement region, have missed utilizing a number of variables and as a result haven't been as entire.
Additional resources for Part-Whole Reasoning in an Object-Centered Framework
Example text
With respect to compositional structure, the following types are introduced. Complexes have a heterogeneous structure and their parts are called components. There are functional, temporal and spatial relations between the components and the whole. Collections consist of elements which are all related to the whole in the same way. Masses are homogeneous and can be divided into quantities. The fact that different views on an entity are allowed is interesting. For instance, the 5 Sequencing is another type of relation, not having the part-of intuition.
Thus we are able to express domain restrictions and number restrictions for part names. We can also express that certain part names have certain fillers. Further, we define a new construct which allows us to define constraints between the different parts of a composite. It is a step towards allowing for specialized reasoning and inferencing involving the part-of relation. P. Lambrix: Part-Whole Reasoning, LNAI 1771, pp. 41-53, 2000 Springer-Verlag Berlin Heidelberg 2000 42 3 5. 4 we define a part-of hierarchy for individuals based on the direct parts.
The whole-part roles form a whole-part role hierarchy. The whole-part roles not only represent structural information, but also include a functional aspect. Therefore, the whole-part roles are not transitive. It is also assumed that individuals cannot participate in a cycle via part-whole roles. P. Lambrix: Part-Whole Reasoning, LNAI 1771, pp. 31-37, 2000 Springer-Verlag Berlin Heidelberg 2000 32 3 4. Part-of in Description Logics The system needs, then, to be able to answer various queries including containment queries.