Abstract
This paper presents a language for querying taxonomic systems which is essentially a variant of first-order logic with terms denoting types instead of individuals. A query expressed in the language is either a declarative or an interrogative sentence. Declarative sentences correspond to the usual first-order formulae and require a “yes” or “no” answer. Interrogative sentences are basically declarative sentences with some variables stipulated as “query” variables, for which the required answers are type assignments to the query variables making the sentences true. From the semantic point of view, queries will be interpreted as type constraints on the query variables, and answers as constraints in a specified normal form called “solved” form. To that effect, the paper proposes a general scheme for constraint programming based on the notions of constraint satisfaction and constraint reduction, and shows how the query language can be viewed as an instance of the scheme. This constraint system is the basis of a constraint logic programming system dealing with type information as described by taxonomies.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Owns a scholarship from Instituto Nacional de Investigação Científica.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
H. Aït-Kaci, R. Nasr. Login: A Logic Programming Language with Built-in Inheritance. Journal of Logic Programming, 3:185–215. 1986.
L. Cardelli. A Semantics of Multiple Inheritance. Information and Control, 76:138–164. 1988.
Joxan Jaffar, Jean-Louis Lassez. Constraint Logic Programming. In Proc. 14th ACM POPL Conference, Munich, 1987.
Margarida Mamede, Luís Monteiro. Answers as Type Constraints. Presented at the International Workshop on Non-standard Queries and Non-standard Answers, Toulouse, France. July 1–3, 1991.
Luís Monteiro, António Porto. A Transformational View of Inheritance in Logic Programming. In Logic Programming: Proceedings of the Seventh International Conference, D.H.D. Warren and P. Szeredi (eds.), MIT Press, Cambridge MA, 1990.
António Porto. A Framework for Deducing Useful Answers to Queries. In M. Tokoro (ed.), Proc. IFIP WG 10.1 Workshop on Concepts and Characteristics of Knowledge-Based Systems, North-Holland, 1988.
António Porto, Miguel Filgueiras. A Logic Programming Approach to Natural Language Semantics. In Proc. International Symposium on Logic Programming, IEEE Press, 1984.
D.S. Touretzki. The Mathematics of Inheritance Systems. Pitman, London, 1986.
P. Wegner. Classification in object-oriented systems. In Proc. Object-Oriented Programming Workshop, ACM Sigplan Notices 21 (10), 173–182. 1986.
D. Scott. Domains for Denotational Semantics. In Proc. ICALP 82, Springer Verlag, New York, 1982.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mamede, M., Monteiro, L. (1991). A constraint-based language for querying taxonomic systems. In: Barahona, P., Moniz Pereira, L., Porto, A. (eds) EPIA 91. EPIA 1991. Lecture Notes in Computer Science, vol 541. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54535-2_25
Download citation
DOI: https://doi.org/10.1007/3-540-54535-2_25
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54535-4
Online ISBN: 978-3-540-38459-5
eBook Packages: Springer Book Archive