{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:25:44Z","timestamp":1725456344617},"publisher-location":"Berlin\/Heidelberg","reference-count":28,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055033X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013526","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T01:44:01Z","timestamp":1132710241000},"page":"141-160","source":"Crossref","is-referenced-by-count":3,"title":["A concise presentation of ITL"],"prefix":"10.1007","author":[{"given":"Nicola","family":"Guarino","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Ait-Kaci, H. and Nasr, R. 1986. LOGIN: a logic programming language with built-in inheritance. Journal of Logic Programming, no. 3."},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Attardi, G. and Simi, M., 1986. A description-oriented logic for building knowledge bases. Proc. of IEEE, no. 10.","DOI":"10.1109\/PROC.1986.13635"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Bobrow, D. G and Winograd, T., 1977. An Overview of KRL, a Knowledge Representation Language. Cognitive Science 1\/77","DOI":"10.1207\/s15516709cog0101_2"},{"key":"10_CR4","unstructured":"Brachman, R. J. 1979. On the epistemological status of semantic networks. In N. Findler (ed.), Associative networks: representation and use of knowledge by computers, Academic Press."},{"key":"10_CR5","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","volume":"9","author":"R. J. Brachman","year":"1985","unstructured":"Brachman, R. J., and Schmolze, J. G. 1985. An Overview of the KL-ONE Knowledge Representation System. Cognitive Science 9: 171\u2013216.","journal-title":"Cognitive Science"},{"key":"10_CR6","unstructured":"Brachman, R. J., Levesque, H. J., Reiter, R. (eds.) 1989. 1st Int. Conf. on Principles of Knowledge Representation and Reasoning. Kaufmann."},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Cohn, A. G. 1987. A more expressive formulation of many sorted logic. J. of Automated Reasoning, vol. 3, no. 2.","DOI":"10.1007\/BF00243207"},{"key":"10_CR8","first-page":"54","volume-title":"Proc. of the 1981 KL-ONE Workshop","author":"M. W. Freeman","year":"1982","unstructured":"Freeman, M. W. 1982. The qua link. In J. G. Schmolze and R. J. Brachman (eds.), Proc. of the 1981 KL-ONE Workshop, pagg. 54\u201364, Jackson, New Hampshire, June 1982. BBN."},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Frisch, A. M. 1985. An investigation into inference with restricted quantification and a taxonomic representation. SIGART Newsletter, January.","DOI":"10.1145\/1056541.1056546"},{"key":"10_CR10","unstructured":"Frisch, A. M. 1989. A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. In [6]."},{"volume-title":"Proc. of 8th European Conference on Artificial Intelligence (ECAI-88)","year":"1988","author":"N. Guarino","key":"10_CR11","unstructured":"Guarino, N. 1988. DRL: terminologic and relational knowledge in Prolog. In Y. Kodratoff (ed.), Proc. of 8th European Conference on Artificial Intelligence (ECAI-88), Muenchen, August 1\u20135, 1988. Pitman."},{"volume-title":"Proc. of the 3rd International Symposium on Methodologies for Intelligent Systems (ISMIS-88)","year":"1988","author":"N. Guarino","key":"10_CR12","unstructured":"Guarino, N. 1988. Attributes and extensional equivalence in DRL. In B. Radig and L. Saitta (eds.), Proc. of the 3rd International Symposium on Methodologies for Intelligent Systems (ISMIS-88), Torino, October 12\u201315, 1988. North Holland."},{"key":"10_CR13","unstructured":"Guarino, N. 1989. Nature and structure of terminological knowledge: the DRL approach. Proc. of the 1st Conf. of the Italian Association for Artificial Intelligence (AI *IA), Trento."},{"key":"10_CR14","unstructured":"Guarino, N. 1990. What's in a Role: towards an Ontological Foundation for Terminological Logics. Italian National Research Council, LADSEB-CNR Int. Rep. 06\/90, June 1990."},{"key":"10_CR15","unstructured":"Guarino, N. 1991. Concepts, Attributes, and Arbitrary Relations: Some Linguistic and Ontological Criteria for Structuring Knowledge Bases. To appear on Data and Knowledge Engineering."},{"key":"10_CR16","unstructured":"Guarino, N. 1991. A Formal Account of ITL. In preparation."},{"key":"10_CR17","unstructured":"Hirst, G. 1989. Ontological assumptions in knowledge representation. In [6]."},{"key":"10_CR18","unstructured":"Lenat, D. B., and Guha, R. V. 1990. Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. Addison-Wesley"},{"key":"10_CR19","unstructured":"Maida, A. 1984. Processing Entailments and Accessing Facts in a Uniform Frame System. Proc. of AAAI-84."},{"key":"10_CR20","unstructured":"Maida, A. 1987. Frame theory, in S. Shapiro (ed.), Encyclopedia of Artificial Intelligence. John Wyley."},{"key":"10_CR21","unstructured":"Martin, W. A. 1979. Descriptions and the Specializations of Concepts. In Winston & Brown (ed.), AI: an MIT perspective, MIT Press."},{"key":"10_CR22","unstructured":"McCarthy 1979. First order theories of individual concepts and propositions. In Machine Intelligence 9, Ellis Horwood."},{"key":"10_CR23","unstructured":"Nebel, B. 1990. Reasoning and Revision in Hybrid Representation Systems. Lecture Notes in Artificial Intelligence, vol. 422, Springer Verlag."},{"key":"10_CR24","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1111\/j.1467-8640.1987.tb00175.x","volume":"3","author":"P. F. Patel-Schneider","year":"1987","unstructured":"Patel-Schneider, P. F. 1987. A hybrid, decidable, logic-based knowledge representation system. Computational Intelligence 3, pp. 64\u201377.","journal-title":"Computational Intelligence"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Pletat, U., von Luck, K. 1990. Knowledge Representation in LILOG. In K. H. Bl\u00e4sius, U. Hedst\u00fcck and C. R. Rollinger (eds.), Sorts and Types in Artificial Intelligence, Lecture Notes in Artificial Intelligence, vol. 418, Springer Verlag.","DOI":"10.1007\/3-540-52337-6_22"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"Shapiro, S.A. 1986. Symmetric relations, intensional individuals, and variable binding. Proc. of the IEEE, no. 10.","DOI":"10.1109\/PROC.1986.13637"},{"key":"10_CR27","doi-asserted-by":"crossref","unstructured":"Schmitt, P.H., Wernecke, W. 1990. Tableau Calculus for Order Sorted Logic. In K. H. Bl\u00e4sius, U. Hedtst\u00fcck, C.-R. Rollinger (eds.), Sorts and Types in Artificial Intelligence, Lecture Notes in Artificial Intelligence, vol. 418, Springer Verlag.","DOI":"10.1007\/3-540-52337-6_18"},{"volume-title":"Rep. UCB\/CSD 87\/351","year":"1987","author":"R. Wilensky","key":"10_CR28","unstructured":"Wilensky, R. 1987. Some problems and proposals for knowledge representation. University of California, Berkeley, Rep. UCB\/CSD 87\/351."}],"container-title":["Lecture Notes in Computer Science","Processing Declarative Knowledge"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013526","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T00:28:24Z","timestamp":1586564904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013526"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055033X"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/bfb0013526","relation":{},"subject":[]}}