Conceptual modeling in a document management environment using part-of reasoning in description logics

Data and Knowledge Engineering

Volumn 32, Issue 1, 2000, Pages 51-86

  Lambrix, Patrick ^a   Padgham, Lin ^b  

^a LINKÖPING UNIVERSITY   (Sweden)

^b RMIT UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; DATA STRUCTURES; DATABASE SYSTEMS; FORMAL LOGIC;

DESCRIPTION LOGICS; PART-OF REASONING;

KNOWLEDGE REPRESENTATION;

EID: 0033640855     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(99)00033-6     Document Type: Article

References (75)

1. T.M. Anwar, H.W. Beck, S.B. Navathe, Knowledge mining by imprecise querying: a classification-based approach, in: Proceedings of the Eighth International Conference on Data Engineering, 1992, pp. 622-630.
2. J. André, R. Furuta, W. Quint (Eds.), Structured Documents, The Cambridge Series on Electronic Publishing, Cambridge University Press, Cambridge, 1989.
3. Y. Arens, L. Miller, S. Shapiro, N. Sondheimer, Automatic construction of user-interface displays, in: Proceedings of the Seventh National Conference on Artificial Intelligence - AAAI 8, Saint Paul, MI, 1988, pp. 808-813.
4. A. Artale, F. Cesarini, E. Grazzini, F. Pippolini, G. Soda, Modelling composition in a terminological language environment, in: Proceedings of the ECAI Workshop on Parts and Wholes, Amsterdam, 1994, pp. 93-101.
5. A. Artale, E. Franconi, A computational account for a description logic of time and action, in: Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference - KR 94, Bonn, Germany, 1994, pp. 3-14.
6. Artale A., Franconi E., Guarino N., Pazzi L. Part-whole relations in object-centered systems: an overview. Data and Knowledge Engineering. 20(3):1996;347-383.
7. M. Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier, S. Zdonik, The object-oriented database system manifesto, Technical Report, GIP-ALTAIR, No. 30-89, LeChesnay, France, 1989.
8. Bertino E., Rabitti F., Gibbs S. Query processing in a multimedia document system. ACM Transactions on Office Information Systems. 6(1):1988;1-41.
9. C. Bettini, Temporal extensions of terminological languages, Ph.D. thesis, Computer Science Department, University of Milan, 1993.
10. Bollinger T., Pletat U. The LILOG knowledge representation system. SIGART Bulletin. 2(3):1991;22-27.
11. F. Baader, B. Hollunder, Embedding defaults into terminological knowledge representation formalisms, in: Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference - KR 92, Cambridge, MA, USA, 1992, pp. 306-317.
12. F. Baader, B. Hollunder, How to prefer more specific defaults in terminological default logic, in: Proceedings of the International Joint Conference on Artificial Intelligence - IJCAI 93, 1993, pp. 669-674.
13. F. Baader, B. Hollunder, B. Nebel, H.-J. Profitlich, E. Franconi, An empirical analysis of optimization techniques for terminological representation systems - or - making KRIS get a move on, in: Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference - KR 92, Cambridge, MA, USA, 1992, pp. 270-281.
14. C. Batini, S. Ceri, S. Navathe, Conceptual and Logical Database Design: The Entity-Relationship Approach, Benjamin/Cummings, Menlo Park, CA, 1992.
15. D. Beech, B. Mahbod, Generalized version control in an object-oriented database, in: Proceedings of the Fourth IEEE Conference on Data Engineering, 1988, pp. 14-22.
16. Bergamaschi S., Sartori C. On taxonomic reasoning in conceptual design. ACM Transactions on Database Systems. 17(3):1992;385-422.
17. Borgida A. From type systems to knowledge representation: natural semantics specifications for description logics. International Journal of Intelligent and Cooperative Information Systems. 1(1):1992;93-126.
18. A. Borgida, R. Brachman, D. McGuinness, L. Resnick, CLASSIC: a structural data model for object, in: Proceedings of the ACM International Conference on Management of Data - SIGMOD 89, 1989, pp. 58-67.
19. Borgida A., Patel-Schneider P. A semantics and complete algorithm for subsumption in the classic description logic. Journal of Artificial Intelligence Research. 1:1994;277-308.
20. Brachman R., Selfridge P., Terveen L., Altman B., Borgida A., Halper F., Kirk T., Lazar A., McGuinness D., Resnick L. Integrated support for data archeology. International Journal of Intelligent and Cooperative Information Systems. 2(2):1993;159-185.
21. Buchheit M., Jeusfeld M., Nutt W., Staudt M. Subsumption between queries to object-oriented databases. Information Systems. 19(1):1994;33-54.
22. Calvanese D., De Giacomo G., Lenzerini M. Structured objects: modeling and reasoning. Proceedings of the International Conference on Deductive and Object-Oriented Databases LNCS. 1013:1995;229-246.
23. D. Calvanese, M. Lenzerini, D. Nardi, A unified framework for class-based representation formalisms, in: Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference - KR 94, Bonn, Germany, 1994, pp. 109-120.
24. Y. Cao, B. Jung, I. Wachsmuth, Situated verbal interaction in virtual design and assembly, in: Video Presentation at the International Joint Conference on Artificial Intelligence - IJCAI95, 1995.
25. R. Cattell, Object Data Management: Object-Oriented and Extended Relational Database Systems, Addison-Wesley, Reading, MA, 1991.
26. P. Coad, E. Yourdon, Object-Oriented Analysis, Prentice-Hall, Englewood Cliffs, NJ, 1991.
27. Cruse D.A. On the transitivity of the part-whole relation. Journal of Linguistics. 15:1979;29-38.
28. G. De Giacomo, M. Lenzerini, What's in an aggregate: foundations for description logics with tuples and sets, in: Proceedings of the International Joint Conference on Artificial Intelligence - IJCAI 95, 1995, pp. 801-807.
29. Devanbu P., Brachman R., Selfridge P., Ballard B. LaSSIE: A knowledge-based software information system. Communications of the ACM. 34(5):1991;34-49.
30. E. Franconi, A treatment of plurals and plural qualifications based on a theory of collections, in: Knowledge representation for natural language processing (special issue), Minds and Machines 3 (4) (1993) 453-474.
31. Goldfarb C.F. The SGML Handbook. 1990;Clarendon Press, Oxford.
32. Güting R., Zicari R., Choy D. An algebra for structured office documents. ACM Transactions on Information Systems. 7(2):1989;123-157.
33. P. Hanschke, Specifying role interaction in concept languages, in: Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference - KR 92, Cambridge, MA, USA, 1992, pp. 318-329.
34. J. Heinsohn, D. Kudenko, B. Nebel, H.-J. Profitlich, An empirical analysis of terminological representation systems, in: Proceedings of the National Conference on Artificial Intelligence - AAAI 92, 1992, pp. 676-773.
35. International Office for Standardization, Information processing - text and office Systems - office document architecture (ODA) and interchange format (ODIF), ISO 8613, 1987.
36. M.A. Iris, B.E. Litowitz, M. Evens, Problems with the part-whole relation, in: M. Evens (Ed.), Relational Models of the Lexicon, 1988, pp. 261-288.
37. Y. Jang, R. Patil, KOLA: A knowledge organization language, in: Proceedings of the 13th Symposium on Computer Applications in Medical Care, 1989, pp. 71-75.
38. R. Katz, E. Chang, Managing change in a computer-aided design database, in: Zdonik, Maier (Eds.), Readings in Object-Oriented Database Systems, 1990, pp. 400-407.
39. P. Kilpeläinen, G. Lindén, H. Manilla, E. Nikunen, A structured document database system, in: Proceedings of the International Conference on Electronic Publishing, Document Manipulation and Typography - EP 90, Gaithersburg, Maryland, USA, 1990, pp. 139-151.
40. W. Kim, F. Bertino, J.F. Garza, Composite objects revisited, in: Proceedings of the Conference on Management of Data - SIGMOD 89, SIGMOD Record 18 (2) (1989) 337-347.
41. J. Koehler, An application of terminological logics to case-based reasoning, in: Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference - KR 94, Bonn, Germany, 1994, pp. 351-362.
42. P. Lambrix, L. Padgham, Analysis of part-of reasoning in description logics for use in a document management application, in: Proceedings of the Eighth International Symposium on Artificial Intelligence, Monterrey, Mexico, 1995, pp. 102-110.
43. P. Lambrix, L. Padgham, A description logic model for querying knowledge bases for structured documents, in: Proceedings of the 10th International Symposium on Methodologies for Intelligent Systems - ISMIS 97, LNAI 1325, Charlotte, North Carolina, USA, 1997, pp. 72-83.
44. P. Lambrix, R. Rönnquist, Terminological logic involving time and evolution: a preliminary report, in: Proceedings of the Seventh International Symposium on Methodologies for Intelligent Systems - ISMIS 93, LNAI 689, Trondheim, Norway, 1993, pp. 162-171.
45. P. Lambrix, N. Shahmehri, TRIFU: The right information for you, in: Proceedings of the 31st Hawaii International Conference on System Sciences, Internet and the Digital Economy Track, Hawaii, 1998, pp. 505-515.
46. P. Lambrix, N. Shahmehri, S. Jacobsen, Querying document bases by content, structure and properties, in: Proceedings of the 11th International Symposium on Methodologies for Intelligent Systems - ISMIS 99, LNAI 1609, Warsaw, Poland, 1999.
47. P. Lambrix, N. Shahmehri, J. Åberg, Towards creating a knowledge base for world-wide web documents, in: Proceedings of the IASTED International Conference on Intelligent Information Systems, Freeport, Bahamas, 1997, pp. 507-511.
48. A. Levy, D. Srivastava, T. Kirk, Data model and query evaluation in global information systems, in: Networked information discovery and retrieval (special issue), Journal of Intelligent Information Systems 5 (2) 1995.
49. B. Lowe, J. Zobel, R. Sacks-Davis, A formal model for databases of structured text, in: Proceedings of the Fourth International Conference on Database Systems for Advanced Applications, Singapore, 1995.
50. J. Lyons, Semantics, Cambridge University Press, Cambridge, 1977.
51. U. Manber, S. Wu, GLIMPSE: a tool to search through entire file systems, in: Proceedings of the USENIX Winter-1994 Technical Conference, San Francisco, CA, USA, 1994, pp. 23-32.
52. C. Meghini, F. Rabitti, C. Thanos, Conceptual modeling of multimedia documents, IEEE Computer, October 1991, pp. 23-30.
53. C. Meghini, F. Sebastiani, U. Straccia, C. Thanos, A model of information retrieval based on a terminological logic, in: Proceedings of the 16th ACM International Conference on Research and Development in Information Retrieval - SIGIR 93, Pittsburgh, PA, USA, 1993, pp. 298-307.
54. B. Owsnicki-Klewe, Configuration as a consistency maintenance task, in: Proceedings of the 12th German Workshop on Artificial Intelligence, 1988, pp. 77-87.
55. L. Padgham, P. Lambrix, A framework for part-of hierarchies in terminological logics, in: Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference - KR 94, Bonn, Germany, 1994, pp. 485-496.
56. L. Padgham, B. Nebel, Combining classification and non-monotonic inheritance reasoning: a first step, in: Proceedings of the Seventh International Symposium on Methodologies for Intelligent Systems - ISMIS 93, LNAI 689, 1993, pp. 132-141.
57. L. Padgham, T. Zhang, A terminological logic with defaults: a definition and an application, in: Proceedings of the International Joint Conference on Artificial Intelligence - IJCAI 93, 1993, pp. 662-668.
58. J. Quantz, Preferential disambiguation in natural language processing, Ph.D. thesis, Technische Universität, Berlin, 1995.
59. J. Quantz, V. Royer, A preference semantics for defaults in terminological logics, in: Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference - KR 92, Cambridge, MA, USA, 1992, pp. 294-305.
60. Rescher N. Axioms for the part relation. Philosophical Studies. 6:1995;8-11.
61. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen, Object-Oriented Modeling and Design, Prentice Hall, Englewood Cliffs, NJ, 1991.
62. U. Sattler, A concept language for an engineering application with part-whole relations, in: Proceedings of the International Workshop on Description Logics, Rome, Italy, 1995, pp. 119-123.
63. A. Schmiedel, A temporal terminological logic, in: Proceedings of the National Conference on Artificial Intelligence - AAAI 90, 1990, pp. 640-645.
64. Shipman D. The functional data model and the data language DAPLEX. ACM Transactions on Database Systems. 6(1):1981;140-173.
65. Simons P. Parts - A Study in Ontology. 1987;Clarendon Press, Oxford.
66. P.-H. Speel, P.-F. Patel-Schneider, CLASSIC extended with whole-part relations, in: Proceedings of the International Workshop on Description Logics, Bonn, Germany, 1994, pp. 45-50.
67. P.-H. Speel, P.F. Patel-Schneider, A whole-part extension for description logics, in: Proceedings of the ECAI Workshop on Parts and Wholes, Amsterdam, August 1994, pp. 111-121.
68. Stonebraker M., Rowe L.A., Lindsay B., Gray J., Carey M., Brodie M., Bernstein P., Beech D. Third-generation database system manifesto. SIGMOD Record. 19(3):1990;31-43.
69. U. Straccia, Default inheritance reasoning in hybrid KL-ONE-style logics, in: Proceedings of the International Joint Conference on Artificial Intelligence - IJCAI 93, 1993, pp. 676-681.
70. A. Varzi, Parts, wholes, and part-whole relations: the prospects of mereotopology, Data and Knowledge Engineering 20 (3) 259-286.
71. Wachsmuth I., Jung B. Dynamic conceptualization in a mechanical-object assembly environment. Artificial Intelligence Review. 10(3-4):1996;345-368.
72. T. Weida, D. Litman, Terminological reasoning with constraint networks and an application to plan recognition, in: Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference - KR 92, Cambridge, MA, USA, 1992, pp. 282-293.
73. Winston M.E., Chaffin R., Herrmann D. A taxonomy of part-whole relations. Cognitive Science. 11:1987;417-444.
74. J. Wright, E. Weixelbaum, G. Vesonder, K. Brown, S. Palmer, J. Berman, H. Moore, A knowledge-based configurator that supports sales, engineering, and manufacturing at AT&T Network Systems, AI Magazine, 1993, pp. 69-80.
75. B. Åkerman, PQM-Instruktioner, Telia Research AB, 1994.