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.

[1]  Stuart C. Shapiro,et al.  Automatic Construction of User-Interface Displays , 1988, AAAI.

[2]  W. G. ter Stal,et al.  Formalization of an ontology of ceramic science in CLASSIC (UT-KBS-92-47) , 1992 .

[3]  Patrick Lambrix,et al.  Terminological Logic Involving Time and Evolution: A Preliminary Report , 1993, ISMIS.

[4]  Philip J. Hayes.  On Semantic Nets, Frames and Associations , 1977, IJCAI.

[5]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[6]  Premkumar T. Devanbu,et al.  LaSSIE: a knowledge-based software information system , 1990, [1990] Proceedings. 12th International Conference on Software Engineering.

[7]  Lisa F. Rau,et al.  Information extraction and text summarization using linguistic knowledge acquisition , 1989, Inf. Process. Manag..

[8]  Patrick Lambrix,et al.  A default extension to description logics for use in an intelligent search engine , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

[9]  Peter Szolovits,et al.  Representing Medical Knowledge in a Terminological Language is Difficult , 1988 .

[10]  David Beech,et al.  Generalized version control in an object-oriented database , 1988, Proceedings. Fourth International Conference on Data Engineering.

[11]  Jon R. Wright,et al.  A Knowledge-Based Configurator that Supports Sales, Engineering, and Manufacturing at AT&T Network Systems , 1993, AI Mag..

[12]  Nicola Guarino,et al.  Dwq : Esprit Long Term Research Project, No 22469 Part-whole Relations in Object-centered Systems: an Overview Part-whole Relations in Object-centered Systems: an Overview , 2022 .

[13]  Ian A. Macleod.  A Query Language for Retrieving Information from Hierarchic Text Structures , 1991, Comput. J..

[14]  Maurizio Lenzerini,et al.  What's in an Aggregate: Foundations for Description Logics with Tuples and Sets , 1995, IJCAI.

[15]  Randy H. Katz,et al.  Managing Change in a Computer-Aided Design Database , 1987, Research Foundations in Object-Oriented and Semantic Database Systems.

[16]  Ellen M. Voorhees,et al.  Query expansion using lexical-semantic relations , 1994, SIGIR '94.

[17]  Bernhard Nebel,et al.  An Empirical Analysis of Terminological Representation Systems , 1992, Artif. Intell..

[18]  David Fisher,et al.  CRYSTAL: Inducing a Conceptual Dictionary , 1995, IJCAI.

[19]  Ricardo A. Baeza-Yates,et al.  Proximal nodes: a model to query document databases by content and structure , 1997, TOIS.

[20]  Yong Cao,et al.  Situated Verbal Interaction in Virtual Design and Assembly , 1995, IJCAI.

[21]  Enrico Franconi,et al.  A Computational Account for a Description Logic of Time and Action , 1994, KR.

[22]  Deborah L. McGuinness,et al.  Description Logic in Practice: A CLASSIC Application , 1995, IJCAI.

[23]  Ulrike Sattler,et al.  Terminological knowledge representation systems in a process engineering application , 1998 .

[24]  Alexander Borgida,et al.  Computing Least Common Subsumers in Description Logics , 1992, AAAI.

[25]  David J. DeWitt,et al.  The Object-Oriented Database System Manifesto , 1994, Building an Object-Oriented Database System, The Story of O2.

[26]  Lenhart K. Schubert.  Problems with Parts , 1979, IJCAI.

[27]  Michael Frazier,et al.  Classic learning , 1994, COLT '94.

[28]  Fabrizio Sebastiani,et al.  A probabilistic terminological logic for modelling information retrieval , 1994, SIGIR '94.

[29]  Stanley B. Zdonik,et al.  Version Management in an Object-Oriented Database , 1986, Advanced Programming Environments.

[30]  Michael E. Bratman,et al.  Intention, Plans, and Practical Reason , 1991 .

[31]  P. Simons.  Parts: A Study in Ontology , 1991 .

[32]  Patrick Lambrix,et al.  Querying Document Bases by Content, Structure and Properties , 1999, ISMIS.

[33]  Nicholas Rescher,et al.  Axioms for the part relation , 1955 .

[34]  Carlo Meghini,et al.  Conceptual modeling of multimedia documents , 1991, Computer.

[35]  Dan Suciu,et al.  A query language for a Web-site management system , 1997, SGMD.

[36]  Michael Stonebraker,et al.  Third-generation database system manifesto , 1990, SGMD.

[37]  P.H.W.M. Speel,et al.  Classic extended with whole-part relations , 1994 .

[38]  Alexander Borgida,et al.  On the relationship between description logic and predicate logic queries , 1994, CIKM '94.

[39]  Udo Pletat,et al.  The LILOG knowledge representation system , 1991, SGAR.

[40]  Werner Nutt,et al.  The Complexity of Concept Languages , 1997, KR.

[41]  Lin Padgham,et al.  Combining Classification and Nonmonotonic Inheritance Reasoning: A First Step , 1993, ISMIS.

[42]  Werner Nutt,et al.  Tractable Concept Languages , 1991, IJCAI.

[43]  Shamkant B. Navathe,et al.  Conceptual Database Design: An Entity-Relationship Approach , 1991 .

[44]  Francois Felix Ingrand,et al.  Monitoring and control of spacecraft systems using procedural reasoning , 1990 .

[45]  Elisa Bertino,et al.  Composite objects revisited , 1989, SIGMOD '89.

[46]  Jay Banerjee,et al.  Data model issues for object-oriented applications , 1987, TOIS.

[47]  Patrick Lambrix.  Aspects of Version Management of Composite Objects , 1992 .

[48]  Jennifer Widom,et al.  The Lorel query language for semistructured data , 1997, International Journal on Digital Libraries.

[49]  Roland Ducournau,et al.  An object-based representation system for organic synthesis planning , 1994, Int. J. Hum. Comput. Stud..

[50]  Jana Koehler,et al.  An Application of Terminological Logics to Case-based Reasoning , 1994, KR.

[51]  Michael R. Genesereth,et al.  Infomaster: A Virtual Information System , 1995, CIKM Information Agents Workshop.

[52]  Heikki Mannila,et al.  Retrieval from hierarchical texts by partial patterns , 1993, SIGIR.

[53]  Rainer Hoch,et al.  Using IR techniques for text classification in document analysis , 1994, SIGIR '94.

[54]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[55]  Lin Padgham,et al.  A Framework for Part-of Hierarchies in Terminological Logics , 1994, KR.

[56]  Jon Doyle,et al.  Two Theses of Knowledge Representation: Language Restrictions, Taxonomic Classification, and the Utility of Representation Services , 1991, Artif. Intell..

[57]  Serge Abiteboul,et al.  From structured documents to novel query facilities , 1994, SIGMOD '94.

[58]  Francesco M. Donini,et al.  Decidable Reasoning in Terminological Knowledge Representation Systems , 1993, IJCAI.

[59]  Ron Sacks-Davis,et al.  A Formal Model for Databases of Structured Text , 1995, DASFAA.

[60]  Thomas J. Laffey,et al.  Real-Time Knowledge-Based Systems , 1988, AI Mag..

[61]  Umberto Straccia,et al.  A model of information retrieval based on a terminological logic , 1993, SIGIR.

[62]  Franz Baader,et al.  Terminological Cycles in KL-ONE-based Knowledge Representation Languages , 1990, AAAI.

[63]  Alberto O. Mendelzon,et al.  Querying the World Wide Web , 1996, Fourth International Conference on Parallel and Distributed Information Systems.

[64]  Elisa Bertino,et al.  A model of authorization for next-generation database systems , 1991, TODS.

[65]  Bernhard Nebel,et al.  Reasoning and Revision in Hybrid Representation Systems , 1990, Lecture Notes in Computer Science.

[66]  Y. Jang,et al.  KOLA: KNOWLEDGE ORGANIZATION LANGUAGE , 1988 .

[67]  Scott E. Fahlman,et al.  NETL: A System for Representing and Using Real-World Knowledge , 1979, CL.

[68]  J. Joachim Quantz.  Preferential disambiguation in natural language processing , 1995 .

[69]  Bernhard Nebel,et al.  Terminological Reasoning is Inherently Intractable , 1990, Artif. Intell..

[70]  Werner Nutt,et al.  Subsumption between queries to object-oriented databases , 1994, Inf. Syst..

[71]  Alexander Borgida.  From Type Systems to Knowledge Representation: Natural Semantics Specifications for Description Logics , 1992, Int. J. Cooperative Inf. Syst..

[72]  Lin Padgham,et al.  A Terminological Logic with Defaults: A Definition and an Application , 1993, IJCAI.

[73]  James G. Schmolze,et al.  The NIKL experience 1 , 1991, Comput. Intell..

[74]  Ralf Hartmut Güting,et al.  An algebra for structured office documents , 1989, TOIS.

[75]  Deborah L. McGuinness,et al.  Integrated Support for Data Archeology , 1993, Int. J. Cooperative Inf. Syst..

[76]  Franz Baader,et al.  KRIS: Knowledge Representation and Inference System , 1991, SGAR.

[77]  Philipp Hanschke,et al.  Specifying Role Interaction in Concept Languages , 1992, KR.

[78]  R. G. Cattell.  Object Data Management: Object-Oriented and Extended , 1994 .

[79]  Robert M. MacGregor,et al.  Inside the LOOM description classifier , 1991, SGAR.

[80]  Chris D. Paice,et al.  The identification of important concepts in highly structured technical papers , 1993, SIGIR.

[81]  Deborah L. McGuinness,et al.  CLASSIC: a structural data model for objects , 1989, SIGMOD '89.

[82]  Douglas Herrmann,et al.  A Taxonomy of Part-Whole Relations , 1987, Cogn. Sci..

[83]  Ulrike Sattler,et al.  A Concept Language for an engineering application with part--whole relations , 1995 .

[84]  Diane J. Litman,et al.  Terminological Reasoning with Constraint Networks and an Application to Plan Recognition , 1992, KR.

[85]  Amedeo Napoli,et al.  Subsumption and Classification-Based Reasoning in Object-Based Representations , 1992, European Conference on Artificial Intelligence.

[86]  Albrecht Schmiedel,et al.  Temporal Terminological Logic , 1990, AAAI.

[87]  Simone Pribbenow,et al.  Midwinters, end games, and body parts: a classification of part-whole relations , 1995, Int. J. Hum. Comput. Stud..

[88]  Umeshwar Dayal,et al.  Simplifying Complex Objects: The PROBE Approach to Modelling and Querying Them , 1987, BTW.

[89]  Anand S. Rao,et al.  An architecture for real-time reasoning and system control , 1992, IEEE Expert.

[90]  Umberto Straccia.  Default Inheritance Reasoning in Hybrid KL-ONE-Style Logics , 1993, IJCAI.

[91]  Franz Baader,et al.  How to Prefer More Specific Defaults in Terminological Default Logic , 1993, IJCAI.

[92]  Madelyn Anne Iris,et al.  Problems of the part-whole relation , 1989 .

[93]  Michael Stonebraker,et al.  The POSTGRES next generation database management system , 1991, CACM.

[94]  Michael P. Georgeff,et al.  Decision-Making in an Embedded Reasoning System , 1989, IJCAI.

[95]  Patrick Lambrix,et al.  Learning Composite Concepts in Description Logics: A First Step , 1996, ISMIS.

[96]  Diego Calvanese,et al.  Structured Objects: Modeling and Reasoning , 1995, DOOD.

[97]  Lenhart K. Schubert,et al.  PARTS INFERENCE: Closed and Semi-Closed Partitioning Graphs , 1981, IJCAI.

[98]  Achille C. Varzi.  Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology , 1996, Data Knowl. Eng..

[99]  Patrick Lambrix,et al.  Learning Composite Concepts , 1998, Description Logics.

[100]  W. Shipman David,et al.  The functional data model and the data language DAPLEX , 1988 .

[101]  Shamkant B. Navathe,et al.  Knowledge mining by imprecise querying: a classification-based approach , 1992, [1992] Eighth International Conference on Data Engineering.

[102]  Bernd Owsnicki-Klewe,et al.  Configuration as a Consistency Maintenance Task , 1988, GWAI.

[103]  William W. Cohen,et al.  Learning the Classic Description Logic: Theoretical and Experimental Results , 1994, KR.

[104]  Lin Padgham,et al.  Conceptual Modeling in a Document Management Environment Using Part-of Reasoning in Description Logics , 2000, Data Knowl. Eng..

[105]  Bernhard Nebel,et al.  An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On , 1992, KR.

[106]  Diego Calvanese,et al.  A Unified Framework for Class-Based Representation Formalisms , 1994, KR.

[107]  W. Bruce Croft,et al.  Combining classifiers in text categorization , 1996, SIGIR '96.

[108]  Ron Sacks-Davis,et al.  Database Systems for Structured Documents , 1995, IEICE Trans. Inf. Syst..

[109]  Peter F. Patel-Schneider,et al.  A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic , 1993, J. Artif. Intell. Res..

[110]  Sonia Bergamaschi,et al.  On taxonomic reasoning in conceptual design , 1992, TODS.

[111]  Elisa Bertino,et al.  Query processing in a multimedia document system , 1988, TOIS.

[112]  Udi Manber,et al.  Fast text searching: allowing errors , 1992, CACM.

[113]  D. Cruse.  On the transitivity of the part-whole relation , 1979, Journal of Linguistics.

[114]  Manfred Schmidt-Schaubß,et al.  Subsumption in KL-ONE is undecidable , 1989, KR 1989.

[115]  Tom M. Mitchell,et al.  Generalization as Search , 2002 .

[116]  Heikki Mannila,et al.  A Structured Document Database System , 1990 .

[117]  Joachim Quantz,et al.  A Preference Semantics for Defaults in Terminological Logics , 1992, International Conference on Principles of Knowledge Representation and Reasoning.

[118]  N. Shahmehri,et al.  Towards creating a knowledge base for World-Wide Web documents , 1997, Proceedings Intelligent Information Systems. IIS'97.

[119]  Ellen Riloff,et al.  Information extraction as a basis for high-precision text classification , 1994, TOIS.

[120]  Christof Peltason.  The BACK system—an overview , 1991, SGAR.

[121]  Craig A. Knoblock,et al.  Retrieving and Integrating Data from Multiple Information Sources , 1993, Int. J. Cooperative Inf. Syst..