Abstract
The Number Restriction of Roles, first proposed in KL-ONE, gives a Semantic Network formalism great expressive power. On the other hand, hybrid systems having such features as part of their terminological knowledge representation formalism have great difficulties in using these Number Restrictions for inferences and consistency checking in their assertional component. Some of these difficulties are discussed in this paper and a solution, worked out as part of the BACK system, is presented [1].
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
D.A. McAllester, Reasoning Utility Package User’s Manual, MIT AI-Memo No 667, 1982
R.J. Brachman, I Lied about the Trees, AI magazine 6, No 3, 1985, 80–93
R.J. Brachman, J.G. Schmolze, An Overview of the KL-ONE Knowledge Representation System, Cognitive Science 9, 1985, 171–216
R.J. Brachman, V. Pigman, H.J. Levesque, An Essential Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON, Proc. IJCAI-85, 1985, 532–539
P.P. Chen, The Entity Relationship Model, ACM Transactions on Database Systems 1, 1976, 9–36
H. Gallaire, J. Minker, J.-M. Nicolas, Logic and Databases: A Deductive Approach, ACM Comp. Surveys 16, 1984, 153–185
Ch. Hebel, Prinzipien der Referenzialität, Habilitationsschrift, Technische Universität Berlin, Fachbereich Informatik, 1985
M. Hammer, D. McLeod, Database Description with SDM, ACM Transaction on Database Systems 6, 1981, 351–386
C. Hewitt, G. Attardi, M. Simi, Knowledge Embedding in the Description Language OMEGA, Proc. of AAAI-80, 1980, 157–164
H. Levesque, J. Mylopoulos, A Procedural Semantics for Semantic Networks, in: Findler(ed.), Associative Networks, Academic Press, 1979, 93–120
K.v. Luck, B. Nebel, Ch. Peltason, A. Schmiedel, BACK to Consistency and Incompleteness, in: Stoyan (ed.), Proc. GWAI-85, Springer 1985
J. Mylopoulos, P.A. Bernstein, H.K.T. Wong, A Language Facility for Designing Database-Intensive Applications, ACM Transactions on Database Systems 5, 1980, 185–207
P.F. Patel-Schneider, Small can be Beautiful in Knowledge Representation, Proc. IEEE Workshop on Principles of Knowledge-Based Systems, 1984, 11–16
R. Reiter, Data Bases: A Logical Perspective, ACM SIGART No 74, 1981, 174–176
J.G. Schmolze, D. Israel, KL-ONE: Semantics and Classification, BBN Annual Report, BBN Rep. No 5421, 1983, 27–39
J.G. Schmolze, The Language and Semantics of NIKL, Draft, 1985
M. Vilain, The Restricted Language Architecture of a Hybrid Representation System, Proc. IJCAI-85, 1985, 547–551
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
v. Luck, K. (1986). Semantic Networks with Number Restricted Roles or Another Story about Clyde. In: Rollinger, CR., Horn, W. (eds) GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung. Informatik-Fachberichte, vol 124. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-71385-9_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-71385-9_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16808-9
Online ISBN: 978-3-642-71385-9
eBook Packages: Springer Book Archive