article

Free access

KRIS: Knowledge Representation and Inference System

Authors:

Bernhard HollunderAuthors Info & Claims

ACM SIGART Bulletin, Volume 2, Issue 3

Pages 8 - 14

https://doi.org/10.1145/122296.122298

Published: 01 June 1991 Publication History

Abstract

The knowledge representation system KL-ONE first appeared in 1977. Subsequently many systems based on the idea of KL-ONE have been built. The formal model-theoretic semantics which has been introduced for KL-ONE languages [9] provides means for investigating soundness and completeness of inference algorithms. It turned out that almost all implemented KL-ONE systems such as BACK, KL-TWO, LOOM, NIKL, SB-ONE use sound but incomplete algorithms.

References

[1]

F. Baader. "Terminological Cycles in KL-ONE-based Knowledge Representation Languages." In Proceedings of the 8th National Conference of the AAAI, pp. 621--626, Boston, Mas., 1990.

[2]

F. Baader. "A Formal Definition for the Expressive Power of Knowledge Representation Languages." In Proceedings of the 9th European Conference on Artificial Intelligence, pp. 53--58, Stockholm, Sweden, 1990.

[3]

F. Baader. Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles. DFKI Research Report RR-90--13, DFKI, Postfach 2080, D-6750 Kaiserslautern, West Germany.

[4]

F. Baader, H.-J. B&uuml;rckert, J. Heinsohn, B. Hollunder, J. M&uuml;ller, B. Nebel, W. Nutt, H.-J. Profitlich. Terminological Knowledge Representation: A Proposal for a Terminological Logic. DFKI Technical Memo TM-90--04, DFKI, Postfach 2080, D-6750 Kaiserslautern, West Germany.

[5]

F. Baader, H.-J. B&uuml;rckert, B. Hollunder, W. Nutt, J. H. Siekmann. "Concept Logics" Logics" In Proceedings of the Symposium on Computational Logics, Br&uuml;ssel, November 1990.

[6]

F. Baader, P. Hanschke. A Schema for Integrating Concrete Domains into Concept Languages. DFKI Research Report, DFKI, Postfach 2080, D-6750 Kaiserslautern, West Germany. Forthcoming.

[7]

A. Borgida, R. J. Brachman, D. L. McGuinness, L. A. Resnick. "CLASSIC: A Structural Data Model for Objects." In Proceedings of the International Conference on Management of Data, Portland, Oregon, 1989.

Digital Library

[8]

R. J. Brachman, V. Pigman Gilbert, H. J. Levesque. "An essential hybrid reasoning system: knowledge and symbol level accounts in KRYPTON." In Proceedings of the 9th IJCAI, pp. 532--539, Los Angeles, Cal., 1985.

[9]

R. J. Brachmann, H. J. Levesque. "The tractability of subsumption in frame based description languages." In Proceedings of the 4th National Conference of the AAAI, pp. 34--37, Austin, Tex., 1984.

[10]

R. J. Brachman, J. G. Schmolze. "An Overview of the KL-ONE knowledge representation system." Cognitive Science, 9(2):171--216, April 1985.

[11]

H.-J. B&uuml;rckert. "A Resolution Principle for Clauses with Constraints" In Proceedings of the 10th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence, LNAI 449, Springer Verlag, pp. 178--192, 1990.

Digital Library

[12]

H.-J. B&uuml;rckert, J. M&uuml;ller. "RATMAN: A Rational Agent Testbed for Multi Agent Networks", To appear in Proceedings of Modeling Autonomous Agents in Multi-Agent Worlds, Elsevier Publishers, 1991.

[13]

F. Donini, M. Lenzerini, Daniele Nardi, W. Nutt. "The Complexity of Concept Languages." In J. A. Allan, R. Fikes, E. Sandewall (editors), Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, Mas., 1991.

[14]

B. Hollunder. "Hybrid Inferences in KL-ONE-based Knowledge Representation Systems." In Proceedings of the 14th German Workshop on Artificial Intelligence, pp. 38--47, Eringerfeld, Germany, 1990.

Digital Library

[15]

B. Hollunder, F. Baader. "Qualifying Number Restrictions in Concept Languages." In J. A. Allan, R. Fikes, E. Sandewall (editors), Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, Mas., 1991.

[16]

B. Hollunder, W. Nutt. Subsumption Algorithms for Concept Languages. DFKI Research Report RR-90--04, DFKI, Postfach 2080, D-6750 Kaiserslautern, West Germany.

[17]

B. Hollunder, W. Nutt, M. Schmidt-Schau&szlig;. "Subsumption Algorithms for Concept Description Languages." In Proceedings of the 9th European Conference on Artificial Intelligence, pp. 348--353, Stockholm, Sweden, 1990.

[18]

T. S. Kaczmarek, R. Bates, G. Robins. "Recent developments in NIKL." In Proceedings of the 5th National Conference of the AAAI, pp. 578--587, Philadelphia, Pa., 1986.

[19]

A. Kobsa. "The SB-ONE knowledge representation work-banch". In Preprints of the Workshop on Formal Aspects of Semantic Networks, Two Harbors, Cal., February 1989.

[20]

H. J. Levesque, R. J. Brachman. "Expressiveness and tractability in knowledge representation and reasoning." Computational Intelligence, 3:78--93, 1987.

[21]

R. MacGregor, R. Bates. The Loom Knowledge Representation Language. Technical Report ISI/RS-87--188, University of Southern California, Information Science Institute, Marina del Rey, Cal., 1987.

[22]

B. Nebel. Reasoning and Revision in Hybrid Representation Systems, Lecture Notes in Artificial Intelligence, LNAI 422, Springer Verlag, 1990.

Digital Library

[23]

B. Nebel. "Terminological Cycles: Semantics and Computational Properties." In Proceedings of the Workshop on Formal Aspects of Semantic Networks, Two Harbors, Cal., February 1989.

[24]

B. Nebel. "Computational complexity of terminological reasoning in BACK." Artificial Intelligence, 34(3):371--383, 1988.

Digital Library

[25]

B. Nebel, K. von Luck. "Hybrid Reasoning in BACK." In Z. W. Ras, L. Saitta (editors), Methodologies for Intelligent Systems, pp. 260--269, North Holland, Amsterdam, Netherlands, 1988.

[26]

P. Patel-Schneider. "Small can be beautiful in knowledge representation." In Proceedings of the IEEE Workshop on Principles of Knowledge-Based Systems, pp. 11--16, Denver, Colo., 1984.

[27]

P. Patel-Schneider. "A four-valued Semantics for Terminological Logics." Artificial Intelligence, 39(2):263--272, 1989.

Digital Library

[28]

P. Patel-Schneider, B. Owsnicki-Klewe, A. Kobsa, N. Guarino, R. MacGregor, W. S. Mark, D. L. McGuinness, B. Nebel, A. Schmiedel, J. Yen. "Term Subsumption in Knowledge Representation." In AI Magazine, 11(2):16--23, 1990. pp. 11--16, Denver, Colo., 1984.

[29]

M. Schmidt-Schau&szlig;. "Subsumption in KL-ONE is undecidable." In R. J. Brachmann, H. J. Levesque, R. Reiter (editors), Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning, pp. 421--431, Toronto, Ont., 1989.

Digital Library

[30]

M. Schmidt-Schau&szlig;, G. Smolka. Attributive Concept Descriptions with Complements. SEKI Report SR-88--21, FB Informatik, Universit&auml;t Kaiserslautern, D-6750, Kaiserslautern, West Germany, 1988. To appear in Artificial Intelligence, 47, 1991.

[31]

M. B. Vilain. "The restricted language architecture of a hybrid representation system." In R. J. Bachmann, H. J. Levesque, R. Reiter (editors), Proceedings of the 9th IJCAI, pp. 547--551, Los Angeles, Cal., 1985.

Cited By

Badie F(2023)Towards World Identification in Description LogicsLogical Investigations10.21146/2074-1472-2022-28-2-115-13428:2(115-134)Online publication date: 11-Jan-2023
https://doi.org/10.21146/2074-1472-2022-28-2-115-134
Matentzoglu NParsia BSattler U(2018)OWL ReasoningJournal of Automated Reasoning10.1007/s10817-017-9414-860:4(385-419)Online publication date: 1-Apr-2018
https://dl.acm.org/doi/10.1007/s10817-017-9414-8
Krisnadhi AHitzler P(2018)Description LogicsEncyclopedia of Social Network Analysis and Mining10.1007/978-1-4939-7131-2_108(572-581)Online publication date: 12-Jun-2018
https://doi.org/10.1007/978-1-4939-7131-2_108
Show More Cited By

Index Terms

KRIS: Knowledge Representation and Inference System

Recommendations

Intuitionistic Trilattice Logics

We take up a suggestion by Odintsov (2009, Studia Logica, 91, 407–428) and define intuitionistic variants of certain logics arising from the trilattice SIXTEEN₃ introduced in Shramko and Wansing (2005, Journal of Philosophical Logic, 34, 121–153 and ...
Proving Isomorphism of First-Order Logic Proof Systems in HOL
Completeness and decidability of converse PDL in the constructive type theory of Coq
CPP 2018: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs

The completeness proofs for Propositional Dynamic Logic (PDL) in the literature are non-constructive and usually presented in an informal manner. We obtain a formal and constructive completeness proof for Converse PDL by recasting a completeness proof ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGART Bulletin

ACM SIGART Bulletin Volume 2, Issue 3

Special issue on implemented knowledge representation and reasoning systems

June 1991

151 pages

ISSN:0163-5719

DOI:10.1145/122296

Editor:
Jon Doyle
MIT Lab., Cambridge, MA

Issue’s Table of Contents

Copyright © 1991 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1991

Published in SIGAI Volume 2, Issue 3

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

69
Total Citations
View Citations
456
Total Downloads

Downloads (Last 12 months)51
Downloads (Last 6 weeks)10

Reflects downloads up to 16 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Badie F(2023)Towards World Identification in Description LogicsLogical Investigations10.21146/2074-1472-2022-28-2-115-13428:2(115-134)Online publication date: 11-Jan-2023
https://doi.org/10.21146/2074-1472-2022-28-2-115-134
Matentzoglu NParsia BSattler U(2018)OWL ReasoningJournal of Automated Reasoning10.1007/s10817-017-9414-860:4(385-419)Online publication date: 1-Apr-2018
https://dl.acm.org/doi/10.1007/s10817-017-9414-8
Krisnadhi AHitzler P(2018)Description LogicsEncyclopedia of Social Network Analysis and Mining10.1007/978-1-4939-7131-2_108(572-581)Online publication date: 12-Jun-2018
https://doi.org/10.1007/978-1-4939-7131-2_108
Krisnadhi AHitzler P(2017)Description LogicsEncyclopedia of Social Network Analysis and Mining10.1007/978-1-4614-7163-9_108-1(1-10)Online publication date: 20-Sep-2017
https://doi.org/10.1007/978-1-4614-7163-9_108-1
Barcenas EMolero GSanchez GBenitez-Guerrero EMezura-Godoy C(2016)Reasoning on expressive description logics with arithmetic constraints2016 International Conference on Electronics, Communications and Computers (CONIELECOMP)10.1109/CONIELECOMP.2016.7438572(180-185)Online publication date: Feb-2016
https://doi.org/10.1109/CONIELECOMP.2016.7438572
Yahiaoui YLehireche ABouchiha D(2015)A proposed reasoning Algorithm using DLs in vectorial formProceedings of the International Conference on Intelligent Information Processing, Security and Advanced Communication10.1145/2816839.2816899(1-10)Online publication date: 23-Nov-2015
https://dl.acm.org/doi/10.1145/2816839.2816899
Xu KFeng JCrowe MLiu L(2015)A description logic based approach to formalizing the information bearing capability of paths in ER schemataInternational Journal of Intelligent Computing and Cybernetics10.1108/IJICC-08-2014-00398:3(279-291)Online publication date: 10-Aug-2015
https://doi.org/10.1108/IJICC-08-2014-0039
Knorr MHitzler P(2014)Description LogicsComputational Logic10.1016/B978-0-444-51624-4.50015-0(659-678)Online publication date: 2014
https://doi.org/10.1016/B978-0-444-51624-4.50015-0
Haarslev VHidde KMöller RWessel M(2012)The RacerPro knowledge representation and reasoning systemSemantic Web10.5555/2590200.25902043:3(267-277)Online publication date: 1-Jul-2012
https://dl.acm.org/doi/10.5555/2590200.2590204
Haarslev VHidde KMöller RWessel M(2012)The racerpro knowledge representation and reasoning systemSemantic Web10.5555/2512665.25126693:3(267-277)Online publication date: 1-Aug-2012
https://dl.acm.org/doi/10.5555/2512665.2512669
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents