KRIS-Reference-Cited by-同舟云学术

KRIS

Published:1991-06 Issue:3 Volume:2 Page:8-14
ISSN:0163-5719
Container-title:ACM SIGART Bulletin
language:en
Short-container-title:SIGART Bull.

Author:

Baader Franz,Hollunder Bernhard

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.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/122296.122298

Reference27 articles.

1. A Formal Definition for the Expressive Power of Knowledge Representation Languages;Baader F.;Proceedings of the 9th European Conference on Artificial Intelligence,1990

2. F. Baader H.-J. Bürckert J. Heinsohn B. Hollunder J. Mü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. F. Baader H.-J. Bürckert J. Heinsohn B. Hollunder J. Mü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.

3. 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. 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.

Cited by 43 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards World Identification in Description Logics;Logical Investigations;2023-01-11

2. Description Logics;Encyclopedia of Social Network Analysis and Mining;2018

3. OWL Reasoning: Subsumption Test Hardness and Modularity;Journal of Automated Reasoning;2017-06-08

4. Description Logics;Encyclopedia of Social Network Analysis and Mining;2017

5. A proposed reasoning Algorithm using DLs in vectorial form;Proceedings of the International Conference on Intelligent Information Processing, Security and Advanced Communication;2015-11-23