A hybrid reasoning system for terminologies and first-order clauses in knowledge bases

DOI10.1007/BF03037292zbMath1103.68118MaRDI QIDQ2493276

Ken Kaneiwa

Publication date: 12 June 2006

Published in: New Generation Computing (Search for Journal in Brave)

zbMATH Keywords

description logicsrule-based reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Uses Software

• KL-ONE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Attributive concept descriptions with complements
• Order-sorted logic programming with predicate hierarchy
• Modal resolution in clausal form
• An epistemic operator for description logics
• An order-sorted logic for knowledge representation systems
• Combining Horn rules and description logics in CARIN
• A resolution principle for constrained logics
• Labelled resolution for classical and non-classical logics
• A resolution principle for a logic with restricted quantifiers
• Resolution in Modal, Description and Hybrid Logic
• On the relation between situation calculus and event calculus
• A Machine-Oriented Logic Based on the Resolution Principle
• An overview of tableau algorithms for description logics