A model of information retrieval based on a terminological logic

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A model of information retrieval based on a terminological logic

Full text

Pdf (1.15 MB)

Source

Annual ACM Conference on Research and Development in Information Retrieval archive
Proceedings of the 16th annual international ACM SIGIR conference on Research and development in information retrieval table of contents

Pittsburgh, Pennsylvania, United States

Pages: 298 - 307

Year of Publication: 1993

ISBN:0-89791-605-0

Authors

Carlo Meghini
Fabrizio Sebastiani
Umberto Straccia
Costantino Thanos

Sponsor

SIGIR: ACM Special Interest Group on Information Retrieval

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 35, Citation Count: 17

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/160688.160753 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Alan R. Anderson and Nuel D. Belnap. Entailment - the logic of relevance and necessity. Princeton University Press, Princeton, NJ, 1975.
	2	Franz Baader. A formal definition for the expressive power of knowledge representation languages. In Proceedings of ECAI-90, 9th European Conference on Artificial Intelhgence, pages 53-58, Stockholm, Sweden, 1990.
	3	Ronald J. Brachman. A structural paradigm for representing knowledge. Technical Report 3605, Bolt Beranek and Newman, Cambridge, MA, 1978.
	4	Ronald J. Brachman , Hector J. Levesque , Raymond Reiter, Knowledge representation, Elsevier Science Publishers B. V., Amsterdam, The Netherlands, 1991
	5	Y. Chiaramella , J. P. Chevallet, About retrieval models and logic, The Computer Journal, v.35 n.3, p.233-242, June 1992 [doi>10.1093/comjnl/35.3.233]
	6	Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Werner Nutt. The complexity of concept languages. In Proceedings of KR-91, 2nd International Conference on Principles of Knowledge Representation and Reasoning, pages 151-162, Cambridge, MA, 1991.
	7	Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf. From subsumption to instance checking. Technical Report 15.92, Dipartimento di Informatica e Sistemistica, Universit~ di Roma "La Sapienza", Roma, Italy, 1992.
	8	Joseph Y. Halpern. An analysis of first-order logics of probability. In Proceedings of IJCAI-89, llth International Joint Conference on Art~ficzal Intelligence, pages 1375-1381, Detroit, MI, 1989.
	9	John Haugeland, Mind design, MIT Press, Cambridge, MA, 1985
	10	Richard Hull , Roger King, Semantic database modeling: survey, applications, and research issues, ACM Computing Surveys (CSUR), v.19 n.3, p.201-260, Sept. 1987 [doi>10.1145/45072.45073]
	11	Carlo Meghini , Fausto Rabitti , Costantino Thanos, Conceptual Modeling of Multimedia Documents, Computer, v.24 n.10, p.23-30, October 1991 [doi>10.1109/2.97248]
	12	Carlo Meghini and Fabrizio Sebastiani. Towards a relevance logic of information retrieval. Unpublished manuscript, 1992.
	13	Carlo Meghini, Fabrizio Sebastiani, Umberto Straccia, and Costantino Thanos. A model of information retrieval based on a terminological logic (extended version). Technical report, Istituto di Elaborazione dell'Informazione, Consiglio Nazionale delle Ricerche, Pisa, Italy, 1993. Forthcoming.
	14	Marvin Minsky. A framework for representing knowledge. In Patrick J. Winston, editor, The psychology of computer vision, pages 211-277. McGraw-Hill, New York, NY, 1975. {a} An extended version appears also in {4}, pp. 245-262, and in {9}, pp. 95-128.
	15	Bernhard Nebel. Terminological cycles: semantics and computational properties. In John Sowa, editor, Principles of semantic networks: explorations in ~he representation of knowledge, pages 331-361. Morgan Kaufmann, Los Altos, CA, 1991.
	16	Jianyun Nie. An information retrieval model based on modal logic. Information processing and management, 25:477-491, 1989.
	17	Peter F. Patel-Schneider. A four-valued semantics for frame-based description languages. In Proceedings of AAAI-86, 5th Conference of the American Association for Artificial Intelhgence, pages 344- 348, Philadelphia, PA, 1986.
	18	Joan Peckham , Fred Maryanski, Semantic data models, ACM Computing Surveys (CSUR), v.20 n.3, p.153-189, Sept. 1988 [doi>10.1145/62061.62062]
	19	Manfred Schmidt-Schaubß , Gert Smolka, Attributive concept descriptions with complements, Artificial Intelligence, v.48 n.1, p.1-26, Feb. 1991 [doi>10.1016/0004-3702(91)90078-X]
	20	Fabrizio Sebastiani and Umberto Straccia. A computationally tractable terminological logic. In Proceedings of SCAI-91, 3rd Scandinavian Conference on Artificial Intelligence, pages 307-315, Roskilde, Denmark, 1991.
	21	C. J. van Rijsbergen, (invited paper) A new theoretical framework for information retrieval, Proceedings of the 9th annual international ACM SIGIR conference on Research and development in information retrieval, p.194-200, September 1986, Palazzo dei Congressi, Pisa, Italy [doi>10.1145/253168.253208]
	22	Cornelis J. van Rijsbergen. A non-classical logic for information retrieval. The Computer Journal, 29:481-485, 1986.

CITED BY 17

	Norbert Fuhr, Models in information retrieval, Lectures on information retrieval, Springer-Verlag New York, Inc., New York, NY, 2001
	Iadh Ounis , Marius Paşca, RELIEF: combining expressiveness and rapidity into a single system, Proceedings of the 21st annual international ACM SIGIR conference on Research and development in information retrieval, p.266-274, August 24-28, 1998, Melbourne, Australia
	Carlo Meghini , Umberto Straccia, A relevance terminological logic for information retrieval, Proceedings of the 19th annual international ACM SIGIR conference on Research and development in information retrieval, p.197-205, August 18-22, 1996, Zurich, Switzerland
	Fabio Crestani , Mounia Lalmas, Logic and uncertainty in information retrieval, Lectures on information retrieval, Springer-Verlag New York, Inc., New York, NY, 2001
	Carlo Meghini , Fabrizio Sebastiani , Umberto Straccia, A model of multimedia information retrieval, Journal of the ACM (JACM), v.48 n.5, p.909-970, September 2001
	P. D. Bruza , T. W. C. Huibers, Investigating aboutness axioms using information fields, Proceedings of the 17th annual international ACM SIGIR conference on Research and development in information retrieval, p.112-121, July 03-06, 1994, Dublin, Ireland
	Fabrizio Sebastiani, A probabilistic terminological logic for modelling information retrieval, Proceedings of the 17th annual international ACM SIGIR conference on Research and development in information retrieval, p.122-130, July 03-06, 1994, Dublin, Ireland
	Mounia Lalmas , Thomas Rölleke , Norbert Fuhr, Intelligent retrieval of hypermedia documents, Intelligent exploration of the web, Physica-Verlag GmbH, Heidelberg, Germany, 2003
	David E. Losada , Alvaro Barreiro, Embedding term similarity and inverse document frequency into a logical model of information retrieval, Journal of the American Society for Information Science and Technology, v.54 n.4, p.285-301, February 15, 2003
	Joe Bullock , Carole Goble, TourisT: the application of a description logic based semantic hypermedia system for tourism, Proceedings of the ninth ACM conference on Hypertext and hypermedia : links, objects, time and space---structure in hypermedia systems: links, objects, time and space---structure in hypermedia systems, p.132-141, June 20-24, 1998, Pittsburgh, Pennsylvania, United States
	David E. Losada , Alvaro Barreiro, Using a belief revision operator for document ranking in extended Boolean models, Proceedings of the 22nd annual international ACM SIGIR conference on Research and development in information retrieval, p.66-73, August 15-19, 1999, Berkeley, California, United States
	Patrick Lambrix , Nahid Shahmehri, Querying Documents using Content, Structure and Properties, Journal of Intelligent Information Systems, v.15 n.3, p.287-307, Nov.-Dec. 2000
	S. Ferré , O. Ridoux, Introduction to logical information systems, Information Processing and Management: an International Journal, v.40 n.3, p.383-419, January 2004
	Lei Zhang , Yong Yu , Jian Zhou , ChenXi Lin , Yin Yang, An enhanced model for searching in semantic portals, Proceedings of the 14th international conference on World Wide Web, May 10-14, 2005, Chiba, Japan
	Jean-Pierre Chevallet , Joo-Hwee Lim , Diem Thi Hoang Le, Domain knowledge conceptual inter-media indexing: application to multilingual multimedia medical reports, Proceedings of the sixteenth ACM conference on Conference on information and knowledge management, November 06-10, 2007, Lisbon, Portugal
	Raymond Y. K. Lau , Peter D. Bruza , Dawei Song, Towards a belief-revision-based adaptive and context-sensitive information retrieval system, ACM Transactions on Information Systems (TOIS), v.26 n.2, p.1-38, March 2008
	Thomas Lukasiewicz , Umberto Straccia, Managing uncertainty and vagueness in description logics for the Semantic Web, Web Semantics: Science, Services and Agents on the World Wide Web, v.6 n.4, p.291-308, November, 2008