Abstract
In [11], we proposed an algebra with four algebraic operators, whose composition can be used to generate valid compound terms in a given faceted taxonomy in an efficient and flexible manner. The positive operations allow the derivation of valid compound terms through the declaration of a small set of valid compound terms. The negative operations allow the derivation of valid compound terms through the declaration of a small set of invalid compound terms. Here, we formally define the model-theoretic semantics of the operations and the closed-world assumptions adopted in each operation. We prove that our algebra is monotonic with respect to both valid and invalid compound terms, meaning that the valid and invalid compound terms of a subexpression are not invalidated by a larger expression. The importance of this property is demonstrated through an example. We also show that our algebra cannot be directly represented in Description Logics. A metasystem on top of Description Logics is designed to implement our algebra.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Clark, P., Thompson, J., Holmback, H., Duncan, L.: Exploiting a Thesaurus-based Semantic Net for Knowledge-based Search. In: Procs of 12th Conf. on Innovative Applications of AI (AAAI/IAAI 2000), pp. 988–995 (2000)
Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: Reasoning in Description Logics. In: Brewka, G. (ed.) Principles of Knowledge Representation, ch. 1, pp. 191–236. CSLI Publications, Stanford (1996)
Duncan, E.B.: A Faceted Approach to Hypertext. In: McAleese, R. (ed.) HYPERTEXT: theory into practice, BSP (1989)
International Organization For Standardization. Documentation – Guidelines for the establishment and development of monolingual thesauri, Ref. No ISO 2788-1986 (1986)
Lindsay, P.H., Norman, D.A.: Human Information Processing. Academic Press, London (1977)
Maple, A.: Faceted Access: A Review of the Literature (1995), http://theme.music.indiana.edu/tech_s/mla/facacc.rev
Prieto-Diaz, R.: Classification of Reusable Modules. In: Software Reusability, vol. I, ch. 4, pp. 99–123. ACM Press, New York (1989)
Prieto-Diaz, R.: Implementing Faceted Classification for Software Reuse. Communications of the ACM 34(5), 88–97 (1991)
Ranganathan, S.R.: The Colon Classification. In: Artandi, S. (ed.) The Rutgers Series on Systems for the Intellectual Organization of Information, vol. IV, Graduate School of Library Science/Rutgers University, New Brunswick/NJ (1965)
Spyratos, N., Tzitzikas, Y., Christophides, V.: On Personalizing the Catalogs of Web Portals. In: 15th International FLAIRS Conference, FLAIRS 2002, pp. 430–434, Pensacola, Florida (May 2002)
Tzitzikas, Y., Analyti, A., Spyratos, N., Constantopoulos, P.: An Algebraic Approach for Specifying Compound Terms in Faceted Taxonomies. In: 13th European-Japanese Conference on Information Modelling and Knowledge Bases, Kitakyushu, Japan (June 2003)
Tzitzikas, Y., Spyratos, N., Constantopoulos, P.: Mediators over Ontology-based Information Sources. In: Proceedings of the 2nd International Conference on Web Information Systems Engineering, WISE 2001, pp. 31–40, Kyoto, Japan (December 2001)
Vickery, B.C.: Knowledge Representation: A Brief Review. Journal of Documentation 42(3), 145–159 (1986)
Woods, W.A.: Understanding Subsumption and Taxonomy. In: Principles of Semantic Networks, ch. 1, Morgan Kaufmann, San Francisco (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tzitzikas, Y., Analyti, A., Spyratos, N. (2003). The Semantics of the Compound Term Composition Algebra. In: Meersman, R., Tari, Z., Schmidt, D.C. (eds) On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE. OTM 2003. Lecture Notes in Computer Science, vol 2888. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39964-3_61
Download citation
DOI: https://doi.org/10.1007/978-3-540-39964-3_61
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20498-5
Online ISBN: 978-3-540-39964-3
eBook Packages: Springer Book Archive