Piet-Hein Speel and Peter F. Patel-Schneider. A whole-part extension for description logics. In N. Guarino, S. Pribbenow, and L. Vieu, editors, Workshop Notes of the ECAI-94 Workshop on Parts and Wholes, pages 111--121, Amsterdam, August 1994.  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Open Problems with Part-Whole Relations - Artale, Franconi, Guarino (1996) (6 citations) (Correct)
....1994 ] We have argued in [ Artale et al. 1996 ] that partwhole relations should not be modeled by ordinary attributes in an Object Oriented formalism like a Description Logic. This rules out simplifying approaches like the one pursued by [ Padgham and Lambrix, 1994; Lambrix, 1996 ] and [ Speel and Patel Schneider, 1994 ] They propose a simple extension of description logics, where part whole relations do not have any particular semantics with respect to standard roles. According to these approaches, the reasoning involving parts is external to the standard description logic reasoning services. While ....
....over parts and wholes is carried on only for individuals at ABox level. That is, the knowledge on parts and wholes at TBox level is used as a constraint for the ABox statements, and it is ignored for intensional reasoning. This is the approach pursued by [ Padgham and Lambrix, 1994; Lambrix, 1996; Speel and Patel Schneider, 1994 ] The main reasoning task is, of course, the computation of the transitive closure for the part whole roles. What is missed by these approaches are TBox reasoning like #W. #W. C # #W. C, i.e. wholes having sub parts which have sub parts themselves of a certain kind are not derived as ....
[Article contains additional citation context not shown here]
Piet-Hein Speel and Peter F. Patel-Schneider. A whole-part extension for description logics. In N. Guarino, S. Pribbenow, and L. Vieu, editors, Workshop Notes of the ECAI-94 Workshop on Parts and Wholes, pages 111--121, Amsterdam, August 1994.
The Use of the Typed Lambda Calculus for Guiding Naive Users in.. - Uschold (1996) (1 citation) (Correct)
....theme in part whole inference, is the interaction between the part whole, and specialisation (subtype) relationships[12, 2] We have attempted no general theory of this, but have addressed one part of it. Our work is similar in spirit to the part whole extension to Classic described in [15]. Both efforts recognise that a small set of requirements should be identified and solved; both carefully separate types from entities and use this information to ensure consistency. There is an important difference between our approaches, however. They have a formal semantics and proven ....
P-H. Speel and P. Patel-Schneider. A whole-part extension for description logics. In N. Guarino, S. Pribbenow, and L. Vieu, editors, ECAI-94 Workshop W2 -- Parts and Wholes: Conceptual Part-Whole Relations and Formal Merology, pages 111--121, 1994.
Comparison Of Two Terminological Knowledge Representation Systems - Horrocks (1995) (3 citations) (Correct)
....in a multimedia database modelling application [Hau95] As well as application specific enhancements to GRAIL there are a number of areas which would be of general interest in TKRS research: 57 . The representation of part whole relations in TKRSs is an area of active research [Hor94] PL94] [SPS94]. GRAIL s refinement mechanism gives it a considerable advantage but work is needed to study part whole inferences and their implementation. GRAIL s necessary statements provide a powerful mechanism for representing assertional information within the classifier. However the current ....
P-H. Speel and P. F. Patel-Schneider. A whole-part extension for description logics. In Proceedings of the ECAI'94 Workshop on Parts and Wholes: Conceptual Part-Whole Relations and Formal Mereology, pages 111--121, 1994.
A Note on the Representation and the Manipulation of Structures - Napoli (Correct)
....in description logics In the following, we brieAEy summarize the work presented in [ Lambrix,1996 ] on the representation of the part whole relation in description logics and the associated reasoning process. Many interesting studies on composition in description logics can be found in [ Speel and Patel Schneider,1994 ] Sattler,1995 ] Artale et al. 1996 ] Lambrix,1996 ] and [ Rousset and Hors,1996 ] The works presented in [ Lambrix,1996 ] and in [ Padgham and Lambrix,1994 ] is one of the most complete. It describes a model for representing the composition relation in description logics and for ....
P.-H. Speel and P.F. Patel-Schneider. A Whole-Part Extension for Description Logics. In Proceedings of the ecai'94 Workshop on Parts and Wholes (Conceptual Part-Whole Relations and Formal Mereology), Amsterdam, pages 111121, 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC