Abstract
We present a hybrid system for knowledge representation, called \(\mathcal{A}\mathcal{L}\)-log, based on the concept language \(\mathcal{A}\mathcal{L}\mathcal{C}\) and the deductive database language Datalog. \(\mathcal{A}\mathcal{L}\)-log embodies two subsystems, called structural and relational. The former allows for the definition of structural knowledge about the classes of interest and the membership relation between objects and classes. The latter allows for the definition of relational knowledge about the objects described in the structural component. The interaction between the two components is obtained by allowing \(\mathcal{A}\mathcal{L}\mathcal{C}\)-constraints within Datalog clauses, thus requiring the variables in the clauses to range over the set of instances of a specified concept. We propose a method for hybrid reasoning based on constrained resolution, where the usual deduction procedure defined for Datalog is integrated with a method for reasoning on the structural knowledge.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
S. Abiteboul, “Towards a deductive object-oriented database language”. Data & Knowledge Engineering, Vol. 5, pp. 263–287, 1990.
L. Aiello, M. Lenzerini, D. Nardi, “La rappresentazione della conoscenza in intelligenza artificiale”. Rivista di Informatica, Vol. XIX, N. 2, pp. 93–110, 1989 (in Italian).
F. Baader, H.-J. Bürkert, B. Hollunder, W. Nutt, J. Siekmann, “Concept logics”. Computational Logics Symposium Proceedings, J.W. Lloyd (Ed.), pp. 177–201, Springer-Verlag, 1990.
R.J. Brachman, V. Pigman Gilbert, H.J. Levesque, “An essential hybrid reasoning system: knowledge and symbol level accounts in KRYPTON.” Proceedings of the 8th Int. Joint Conf. on Artificial Intelligence, IJCAI-85, 1985.
A.G. Cohn, “Taxonomic Reasoning with Many-Sorted Logics”. Artificial Intelligence Review, 3:89–128, 1989.
F.M. Donini, M. Lenzerini, D. Nardi, W. Nutt, “The complexity of concept languages.” Proceedings of the 2nd Int. Conf. on Principles of Knowledge Representation and Reasoning, KR-91, 1991.
F.M. Donini, M. Lenzerini, D. Nardi, A. Schaerf, “On the integration of logic programming and concept languages.” Esprit-BRA Compulog Report, 1991.
A.M. Frisch, “A general framework for sorted deduction: fundamental results on hybrid reasoning”. Proceedings of the 1st Int. Conf. on Principles of Knowledge Representation and Reasoning, KR-89, 1989.
A.M. Frisch, A.G. Cohn, “Thought and afterthoughts on the 1988 Workshop on Principles of Hybrid Reasoning”. AI Magazine, pp. 77–83, 1991.
B. Nebel, K. von Luck, “Hybrid reasoning in BACK”. Proceedings of the Int. Symposium on Methodologies for Intelligent Systems, ISMIS-88, North-Holland, 1988.
B. Nebel, Reasoning and revision in hybrid representation systems, LNAI 422, Springer Verlag, 1990.
K. Schild, “A correspondence theory for terminological logics: Preliminary”. To appear in Proc. of the 12th Int. Joint Conf. on Artificial Intelligence, IJCAI-91, 1991.
J.D. Ullman, Principles of database and knowledge-base systems. Computer Science Press, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A. (1991). A hybrid system with datalog and concept languages. In: Ardizzone, E., Gaglio, S., Sorbello, F. (eds) Trends in Artificial Intelligence. AI*IA 1991. Lecture Notes in Computer Science, vol 549. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54712-6_221
Download citation
DOI: https://doi.org/10.1007/3-540-54712-6_221
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54712-9
Online ISBN: 978-3-540-46443-3
eBook Packages: Springer Book Archive